Skip to content

Conversation

@IlyasRidhuan
Copy link
Contributor

This (hopefully) makes it easier to run the avm<>brillig fuzzer via the magic of a claude-cobbled script.

The script (optionally) takes in 3 paths to the noir-repo, avm-transpiler, and fuzzer-binary respectively. If not provided the default should work for a standard aztec-packages layout.

"include": ["src"]
"include": ["src"],
// Note(ilyas): This exclude kinda redundant now, but a reminder for when we move the fuzzer into /src/avm
"exclude": ["scripts/fuzzing/avm_simulator_bin.ts"]
Copy link
Contributor Author

Choose a reason for hiding this comment

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

it feels weird to me that the fuzzer currently lives in scripts but if we want to move it to within src we should add it to the excludes here. As it shouldn't be part of the normal build

The fuzzer instrumentation only works with CommonJS (aka requires) while the rest of our build uses ESM.

Copy link
Contributor

Choose a reason for hiding this comment

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

My fault that it's in scripts/. I suggested that it be moved there. It does kind of feell like a script to me, but I can be convinced otherwise. My thinking was "this is a script wrapping the AVM to feed it line-by-line inputs."

@IlyasRidhuan IlyasRidhuan force-pushed the sn/avm_fuzzer_poc branch 2 times, most recently from 803d6de to 324eca6 Compare October 24, 2025 13:57
"include": ["src"]
"include": ["src"],
// Note(ilyas): This exclude kinda redundant now, but a reminder for when we move the fuzzer into /src/avm
"exclude": ["scripts/fuzzing/avm_simulator_bin.ts"]
Copy link
Contributor

Choose a reason for hiding this comment

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

My fault that it's in scripts/. I suggested that it be moved there. It does kind of feell like a script to me, but I can be convinced otherwise. My thinking was "this is a script wrapping the AVM to feed it line-by-line inputs."

Base automatically changed from sn/avm_fuzzer_poc to merge-train/avm October 24, 2025 14:39
@IlyasRidhuan IlyasRidhuan merged commit e7877ad into merge-train/avm Oct 24, 2025
6 of 7 checks passed
@IlyasRidhuan IlyasRidhuan deleted the ir/fuzz_qol branch October 24, 2025 15:26
@AztecBot AztecBot mentioned this pull request Oct 24, 2025
github-merge-queue bot pushed a commit that referenced this pull request Oct 25, 2025
BEGIN_COMMIT_OVERRIDE
feat(avm)!: Constrain tx `reverted` in public inputs (#17821)
feat: Brillig <> AVM simulator fuzzer helper (#16940)
fix: qol for running fuzzer (#17913)
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.

3 participants