barretenberg
barretenberg copied to clipboard
AztecProtocol
This was essentially a copy-and-paste of a similar function in `field_t`. I have not evaluated whether it is secure.
It was implemented in a hurry. The UltraCircuitBuilder implementation currently uses 8574 gates.
Currently, to verify a ClientIvc proof, the same `ClientIvc` instance needs to be used for both proving and verifying. This is not viable in practice since in general the prover...
Recently we had to bump initial wasm memory from 27 to 28 megabytes: From an emscripten thread: https://github.com/emscripten-core/emscripten/issues/20888 "The problem I suppose is the INITIAL_MEMORY really means + stack +...
Otherwise we will run into problems with the recursive verifier because the number of rounds in sumcheck is dependent on circuit size. This should be done based on the needs...
@zac-williamson left a TODO saying "wtf" here. Someone should follow up with this.
For now we will build the IPA verifier with batch_muls
First exposed in https://github.com/AztecProtocol/aztec-packages/pull/6261 ``` [ RUN ] GoblinRecursionTests.Vanilla /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42: runtime error: addition of unsigned offset to 0x7a2eccd8e040 overflowed to 0x7a2eccd8e020 SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42 in /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42: runtime error: addition...
Exposed here: https://github.com/AztecProtocol/aztec-packages/pull/6261 ``` [ RUN ] GoblinRecursionTests.Vanilla /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42: runtime error: addition of unsigned offset to 0x7a2eccd8e040 overflowed to 0x7a2eccd8e020 SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42 in /mnt/user-data/cody/aztec-packages/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:345:42: runtime error: addition of...