barretenberg
barretenberg copied to clipboard
AztecProtocol
When we retrieve monomials in IPA or KZG they don't check that there are enough points. Then we get bugs down the line while trying to access them,
We need to range check the limbs against `bb::fr` modulus not `bb::fq` modulus otherwise we could have vulsn
It needs to aggregate the pairing points from Translator and Merge and we need to implement IPA accumulators for ECCVM
Results are constant when this is not expected
Introduced by https://github.com/AztecProtocol/aztec-packages/pull/6719. The honk_recursion flag tells the acir code which recursion constraint to lay down. This flag is currently based on whether we're using ultra honk to prove, but...
The current version is wasteful in terms of gates added. An alternative is to make arithmetic operations between cycle_scalar elements possible so we don't have to do the conversion in...
If the prover sends a point at infinity and, on the recursive verifier side, this is constructed as a cycle_group, calling `point.get_value().on_curve()` will be false because the transcript doesnt have...