Episode
The Chopping Block: Zcash Infinite Mint Bug + AI Hackers vs Formal Verification + NEAR's Agent Vision
- Podcast
- Unchained
- Published
- Jun 10, 2026
- Duration seconds
- 3390
- Processing state
not_requested- Canonical source
- https://pdrl.fm/98e0b1/traffic.megaphone.fm/LSHML4468999810.mp3
Actions
POST https://stenobird.com/v1/public/podcasts/unchained-728975/episodes/the-chopping-block-zcash-infinite-mint-bug-ai-hackers-vs-formal-verification-near-s-agent-vision/transcription-requests
Idempotently request low-priority transcript generation for this episode.GET https://stenobird.com/podcast/unchained-728975/the-chopping-block-zcash-infinite-mint-bug-ai-hackers-vs-formal-verification-near-s-agent-vision.md
Read the agent-friendly Markdown representation of this episode resource.
Summary
Mert and Illia autopsy a brutal weekend in crypto: Saylor's $3M test sale that taught him there's no sell button, the Zcash bug Claude found that could've minted unlimited counterfeit ZEC, formal verification as the bulwark against AI attackers, and whether NEAR's agentic commerce vision is real. Welcome to The Chopping Block — where crypto insiders Haseeb Qureshi, Tom Schmidt, Tarun Chitra, and Robert Leshner chop it up about the latest in crypto. This week we've got two heavy hitters: NEAR Protocol co-founder Illia Polosukhin and Helius founder Mert Mumtaz. We kick things off with the weekend market meltdown -- Saylor sold 32 BTC for the first time in four years, STRC is trading below par, and Mert argues the real damage is that Saylor sucks all the air out of the room for actual crypto innovation. Then we get into the biggest story of the week: a critical bug discovered in Zcash's Orchard ZK circuit using Claude Opus 4.8 that could have allowed infinite counterfeit minting inside the shielded pool. Mert walks us through the emergency soft fork, the Ironwood migration, and why formal verification is about to become table stakes. Illia makes the case that AI-powered attackers have a permanent asymmetric advantage and that we need real-time on-chain detection systems to survive. Tom coins the analogy of the episode: we're moving from building boats to building spaceships. We close with Illia's pitch for NEAR's agent commerce vision – $240M in single-day volume, private intents, and the claim that agent-to-agent trustless commerce is already live – while Mert remains a friendly skeptic. Let's get into it.Listen to the episode on Apple Podcasts, Spotify, Pods, Fountain, Podcast Addict, Pocket Casts, Amazon Music, or on your favorite podcast platform. Hosts ⭐️Haseeb Qures…