chore(avm): analyze fuzzer corpus distribution

[IlyasRidhuan]

running ./run_fuzzer.sh analyze outputs some statistics about the current tx corpus

orpus directory: ../src/barretenberg/avm_fuzzer/corpus/tx

Files processed: 836
Files failed: 0
Total input programs: 6408

=== Opcode Histogram ===
SET_32             :    48847  ########################################
SET_8              :    23209  ###################
SET_16             :    11977  ##########
SET_FF             :     6527  #####
RETURN             :     6510  #####
SET_64             :     4418  ####
SET_128            :     1743  #
GETENVVAR_16       :      614  #
SUCCESSCOPY        :      538
RETURNDATACOPY     :      522
RETURNDATASIZE     :      522
XOR_8              :      498
POSEIDON2PERM      :      471
SSTORE             :      459
EMITNOTEHASH       :      453
SENDL2TOL1MSG      :      448
CALLDATACOPY       :      434
SUB_16             :      398
ADD_8              :      392
OR_8               :      389
XOR_16             :      378
TORADIXBE          :      374
EMITUNENCRYPTEDLOG :      366
DIV_8              :      363
SUB_8              :      360
AND_8              :      358
OR_16              :      352
GETCONTRACTINSTANCE:      351
MUL_8              :      333
MUL_16             :      318
FDIV_8             :      296
ADD_16             :      291
DIV_16             :      282
SLOAD              :      276
AND_16             :      274
ECADD              :      241
NOT_8              :      238
EMITNULLIFIER      :      231
JUMP_32            :      213
KECCAKF1600        :      209
CAST_8             :      189
STATICCALL         :      187
SHA256COMPRESSION  :      187
CAST_16            :      186
NOT_16             :      181
NULLIFIEREXISTS    :      171
MOV_8              :      158
MOV_16             :      151
SHR_16             :      142
EQ_16              :      138
CALL               :      134
SHL_16             :      130
JUMPI_32           :      125
FDIV_16            :      122
LT_16              :      120
LT_8               :      111
LTE_16             :      105
LTE_8              :      105
SHL_8              :      102
L1TOL2MSGEXISTS    :      100
EQ_8               :       93
SHR_8              :       92
DEBUGLOG           :       60
INTERNALRETURN     :       25
INTERNALCALL       :       25
NOTEHASHEXISTS     :       14
REVERT_16          :       13

=== Opcode Statistics ===
Total instructions: 118639
Unique opcodes used: 67/68
Missing opcodes (1): REVERT_8
Most common: SET_32 (48847)
Least common: REVERT_16 (13)

=== Enqueued Calls Statistics ===

Setup Calls:
  Mean: 0.28, Median: 0.00, Mode: 0
  Histogram: 0(638) 1(178) 2(10) 3(6) 4(3) 5(1)

App Logic Calls:
  Mean: 1.09, Median: 1.00, Mode: 1
  Histogram: 1(789) 2(32) 3(7) 4(6) 5(2)

Teardown Calls:
  Mean: 0.09, Median: 0.00, Mode: 0
  Histogram: 0(761) 1(75)

Multi-Phase Transactions:
  Txs with calls in multiple phases: 249
  Txs with setup + app_logic only: 174
  Txs with setup + teardown only: 0
  Txs with app_logic + teardown only: 51
  Txs with all three phases: 24

[IlyasRidhuan]

• feat(avm): fuzzer treats enqueued call size as coverage #19615
• chore(avm): analyze fuzzer corpus distribution #19614 👈 (View in Graphite)
• feat(avm): protocol contractg mutations #19586
• feat(avm): mutate global gas fees and timestamp #19500
• feat(avm): contract instance mutation #19499
• feat(avm): contract class mutation #19498
• feat(avm): avm fuzzer bytecode mutation #19378
• feat(avm): gas mutations #19348
• feat(avm): mutations for accumulated data #19347
• fix(avm): capping rd size and fixing pipes #19420
• merge-train/avm

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

[AztecBot]

Flakey Tests

🤖 says: This CI run detected 1 tests that failed, but were tolerated due to a .test_patterns.yml entry.

\033FLAKED\033 (8;;http://ci.aztec-labs.com/ff851621a79624d5�ff851621a79624d58;;�):  yarn-project/end-to-end/scripts/run_test.sh simple src/e2e_epochs/epochs_invalidate_block.parallel.test.ts "committee member invalidates a block if proposer does not come through" (94s) (code: 1) group:e2e-p2p-epoch-flakes (\033IlyasRidhuan\033: perf(avm): analyze fuzzer corpus distribution)