Echidna

Open Source

Echidna is a Haskell fuzzer for Ethereum smart contracts that builds ABI call sequences to falsify invariants, Solidity assertions, or Foundry-style tests. Use it when you can name a property — an echidna_ function, an assert, or a Foundry test — and want a minimized call sequence if the campaign breaks it.

About

Echidna generates calls from a contract ABI. The README documents property, assertion, Foundry, verification, overflow, optimization, and exploration modes, and a coverage corpus. A failing campaign shrinks to a minimized call sequence.

Categories

Fuzzers Testing

Chains

ethereum polygon arbitrum optimism base

Install

brew install echidna

Related Tools

Slither

Pairs with Echidna

Foundry Fuzz

Alternative to Echidna

Medusa

Pairs with Echidna

Quick Info

Pricing
free
Open Source
Yes
Last validated
Oct 2026

Links

Website GitHub Documentation