chore(barretenberg): Release 0.3.4 #618
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
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?s=60&v=4){kind=small}
github-actions
bot
force-pushed
the
release-please--branches--master
branch
4 times, most recently
from
79c22f9 to
7b076af
Compare
github-actions
bot
force-pushed
the
release-please--branches--master
branch
from
7b076af to
e6ff632
Compare
zac-williamson
added a commit
that referenced
this pull request
Jul 30, 2023
Co-authored-by: ludamad <adam.domurad@gmail.com> each subrelation can now choose to not scale relation term by random polynomial permutation relation arithmetic defined exclusively in relationclasses comments, naming cleanup init ecc_vm_relation_test, algebra test passes sumcheck relation test does not wip eccvm, shiftable polynomials now have 0 at first coefficient added clearer comments to eccvm relations removed redundant test files eccvm composer test passes eccvm flavor (+ upstream circuit builder) are parametrised by curve type / commitment scheme wip wip wip wip reduced eccvm relation lengths added more descriptive comments to ecc_set_relation cleaned up sumcheck relation fowarding macros added missing explicit template declarations slight cleanup of method name bloat added missing method removed unused using declaration added explicit `lookup_library.hpp` file to compute logderivative inverses typo fix formatting reversions added ECCVM concepts to flavor removed unused logderivative method each subrelation can now choose to not scale relation term by random polynomial permutation relation arithmetic defined exclusively in relationclasses comments, naming cleanup removed TypeMuncher from relation_types remove foundation blah compiler errors chore: Switch to using `test_data_ssa_refactor` for `acir_tests` (#626) Co-authored-by: guipublic <47281315+guipublic@users.noreply.github.com> compile error fix chore(barretenberg): Release 0.3.4 (#618) Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> compiler fix compiler fix wasm compiler fix docs: barretenberg README update (#1211) * docs: barretenberg README update * Update README.md docs: update barretenberg integration notes (#1215) This is also just continuing to test the barretenberg mirror. wasm compiler fix feat: internal keyword + lending contract and tests (#978) * feat: noir contracts and test file * feat: include is_internal in kernels * feat: assume isInternal unless told otherwise + update snaps * test: cleanup tests * chore: update noir * chore: recompile noir * fix: rebase issues and clean test * chore: prettier + update name * chore: fix snapshots * fix: add to ci * chore: minor fixes * fix: update noir FunctionData (cannot satisfy 💀) * fix: serialization * fix: bump lending contract * chore: address nits * chore: recompile noir * chore: recompile noir --------- Co-authored-by: Maddiaa0 <47148561+Maddiaa0@users.noreply.github.com> Merge pull request #1235 from AztecProtocol/acvm-0.21.0-compat feat!: update bberg ACIR parser to target ACVM 0.21.0 feat: Goblin Honk Composer/Prover/Verifier (#1220) The Composer, Prover and Verifier for Goblin Ultra Honk. These are implemented as instantiations of the existing "Ultra" template classes, e.g. `GoblinUltraComposer = UltraComposer_<flavor::GoblinUltra>`, etc. This work makes it possible to create and verify a Goblin Ultra Honk proof. "Verification" here means confirmation that the ECC op gates have been correctly incorporated into the circuit (checked via a new relation) plus genuine verification of the conventional UltraHonk proof. The _correctness_ of the the ECC op gates is of course not verified, as that is the role of the other components of the Goblin stack. The new "op gate consistency" relation simply checks that the op wire values have been correctly copied into the conventional wires (needed for copy constraints) and that the op wire polynomials vanish everywhere outside the range of ECC op gates. - [ ] I have reviewed my diff in github, line by line. - [ ] Every change is related to the PR description. - [ ] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [ ] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [ ] The branch has been merged or rebased against the head of its merge target. - [ ] I'm happy for the PR to be merged at the reviewer's next convenience. --------- Co-authored-by: ludamad <adam.domurad@gmail.com> feat: Goblin translator prototype (#1249) Added a prototype of goblin translator with accumulation gate. Automatic formatting when committing caused changes to several files, too - [ ] I have reviewed my diff in github, line by line. - [ ] Every change is related to the PR description. - [ ] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [ ] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [ ] The branch has been merged or rebased against the head of its merge target. - [ ] I'm happy for the PR to be merged at the reviewer's next convenience. fix: Fixing external benchmarks (#1250) Some updates broke internal benchmarks. This fixes them chore: update directory from which to pull noir test cases (#1257) noir-lang/noir#2074 performs a cleanup of the location of the Noir test data directory and so bberg needs to update to match - [x] I have reviewed my diff in github, line by line. - [x] Every change is related to the PR description. - [x] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [x] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [x] The branch has been merged or rebased against the head of its merge target. - [x] I'm happy for the PR to be merged at the reviewer's next convenience. fix: bootstrap.sh git hook for monorepo (#1256) This had the wrong path inside the monorepo. compiler fix compiler fix fixed error in eccvm lookup relation Merge branch 'master' into zw/eccvm-v2
zac-williamson
added a commit
that referenced
this pull request
Jul 30, 2023
…polynomial permutation relation arithmetic defined exclusively in relationclasses comments, naming cleanup init ecc_vm_relation_test, algebra test passes sumcheck relation test does not wip eccvm, shiftable polynomials now have 0 at first coefficient added clearer comments to eccvm relations removed redundant test files eccvm composer test passes eccvm flavor (+ upstream circuit builder) are parametrised by curve type / commitment scheme wip wip wip wip reduced eccvm relation lengths added more descriptive comments to ecc_set_relation cleaned up sumcheck relation fowarding macros added missing explicit template declarations slight cleanup of method name bloat added missing method removed unused using declaration added explicit `lookup_library.hpp` file to compute logderivative inverses typo fix formatting reversions added ECCVM concepts to flavor removed unused logderivative method each subrelation can now choose to not scale relation term by random polynomial permutation relation arithmetic defined exclusively in relationclasses comments, naming cleanup removed TypeMuncher from relation_types remove foundation blah compiler errors chore: Switch to using `test_data_ssa_refactor` for `acir_tests` (#626) Co-authored-by: guipublic <47281315+guipublic@users.noreply.github.com> compile error fix chore(barretenberg): Release 0.3.4 (#618) Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> compiler fix compiler fix wasm compiler fix docs: barretenberg README update (#1211) * docs: barretenberg README update * Update README.md docs: update barretenberg integration notes (#1215) This is also just continuing to test the barretenberg mirror. wasm compiler fix feat: internal keyword + lending contract and tests (#978) * feat: noir contracts and test file * feat: include is_internal in kernels * feat: assume isInternal unless told otherwise + update snaps * test: cleanup tests * chore: update noir * chore: recompile noir * fix: rebase issues and clean test * chore: prettier + update name * chore: fix snapshots * fix: add to ci * chore: minor fixes * fix: update noir FunctionData (cannot satisfy 💀) * fix: serialization * fix: bump lending contract * chore: address nits * chore: recompile noir * chore: recompile noir --------- Co-authored-by: Maddiaa0 <47148561+Maddiaa0@users.noreply.github.com> Merge pull request #1235 from AztecProtocol/acvm-0.21.0-compat feat!: update bberg ACIR parser to target ACVM 0.21.0 feat: Goblin Honk Composer/Prover/Verifier (#1220) The Composer, Prover and Verifier for Goblin Ultra Honk. These are implemented as instantiations of the existing "Ultra" template classes, e.g. `GoblinUltraComposer = UltraComposer_<flavor::GoblinUltra>`, etc. This work makes it possible to create and verify a Goblin Ultra Honk proof. "Verification" here means confirmation that the ECC op gates have been correctly incorporated into the circuit (checked via a new relation) plus genuine verification of the conventional UltraHonk proof. The _correctness_ of the the ECC op gates is of course not verified, as that is the role of the other components of the Goblin stack. The new "op gate consistency" relation simply checks that the op wire values have been correctly copied into the conventional wires (needed for copy constraints) and that the op wire polynomials vanish everywhere outside the range of ECC op gates. - [ ] I have reviewed my diff in github, line by line. - [ ] Every change is related to the PR description. - [ ] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [ ] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [ ] The branch has been merged or rebased against the head of its merge target. - [ ] I'm happy for the PR to be merged at the reviewer's next convenience. --------- Co-authored-by: ludamad <adam.domurad@gmail.com> feat: Goblin translator prototype (#1249) Added a prototype of goblin translator with accumulation gate. Automatic formatting when committing caused changes to several files, too - [ ] I have reviewed my diff in github, line by line. - [ ] Every change is related to the PR description. - [ ] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [ ] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [ ] The branch has been merged or rebased against the head of its merge target. - [ ] I'm happy for the PR to be merged at the reviewer's next convenience. fix: Fixing external benchmarks (#1250) Some updates broke internal benchmarks. This fixes them chore: update directory from which to pull noir test cases (#1257) noir-lang/noir#2074 performs a cleanup of the location of the Noir test data directory and so bberg needs to update to match - [x] I have reviewed my diff in github, line by line. - [x] Every change is related to the PR description. - [x] I have [linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue) this pull request to the issue(s) that it resolves. - [x] There are no unexpected formatting changes, superfluous debug logs, or commented-out code. - [x] The branch has been merged or rebased against the head of its merge target. - [x] I'm happy for the PR to be merged at the reviewer's next convenience. fix: bootstrap.sh git hook for monorepo (#1256) This had the wrong path inside the monorepo. compiler fix compiler fix fixed error in eccvm lookup relation Merge branch 'master' into zw/eccvm-v2
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
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.
🤖 I have created a release beep boop
barretenberg: 0.3.4
0.3.4 (2023-07-25)
Features
barretenberg.js: 0.3.4
0.3.4 (2023-07-25)
Features
This PR was generated with Release Please. See documentation.