Unchained
Avsnitt

The Chopping Block: Zcash Infinite Mint Bug + AI Hackers vs Formal Verification + NEAR's Agent Vision

Dela

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

00:00 Intro

01:17 Weekend Crypto Meltdown & Bitcoin Crash

02:52 Saylor, STRC & the DAT Death Spiral Fears

11:51 "No Sell Button" — Saylor's Lesson Learned

13:14 Zcash Bug: 50% Crash Explained

20:30 The Fix: Ironwood Pool & Formal Verification

23:11 AI vs Crypto Security: The Attacker Advantage

27:21 What Is Formal Verification?

30:07 Spaceship-Grade Smart Contract Security

31:36 OPSEC, Oracles & Anomaly Detection

36:08 Cypherpunk Dilemma: Stop the Hack or Not?

38:37 Will DeFi Survive? Long Math

42:49 NEAR's AI Agents & Intents Vision

48:43 Is Agentic Commerce Real? Mert's Skepticism

Disclosures Learn more about your ad choices. Visit megaphone.fm/adchoices

Podden och tillhörande omslagsbild på den här sidan tillhör Laura Shin. Innehållet i podden är skapat av Laura Shin och inte av, eller tillsammans med, Poddtoppen.