barretenberg
barretenberg copied to clipboard
AztecProtocol
``` ==559==WARNING: MemorySanitizer: use-of-uninitialized-value #0 0x57845260d8df in unsigned int bb::scalar_multiplication::construct_addition_chains(bb::scalar_multiplication::affine_product_runtime_state&, bool) /usr/src/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:609:21 #1 0x57845278130c in bb::curve::BN254::AffineElement* bb::scalar_multiplication::reduce_buckets(bb::scalar_multiplication::affine_product_runtime_state&, bool, bool) /usr/src/barretenberg/cpp/src/barretenberg/ecc/scalar_multiplication/scalar_multiplication.cpp:476:36 #2 0x57845294beb6 in bb::curve::BN254::Element bb::scalar_multiplication::evaluate_pippenger_rounds(bb::scalar_multiplication::pippenger_runtime_state&, bb::curve::BN254::AffineElement*, unsigned long, bool)::'lambda'(unsigned long)::operator()(unsigned...
Organization is bad. There should be: a class `WitnessChecker` with a single function template `template check(Builder&)` that should be explicitly instantiated for each flavor.
The cost of biggroup is extremely high with our attempt to cover all cases
Originally, we instantiated Protogalaxy over the Ultra arithmetization because 1) Goblin wasn't done; 2) we wanted to run a side-by-side comparison between Protogalaxy IVC and Goblinified Vanilla IVC. It makes...
This would be ideal to enable us to test the UltraKeccak flavor without needing to run the honk_sol flow
With [this](https://github.com/AztecProtocol/aztec-packages/pull/7993) PR the used can specify the type of recursive verifier via a call like `std::verify_proof_with_type(verification_key, proof, public_inputs, key_hash, 1);` where `1` is a proof_type indicating honk. Protocol circuits...
Zac pointed out this optimization a while ago and I forgot to write it down until now. After the the first IVC step, the perturbator is $F(X) = \sum pow_i(\beta...
Stdlib transcript in ultra hashes values under native poseidon and later simply creates a new in-circuit field element from that value. There are no poseidon gates.