echidna

A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).

A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

Smart Contract Property-Based Testing Framework

A list of public fuzzing campaigns

Optik is a set of symbolic execution tools that assist smart-contract fuzzers

General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing

GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C

Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna

Public resources on fuzzing services, methodologies, and benefits for protocol security.

Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna

CLI tool to quickly generate init.json to seed Echidna straight from your Foundry project.

Solving CTF with Foundry, Slither, Echidna, and Manticore.

constant-sum automated market maker implementation

A CLI tool that converts Echidna fuzzer reproducer .txt files into executable Foundry test files.

Echidna, Etheno, and HardHat template for fuzzing complex systems.

Install a specific Echidna version or revert to a specific commit.

Fuzzing campaign for https://github.com/drips-network/contracts

A clean, plug and play CLI tool for managing remote fuzzing jobs.

We help protocols improve their invariant tests

Offensive fuzzing suite for Origin Protocol WOETH.