This talk presented the basics of Echidna – an open source contract fuzzer – to build secure smart contracts. In the presentation, we discuss what code invariants are, how to write them, and how to efficiently use Echidna to check invariants.
Presented at
- Off the Chain Con
Resources
Author
- Nat Chin