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

- Channel: [Ethereum Denver](https://streameth.org/ethereum-denver)
- Date: 2024-10-09
- Duration: 19:26
- Topics: blockchain, web3, ethereum
- Watch: https://streameth.org/watch/yt-dQLZCArP53I
- YouTube: https://www.youtube.com/watch?v=dQLZCArP53I

## Description

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