fix(avm)!: public inputs pre-audit#21162
Merged
IlyasRidhuan merged 1 commit intomerge-train/avmfrom Mar 5, 2026
Merged
Conversation
Contributor
Author
This stack of pull requests is managed by Graphite. Learn more about stacking. |
IlyasRidhuan
requested review from
Maddiaa0,
fcarreiro and
jeanmon
as code owners
dbanks12
approved these changes
Mar 5, 2026
Contributor
dbanks12
left a comment
dbanks12
left a comment
There was a problem hiding this comment.
LGTM! Two notes/questions:
- Did you check that every public input is part of a lookup somewhere? (i think you already confirmed in a dm)
- Should we put the public inputs columns table into a dedicated markdown referenced by both this PIL and the circuit docs? Looks nearly identical
Contributor
Author
|
yeah 1) is covered by the |
IlyasRidhuan
force-pushed
the
ir/03-04-fix_avm_public_inputs_pre-audit
branch
from
911cb36 to
d876473
Compare
IlyasRidhuan
force-pushed
the
ir/03-04-fix_avm_public_inputs_pre-audit
branch
from
d876473 to
024e5f1
Compare
Merged
github-merge-queue Bot
pushed a commit
that referenced
this pull request
Mar 5, 2026
BEGIN_COMMIT_OVERRIDE fix(avm)!: memory pre-audit (#21058) fix(avm)!: memory trace changes (#21059) fix!: AVM was missing range check on remainder for div in ALU (#21074) feat: run AVM NAPI simulations on dedicated threads instead of libuv pool (#21138) feat(avm)!: Unify nullifier, written slots and retrieved bytecodes tree traces (#20949) fix(avm)!: public inputs pre-audit (#21162) END_COMMIT_OVERRIDE
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
2 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.
Basically just heavily documenting the public inputs