
Episode #10
Zoe Paraskevopoulou - Can You Trust Your Smart Contracts 100%?
<p>(00:00) Intro</p><p>(01:39) Journey into Blockchain</p><p>(04:09) Why Formal Verification for Smart Contracts</p><p>(08:39) ACT Framework</p><p>(12:37) State Transition Systems & Mathematical Models</p><p>(21:37) Practical Application</p><p>(28:10) LLMs & The Future of Formal Verification</p><p>(31:29) Vision</p>





