
Channi Greenwall (Founder & CEO, Olympix): Why AI Agents Need More Than Guardrails | S6 E8
🔐 In 2010, software meant web apps. Now software is an actor with access to money, data and physical things. Channi Greenwall on why that makes it mission critical, and why crypto was the first place to find out the hard way.What to expect in this episode:• Why a guardrail is only a recommendation, and what anyone deploying AI agents should take from $22B stolen in crypto• The three things that make smart contracts so easy to hit: they can't be patched, the code is public, and it sits directly on the money• Why a smart contract audit on its own is not enough, and what you should run before you get one• Why formal methods have been used for planes, rockets and medical devices for decades, but almost nowhere else• Research labs raising hundreds of millions for formal methods, and why commercializing early builds the better product• How a free tool reached 28% of Solidity developers with no marketing, and why 10 to 15% better still wasn't worth paying for• Why Channi brings operator angels into every round alongside institutional investorsAbout Channi:• Founder and CEO of Olympix (founded 2022), which uses formal methods, mathematical proofs of how code behaves, to secure smart contracts• Olympix protects around $155B in volume for institutions including Circle and Securitize. • Anything tokenized through BlackRock or Nasdaq goes through its security first• Raised a $4.3M seed led by Boldstart. Angels include the founders of Snyk, Blockdaemon and SecurityScorecard• Previously product lead at SecurityScorecard, and specialized in cyber defense and fraud at JPMorgan• MSc in security engineering from NYU🔗 Channi Greenwall: https://www.linkedin.com/in/channi-greenwall/🏢 Olympix: https://www.linkedin.com/company/olympix/home/👤 Jack Brandwood: https://lnkd.in/dFMyDUEN🎧 Spotify: https://lnkd.in/eij7j2m📲 On Security LinkedIn: https://www.linkedin.com/company/onsecuritypodcast/





