Find Highs Before External Auditors Using Certora Formal Verification
At DeFi Security Summit 2024 I presented a workshop on how smart contract developers can use invariant fuzz testing to find high severity issues prior to external audit, based on my real-world experience doing private audits with Cyfrin. Since fuzz t...
Nov 29, 202426 min read1.8K