Three EVM fuzzers ran eight hours per maze against 153 reachable Daedaluzz assertions; an agent-written harness ran once. The deciding variable was not speed.
Glossary definition
Echidna
Echidna is an open-source Ethereum smart contract fuzzer that generates call sequences to falsify user-defined properties and Solidity assertions.
Echidna is open source and one of the most widely used testing frameworks in the EVM ecosystem. It is used for fuzzing and property-based testing of Ethereum smart contracts. Echidna’s core features include:
- assertion checking
- custom property checking
- estimation of maximum gas usage
- Slither integration to extract useful information before a fuzzing campaign
Today, Echidna is an essential tool used by security companies to audit smart contracts.
Used in context
Articles using this term.
Comparing how Foundry, Echidna, and Wake shrink fuzzing failures. Learn which tool offers the best balance of speed, precision, and debugging clarity.