Unchained
Unchained
Laura Shin
The Chopping Block: Zcash Infinite Mint Bug + AI Hackers vs Formal Verification + NEAR's Agent Vision
56 minutes Posted Jun 10, 2026 at 3:00 pm.
Intro
Weekend Crypto Meltdown & Bitcoin Crash
Saylor, STRC & the DAT Death Spiral Fears
"No Sell Button" — Saylor's Lesson Learned
Zcash Bug: 50% Crash Explained
The Fix: Ironwood Pool & Formal Verification
AI vs Crypto Security: The Attacker Advantage
What Is Formal Verification?
Spaceship-Grade Smart Contract Security
OPSEC, Oracles & Anomaly Detection
Cypherpunk Dilemma: Stop the Hack or Not?
Will DeFi Survive? Long Math
NEAR's AI Agents & Intents Vision
Is Agentic Commerce Real? Mert's Skepticism
0:00
56:30
Download MP3
Show notes
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 Qureshi, Managing Partner at Dragonfly 
⭐️Tom Schmidt, General Partner at Dragonfly 
Guest
⭐️ Mert, Co-founder & CEO at Helius
⭐️ Illia Polosukhin, Co-founder of NEAR Protocol
Timestamps
Disclosures
Learn more about your ad choices. Visit megaphone.fm/adchoices