OpenViSTAI · Agents · Blockchain · Crypto
Submit a project
Menu
Developer Tools

Daedaluzz

Daedaluzz is an open-source tool that generates Solidity benchmark contracts for comparing smart-contract fuzzers. Its maze-like contracts test whether fuzzers can satisfy constrained transaction inputs and reach states that require multiple transactions.

Explore the practical guide ↓

Independent OpenViST project profile, based on linked sources.

Daedaluzz — OpenViST project profile in Developer Tools.
OpenViST project illustration. See the linked sources for product details.
Understand the project

Practical overview

When it fits

Use Daedaluzz when you need generated, shared Solidity benchmarks to compare fuzzer behavior or investigate input-constraint and state-reachability challenges.

Who it is for

  • Smart-contract security researchers comparing fuzzing approaches.
  • Fuzzer developers evaluating tools against a shared benchmark set.

Documented uses

  • Generate benchmark contracts for smart-contract fuzzers.
  • Compare fuzzer results by counting distinct assertion violations.
  • Study fuzzing challenges involving constrained inputs and transaction sequences.
Before you choose

Requirements & limits

  • The benchmark language deliberately uses a limited Solidity subset to reduce variation in language-feature support across fuzzers.
  • The documented benchmark inputs use uint64 values; the parameter count can be adjusted to change input size.
  • The repository includes scripts and Dockerfiles for several named fuzzers, plus result aggregation and visualization scripts.
  • Strong benchmark results do not establish that a fuzzer will perform well on a specific contract.

Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.

Source-based practical guide

Run the included fuzzers and summarize benchmark results

Use the repository's documented scripts to benchmark supported fuzzers against generated contracts and aggregate the results.

Before you start

  • A checkout of the Daedaluzz repository.
  • Dockerfiles and scripts provided by the repository for the fuzzers.

Steps

  1. Use the repository's benchmarking infrastructure to run the listed fuzzers against the generated benchmarks with run-all-fuzzers.sh.

  2. Use show-stats.py to aggregate and visualize the results.

Expected outcome

A combined, visualized summary of fuzzer results on the generated benchmarks.

Guide limitations

  • The documented workflow covers the listed fuzzers: Echidna, Foundry/Forge, Harvey, Hybrid-Echidna and ItyFuzz.
  • Benchmark performance does not necessarily predict performance on a particular contract.
Documentation 1 ↗
Evidence and transparency

Sources & review

Official repository ↗
Source record details
Source availability
Active
Sources checked
13 October 2026
Original website title
ConsenSysDiligence/daedaluzz · Official homepage title · retained in its source language
How we review sourcesSuggest a correction