Home

How to use Echidna

• Introduction on how to write properties for Echidna

• Assertion checking with Echidna

• Advanced: How to write a proxy contract to use Echidna with multiple contracts

• Advanced: How to write efficient properties [TODO]

• Configuration

Bounties

We're happy to offer bounties for contributions to Echidna! Please review Gitcoin for a list of available bounties.

Upon any new release, Trail of Bits may consider sending a bounty payment to any PR that was not covered by Gitcoin. In these cases, we will send an automated payment to the email in your git log via PayPal.

Troubleshooting

[TODO]