The Chopping Block: Robinhood’s Vlad Tenev on Tokenized Privates, 24/7 Stocks & AI-Verified Code - Ep. 891

Altcoin froth meets real-asset rails. Vlad explains why Robinhood built an L2, how tokenized stocks—and even private shares like OpenAI/SpaceX—could trade on-chain, and what that means for accreditation, access, and the public/private wall. Plus: DATs, DTCC in a tokenized world, and AI that formally proves smart contracts. 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, Robinhood co‑founder/CEO Vlad Tenev joins to explain Robinhood Chain, why they chose a Layer 2 over a Layer 1, and the plan to bring tokenized stocks — including private shares — on‑chain. We get into the OpenAI/SpaceX kerfuffle, accreditation rules, and whether permissionless tokenization erodes the public/private boundary. Then we zoom out to 24/7 trading, Digital Asset Treasuries, and how formal verification (Lean proofs) could make smart contracts safer. Show highlights 🔹 Robinhood Chain L2 vs. L1 – Why Vlad Tenev chose a Layer 2 over a Layer 1 for tokenized stocks and real-world assets. 🔹 Tokenized Stocks & Private Shares – How Robinhood could put U.S. equities and private company equity (OpenAI, SpaceX) on-chain via SPVs and secondaries. 🔹 OpenAI/SpaceX Tokenization Debate – Issuer consent vs. permissionless exposure: what the kerfuffle reveals about private markets on-chain. 🔹 Retail Access & Accreditation Reform – Moving from wealth-gated accreditation to disclosure + self-certification so more investors can participate. 🔹 Ex-US Rollout for Tokenized Equities – Stablecoin-style playbook with KYC/geofencing and permissionless assets where allowed. 🔹 24/7 Trading for Stocks – From 24/5 to 24/7 markets; what this means for DTCC, transfer agents, and market plumbing. 🔹 Wallet + Chain + Custody Stack – Vertical integration advantages: pricing, UX, and liquidity when Robinhood owns more of the rails. 🔹 Digital Asset Treasuries (DATs) – Yield dynamics, mNAV compression, and how DATs stack up against staking ETFs. 🔹 Memecoins vs. Real Assets – “You can buy memes but not OpenAI” paradox and why investor-protection rules feel backward. 🔹 AI-Verified Smart Contracts – Lean proofs, formal verification, and reducing smart-contract risk beyond manual audits. 🔹 Harmonic’s “Aristotle” – Vlad’s AI hitting IMO gold-medal-level math performance and what that means for code safety. 🔹 Robinhood’s Next Decade – Retail super app → B2B/institutional rails and ex-US expansion for tokenized finance. Hosts: ⭐️ Haseeb Qureshi, Managing Partner at Dragonfly ⭐️ Robert Leshner, CEO & Co-founder of Superstate⭐️ Tarun Chitra, Managing Partner at Robot Ventures⭐️ Tom Schmidt, General Partner at Dragonfly  Guest: ⭐️ Vlad Tenev, CEO & Co-founder of Robinhood Timestamps 00:00 Intro 01:52 L2 vs. L1 Trade-Offs 04:19 Tokenized Stocks on Robinhood Chain  07:56 Private Markets Onchain 16:10 Accreditation Reform & Compliance  21:47 24/7 Trading for Equities 31:05 Public vs. Private Boundary 32:59 Memecoin Paradox vs. Real-Asset Tokenization 35:27 Digital Asset Treasuries (DATs)  37:50 Robinhood’s Business Mix  41:38 Retail to Institutions: Global Expansion 46:44 Harmonic AI & Lean Proofs 54:48 Safer Smart Contracts Beyond Manual Audits Disclosures Learn more about your ad choices. Visit megaphone.fm/adchoices