In the fast-evolving world of blockchain and cryptocurrencies, smart contracts are now one of the most powerful technologies. Autonomous codes that enable trustless transfers, automating business logic and the building blocks of decentralized finance (DeFi), NFTs, and so many more applications of blockchain. But power also means responsibility—and with much greater dangers. The recent wave of high-profile hacks, code exploits, and losses put into sharp relief one very important but otherwise neglected part of the crypto world: smart contract audits.