How to use Echidna

Our Builiding Secure Smart Contracts repository contains a crash course on Echidna, including examples, lessons and exercises. You should start here. Other than that, this wiki keeps the list of options the list of configuration options for Echidna.

Bounties

We're happy to offer bounties for contributions to Echidna! Upon any new release, Trail of Bits may consider sending a bounty payment to any non-trivial PR. If you are interested about it, please feel free to ask us in our #ethereum slack channel in Empire Hacking.