barustenberg
barustenberg copied to clipboard
laudiacay
barretenburg in rust (here we go)
This will give you a good look into the transcripts, fiat-shamir, and pedersen commitments. I don't think it'll be too hard, most of this except the pedersen is done. -...
# ECC We need to get the following done to be able to implement other issues (e.g., #34) - [x] ~~Implement `reduced_ate_pairing_batch_precomputed()`~~ - [ ] Implement `conditionally_subtract_from_double_modulus()` - [ ]...
# Description Ported tests from: https://github.com/AztecProtocol/aztec-packages/blob/af93a33fdd5d73648d31b4e4f7347d29b8892405/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/standard_circuit_builder.test.cpp ## Link to issue #90 ## Test plan PR only includes tests.
Bumps [google-github-actions/release-please-action](https://github.com/google-github-actions/release-please-action) from 3 to 4. Release notes Sourced from google-github-actions/release-please-action's releases. v4.0.0 4.0.0 (2023-12-01) ⚠ BREAKING CHANGES remove most configuration options in favor of manifest configuration to configure the...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
# Description All major changes were done in `src/plonk/proof_system/commitment_scheme.rs`. - Implement the tests outlined in #79, namely `test_kate_open` and `kate_batch_open`. - Fix the locks on line 370 No more progress...
# Description Implement pippenger scalar multiplication algorithm. ## Link to issue Closes #28 ## Type of change - [x] New feature (non-breaking change that adds functionality) - [x] Comments have...
# Description Adds the proper tests values for pederson tests and adds accompanying sage scripts to recreate these test vectors. ## Link to issue Closes #89 ## Type of change...
your todo list for success: - implement the `kate_batch_open` and `test_kate_open` tests in `src/plonk/proof_system/commitment_scheme.rs` - come up with a proposal (and implement it) to fix the locks on line 370...
NB: Feature requests will only be considered if they solve a pain or present a useful refactoring of the code. # Summary ## Problem The pederson commitment tests are currently...
take these tests: https://github.com/AztecProtocol/aztec-packages/blob/af93a33fdd5d73648d31b4e4f7347d29b8892405/barretenberg/cpp/src/barretenberg/proof_system/circuit_builder/standard_circuit_builder.test.cpp https://github.com/AztecProtocol/aztec-packages/blob/af93a33fdd5d73648d31b4e4f7347d29b8892405/barretenberg/cpp/src/barretenberg/proof_system/composer/composer_lib.test.cpp https://github.com/AztecProtocol/aztec-packages/blob/af93a33fdd5d73648d31b4e4f7347d29b8892405/barretenberg/cpp/src/barretenberg/proof_system/composer/permutation_lib.test.cpp either implement them and get them passing, or justify why they shouldn't be implemented I *think* this is pretty trivial. If I'm wrong, flag...