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

fix(avm): disable wrong sha skippable #12099

Merged
merged 1 commit into from
Feb 19, 2025
Merged

Conversation

fcarreiro
Copy link
Contributor

There used to be a long standing BB bug where the verifier was (wrongly) skipping. The branch with the fix (#10598) fails with an AVM2 test. I tracked it down to the skippable condition in sha256. I'm disabling it and also updating the lookups skippable to a simpler condition that Kesha had suggested.

Copy link
Contributor Author

This stack of pull requests is managed by Graphite. Learn more about stacking.

Copy link
Contributor Author

Merge activity

  • Feb 19, 4:55 AM EST: Graphite couldn't merge this PR because it failed for an unknown reason.

@fcarreiro fcarreiro enabled auto-merge (squash) February 19, 2025 10:06
@fcarreiro fcarreiro merged commit 0852588 into master Feb 19, 2025
10 checks passed
@fcarreiro fcarreiro deleted the fc/avm-fix-skippable branch February 19, 2025 13:03
TomAFrench added a commit that referenced this pull request Feb 19, 2025
* master: (264 commits)
  chore(p2p): log if rate limit was peer or global (#12116)
  chore: @aztec/stdlib pt1 -> cleanup circuits js (#12039)
  chore(tests): shorten block times in e2e p2p tests (#12073)
  fix: darwin properly erroring (#12113)
  chore: add missing import (#12111)
  fix: yarn remake-constants (#12109)
  chore: fix error in oracle definition (#12090)
  fix: Don't consider skipping (#10598)
  fix: Use gas billed in block header building (#12101)
  fix(avm): disable wrong sha skippable (#12099)
  chore: Provide defaults for bb and acvm in release image (#12105)
  fix(avm): break TS dependency cycle (#12103)
  feat: IVC gates command in WASM (#11792)
  fix: SharedMutable compilation warnings (#12098)
  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: Sync from noir (#12064)
  chore: Fix unbound CI variable on release image bootstrap (#12095)
  ...
TomAFrench added a commit that referenced this pull request Feb 19, 2025
* master: (264 commits)
  chore(p2p): log if rate limit was peer or global (#12116)
  chore: @aztec/stdlib pt1 -> cleanup circuits js (#12039)
  chore(tests): shorten block times in e2e p2p tests (#12073)
  fix: darwin properly erroring (#12113)
  chore: add missing import (#12111)
  fix: yarn remake-constants (#12109)
  chore: fix error in oracle definition (#12090)
  fix: Don't consider skipping (#10598)
  fix: Use gas billed in block header building (#12101)
  fix(avm): disable wrong sha skippable (#12099)
  chore: Provide defaults for bb and acvm in release image (#12105)
  fix(avm): break TS dependency cycle (#12103)
  feat: IVC gates command in WASM (#11792)
  fix: SharedMutable compilation warnings (#12098)
  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: Sync from noir (#12064)
  chore: Fix unbound CI variable on release image bootstrap (#12095)
  ...
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