Skip to content
Curvance: Invariants unleashed
blog.trailofbits.com | blog | #smart-contracts | #fuzzing | #audit | #blockchain | #invariant-testing | #echidna
Summary
Trail of Bits recounts its first dedicated invariant development project: in nine weeks on Curvance it wrote 216 invariants, found 13 critical issues, and upgraded its fuzzing tools.
- Published
- Collected