This repository has been archived by the owner on Oct 31, 2023. It is now read-only.
feat!: added keccakvar constraints #213
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
sirasistant
changed the title
kevaundray
approved these changes
May 31, 2023
Merged
kevaundray
pushed a commit
that referenced
this pull request
Jun 1, 2023
* chore: remove `compute_merkle_root` constraints * chore: add "Brillig" to cspell * feat: added keccakvar constraints * feat!: added keccakvar constraints (#213) feat: added keccakvar constraints * chore: update bb sys and bb * fix: changes to update to latest bb * fix: fix wasm hash_index * chore: updated bb-sys pointer --------- Co-authored-by: TomAFrench <tom@tomfren.ch>
kevaundray
added a commit
that referenced
this pull request
Jun 1, 2023
* feat: update to ACVM 0.13.0 * chore: remove lingering `ComputeMerkleRoot` test * chore: remove unused `blake2s` dependency * fix: Allow async functions without send on async trait (#198) * feat!: Replace `js` feature with `wasm32` target (#202) feat!: Replace `js` feature with wasm32 target * chore: bump ACVM commit * feat!: Add latest BB to acvm 0.13 (#214) * chore: remove `compute_merkle_root` constraints * chore: add "Brillig" to cspell * feat: added keccakvar constraints * feat!: added keccakvar constraints (#213) feat: added keccakvar constraints * chore: update bb sys and bb * fix: changes to update to latest bb * fix: fix wasm hash_index * chore: updated bb-sys pointer --------- Co-authored-by: TomAFrench <tom@tomfren.ch> * feat: update acvm pointer * fix: Add `lib` crate-type to build (#215) add lib crate type * Update Cargo.toml * Update Cargo.toml * update cargo lock * remove original commit from barretenberg in flake.nix and flake.lock --------- Co-authored-by: Blaine Bublitz <blaine.bublitz@gmail.com> Co-authored-by: sirasistant <sirasistant@gmail.com> Co-authored-by: Maxim Vezenov <mvezenov@gmail.com> Co-authored-by: kevaundray <kevtheappdev@gmail.com>
kevaundray
added a commit
that referenced
this pull request
Jun 7, 2023
* feat: update to ACVM 0.13.0 * chore: remove lingering `ComputeMerkleRoot` test * chore: remove unused `blake2s` dependency * fix: Allow async functions without send on async trait (#198) * feat!: Replace `js` feature with `wasm32` target (#202) feat!: Replace `js` feature with wasm32 target * initial cherry-pick of recursion work into acvm-0.13.0 * fix up how we are handling input_aggregation_object in bberg structures * move over some of the composer and proof system methods for recursion * bring in pwg verify_proof method * update recursive composition composer tests and udpate deps to remote versions * chore: bump ACVM commit * chore: remove `compute_merkle_root` constraints * chore: add "Brillig" to cspell * feat: added keccakvar constraints * chore: update bb sys and bb * fix: changes to update to latest bb * removed verify_proof simulation * removed unneeded recursion work * building * remove unused len func * remove unused vars * no RecursionConstraint in bb structures, clean up still required * feat!: Add latest BB to acvm 0.13 (#214) * chore: remove `compute_merkle_root` constraints * chore: add "Brillig" to cspell * feat: added keccakvar constraints * feat!: added keccakvar constraints (#213) feat: added keccakvar constraints * chore: update bb sys and bb * fix: changes to update to latest bb * fix: fix wasm hash_index * chore: updated bb-sys pointer --------- Co-authored-by: TomAFrench <tom@tomfren.ch> * feat: update acvm pointer * fix: Add `lib` crate-type to build (#215) add lib crate type * Update Cargo.toml * Update Cargo.toml * update cargo lock * remove original commit from barretenberg in flake.nix and flake.lock * remove all recursion constraints * remove change to nix flake * remove recursion constraint serialization * update acvm commit * change 0.13.0 * update flake lock and cargo toml to most recent acvm with verify proof * chagne flake.lok * new bberg structures containg recursion constraint * ConstraintSystem public outside of crate * missing lib update * update bberg commitment in flake lock * switch to pub use for constraint system * error type pub * use recursion constraint to_bytes * correct Circuit to ConstraintSystem ser for recursion aggregation * update rev to commit on acvm-backned-barretenberg branch * remove debug recursion constraint * update acvm * update acvm * remove unwrap when fetched nested_aggregation_object * switch to expect * update to 0.14.0 --------- Co-authored-by: Tom French <tom@tomfren.ch> Co-authored-by: Blaine Bublitz <blaine.bublitz@gmail.com> Co-authored-by: sirasistant <sirasistant@gmail.com> Co-authored-by: kevaundray <kevtheappdev@gmail.com>
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Updates BB to the keccakvar commit and updates the serialization with the keccakvar constraints (unused for now).
Replaces #211