Avoid redundant computation in Protogalaxy#1349
Closed
jeanmon wants to merge 96 commits intopowdr-labs:mainfrom
Closed
Avoid redundant computation in Protogalaxy#1349jeanmon wants to merge 96 commits intopowdr-labs:mainfrom
jeanmon wants to merge 96 commits intopowdr-labs:mainfrom
Conversation
* feat: just pil * fix: do not generate trace builder .cpp
* feat: just pil * fix: do not generate trace builder .cpp * hack: allow specifying output name in pil cli * merge fix
* feat: smaller bberg binary * fix: missed assignment
* fix: remove brillig to powdr * chore: refactor file writer / circuit builder
* fix: refactor to use traits * fix
* chore: merge upstream * fix: merge clean
* fix: remove first requirement * fix: remove last requirement * fix * fix
* fix: resync master * fix: reenable opt
* fix: resync master * fix: reenable opt * fix: dynamic naming
chore: update bb transcript
Any generated file names use a snake case version of the prefix
…folder Use snake case for the folder containing permutation and lookup
* Align namespaces with simplification performed in Barretenberg * fix: use lhs + rhs in perm * todos --------- Co-authored-by: jeanmon <jean@aztecprotocol.com>
…ilename Generated permutation and lookup filenames are lower-cased
Port zeromorph changes
Comment related to ProverPolynomials
Backport of Aztec PR #5406
chore: remove non determinism
feat: support large literals in FF-limb decomp
* feat: circuit builder does not need to compute inverses, prover does so * fix: integration cleanup * chore: sweep * chore: clippy and fmt
Port changes of ProvingKey_ for AVM
Author
|
Sorry for the noise. This PR was intended for a forked powdr repo of Aztec and not the upstream project. |
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
4 participants
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.
This is porting changes made in aztec-package PR #5844