Comparing how Foundry, Echidna, and Wake shrink fuzzing failures. Learn which tool offers the best balance of speed, precision, and debugging clarity.
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.