echidna topic
List
echidna repositories
optik
89
Stars
12
Forks
Watchers
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
solidity-fuzzing-comparison
96
Stars
14
Forks
Watchers
A comparison of solidity fuzzing tools Foundry, Echidna & Medusa
spec-prod
33
Stars
19
Forks
Watchers
GitHub Action to build ReSpec/Bikeshed specs, validate output and publish to GitHub pages or W3C
chimera
54
Stars
8
Forks
Watchers
Smart Contract Property-Based Testing Framework
public-fuzzing-campaigns-list
71
Stars
15
Forks
Watchers
A list of public fuzzing campaigns
echidna-curve-reentrancy-hack
28
Stars
5
Forks
Watchers
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna