Tom French
Tom French
# Description ## Problem\* Resolves ## Summary\* This PR replaces the overly wide generic function `U128::from_integer` with `From` impls for `u1`, `u8`, `u32`, and `u64`. I've also added `U128::from_field` to...
# Description ## Problem\* Resolves ## Summary\* As pointed out by Palla in the bb.js doc, we're exporting two different verifiers here. I'm not sure why this is the case...
# Description ## Problem\* Resolves ## Summary\* This PR runs `nargo check` on external repositories in order to get advanced warning of whether any changes we're making are likely to...
We are currently using `proptest` to fuzz the ABI encoding code such that given an ABI, we can generate a set of plausible inputs for it. This provides a route...
In https://github.com/noir-lang/noir/pull/5355, the `aztec-nr` test suite is failing due to it defining oracle calls which nargo does not provide, however we want to be able to tell if we're running...
# Description ## Problem\* Resolves ## Summary\* This PR pushes the calculation in sqrt within the standard library into an unconstrained context where we just assert that the result multiplied...
Was looking at this and it seems like we should specify whether a `Program` is recursive rather than a `Circuit`. https://github.com/noir-lang/noir/blob/6936a52bb4de2170b6e4c41afd9cf4327d4fbeb1/acvm-repo/acir/src/circuit/mod.rs#L72-L75 cc @vezenovm
We've run into a couple of issues where upon syncing Noir into aztec-packages we've discovered issues in either Noir or aztec-nr which then needs to either be fixed in the...
As part of #4960 we're no longer going to be able to query the backend to see the correct expression width to use. We can still use 4 as a...
After https://github.com/noir-lang/noir/pull/4999 we'll have a negation trait, we should allow calling this through an operator overload similar to how we do for arithmetic operations.