Skip to content

Latest commit

 

History

2 Commits

Folders and files

NameName
Last commit message
Last commit date
 
 
 
 

Repository files navigation

Daedaluzz L32 benchmark set

Solidity fixtures prepared for the conference talk Is Traditional Smart Contract Fuzzing Still Relevant?, presented at Web3 Security Summit in Belgrade on 26 August 2026.

The set contains five 7×7 mazes generated from seeds 0–4 with Daedaluzz. The L32 variant keeps uint64 inputs and caps generated guard constants at 2³²−1.

Each maze is provided in three forms:

  • maze-N.sol — Echidna
  • maze-N.wake.sol — Wake
  • maze-N.foundry.sol — Foundry

Methodology and results: Benchmarking EVM Fuzzers Against an Agent-Written Harness.

About

Daedaluzz L32 Solidity fixtures used in ack3's EVM fuzzer benchmark

Topics

Resources

Contributing

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages