barretenberg
barretenberg copied to clipboard
AztecProtocol
We should clarify and simplify the handling of state in Protogalaxy. Examples: - `auto` is overused and makes it hard to navigate. - the name "accumulator" is used for objects...
For native file structure, we are differentiating between plonk and honk by putting plonk stuff in a plonk/ directory. However, the reverse is true for stdlib - we have a...
This could also include the recursive verifiers.
We should simplify the mental model of instances. This includes the use of `is_accumulator` (probably there should just be an `accumulator` member somewhere to replace this). It also includes the...
While creating instance during IVC, if we compare the number of gates before and after finalization, we'll get the following:  So there's obviously some bug
also includes potential other repeated pieces of code like native and recursive transcript
These need to be reworked so things are more clear. Some things seems unnecessary or could be clarified better. Some things need more structure and more usage of types instead...
We don't generate a recursion separator challenge in the Ultra Honk prover. We need to consider the Aztec connect bug that involved this challenge.
Four of the the acir integration tests were skipped because they fail with ``` q: error: Could not open file ../../acir_tests/acir_tests/brillig_scalar_mul/target/program.json: No such file or directory gzip: stdin: unexpected end...