Skip to content

chore: pre-audit of AVM GetContractInstance gadget and opcode#21684

Merged
IlyasRidhuan merged 11 commits into
merge-train/avmfrom
db/gci-audit
Mar 25, 2026
Merged

chore: pre-audit of AVM GetContractInstance gadget and opcode#21684
IlyasRidhuan merged 11 commits into
merge-train/avmfrom
db/gci-audit

Conversation

@dbanks12

@dbanks12 dbanks12 commented Mar 17, 2026

Copy link
Copy Markdown
Contributor

Mostly just cleanup and standard pre-audit steps.

Also went and reordered bc_retrieval's tuple in its lookup to contract_instance_retrieval to align with that gadget's usage comment (a forgotten step from contract_instance_retrieval pre-audit).

Copy link
Copy Markdown
Contributor Author

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

@dbanks12 dbanks12 changed the title chore: fix cpp includes for get_contract_instance chore: pre-audit of AVM GetContractInstance gadget and opcode Mar 17, 2026
@dbanks12 dbanks12 force-pushed the db/gci-audit branch 3 times, most recently from 1e3da43 to 4db3d9f Compare March 19, 2026 17:35
@dbanks12 dbanks12 force-pushed the db/gci-audit branch 2 times, most recently from 07d7f76 to 7a3590b Compare March 20, 2026 18:12
@dbanks12 dbanks12 marked this pull request as ready for review March 20, 2026 18:15
@IlyasRidhuan IlyasRidhuan merged commit 410cd93 into merge-train/avm Mar 25, 2026
18 of 19 checks passed
@IlyasRidhuan IlyasRidhuan deleted the db/gci-audit branch March 25, 2026 05:48
@AztecBot AztecBot mentioned this pull request Mar 26, 2026
github-merge-queue Bot pushed a commit that referenced this pull request Mar 26, 2026
BEGIN_COMMIT_OVERRIDE
chore: pre-audit of AVM GetContractInstance gadget and opcode (#21684)
END_COMMIT_OVERRIDE
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