Introducing Frosty, our AI-powered smart contract auditing tool that outperformed every other tool we evaluated. It runs in ~1-2 hours, can be 100x cheaper than a manual audit, and is now part of every smart contract review at Coinbase. Here's how we built it: