How to Fuzz Smart Contracts Using Echidna Liquity V2 Governance

Jul 4, 2025 · 21 min read · Brief Recap of Liquity v2 governance contract Before jumping into fuzzing suite, let’s briefly recap how Liquity v2’s governance contract works. Liquity v2 is a decentralized protocol where users can borrow BOLD (a USD-pegged stablecoin) by depositin...