Tech Talks with Tomer

Securing Smart Contracts and DeFi's future ft. Mooly Sagiv

Episode Summary

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). Follow @tomerweller on Twitter to get more updates about innovation on Stellar between episodes! To learn more about Certora, follow @CertoraInc

Episode Notes

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). 

Follow @tomerweller on Twitter to get more updates about innovation on Stellar between episodes!

To learn more about Certora, follow

 @CertoraInc