A conversation with
In December of 2023, decentralized finance (DeFi) protocols total value locked reached $50 billion. That’s a lot of money, which is why the security of smart contracts continues to be a hotly followed topic. Enter Mooly Sagiv and Certora—a smart contract security and audit company specializing in formal verification. Certora’s expertise lies in employing a mathematical method to rigorously prove that a design, particularly in code, meets its specifications.
Mooly Sagiv describes the evolution of formal verification from an obscure academic pursuit to a cornerstone in fortifying smart contracts. He delves deep into the complexities of securing compact code, why formal verification is a perfect match and the future of smart contracts beyond the Ethereum Virtual Machine (EVM).