Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: move witness computation into class plus some other cleanup #11140

Merged
merged 5 commits into from
Jan 13, 2025

Conversation

ledwards2225
Copy link
Contributor

@ledwards2225 ledwards2225 commented Jan 10, 2025

Minor cleanup/refactor of Flavor logic (particularly MegaFlavor). Mostly deleting unused methods and moving that did not strictly belong in the Flavor to new classes WitnessComputation and MegaMemoryEstimator

@ledwards2225 ledwards2225 marked this pull request as ready for review January 10, 2025 00:17
@ledwards2225 ledwards2225 self-assigned this Jan 10, 2025
Comment on lines 9 to 12
* @brief Class for all the oink rounds, which are shared between the folding prover and ultra prover.
* @details This class contains execute_preamble_round(), execute_wire_commitments_round(),
* execute_sorted_list_accumulator_round(), execute_log_derivative_inverse_round(), and
* execute_grand_product_computation_round().
Copy link
Contributor

@iakovenkos iakovenkos Jan 13, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

the docs are stale, I would suggest something along the lines:

"A class containing witness computation helper functions used by OinkProver in UltraFlavor, MegaFlavor, and their derivatives"

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for catching - had something to this effect in a commit that I just forgot to push - updated now

@@ -0,0 +1,35 @@
#pragma once
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for adding this class, it really helps to reduce noise in some of our tests

Copy link
Contributor

@iakovenkos iakovenkos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks for the clean-up! please change the description of the WitnessComputation class

@ledwards2225 ledwards2225 merged commit d41e9ab into master Jan 13, 2025
22 checks passed
@ledwards2225 ledwards2225 deleted the lde/concatenate_1 branch January 13, 2025 17:50
TomAFrench added a commit that referenced this pull request Jan 13, 2025
* master: (329 commits)
  fix(avm): mac build (#11195)
  fix: docs rebuild patterns (#11191)
  chore: refactor Solidity Transcript and improve error handling in  sol_honk flow (#11158)
  chore: move witness computation into class plus some other cleanup (#11140)
  fix: get_next_power_exponent off by 1 (#11169)
  chore(avm): vm2 followup cleanup (#11186)
  fix: underconstrained bug (#11174)
  refactor: VariableMerkleTree readability improvements (#11165)
  chore: removing noir bug workaround (#10535)
  chore(docs): Remove node pages  (#11161)
  git subrepo push --branch=master noir-projects/aztec-nr
  git_subrepo.sh: Fix parent in .gitrepo file. [skip ci]
  chore: replace relative paths to noir-protocol-circuits
  git subrepo push --branch=master barretenberg
  feat(avm2): avm redesign init (#10906)
  feat: Sync from noir (#11138)
  feat: simulator split (#11144)
  chore: rpc server cleanup & misc fixes (#11145)
  git subrepo push --branch=master noir-projects/aztec-nr
  git_subrepo.sh: Fix parent in .gitrepo file. [skip ci]
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants