Building a Mental Model of a Smart Contract | Uri Kirstein - Certora

Wed, Oct 2, 2024, 12:00 AM

Smart contracts go beyond mere lines of code; they're intricate systems crucial to any project. Breaking down protocols into essential properties is critical to understanding and protecting them. We'll explore what has become a common practice among good auditors: the art of modeling smart contracts into easily verifiable parts. We will share real-world examples of how these techniques have proven invaluable in preventing critical bugs in code before deployment. APPLICATIONS FOR ETHDenver 2024: #YearOfTheSpork ARE OPEN APPLY NOW https://ethdenver.com/apply