{"podcast":{"title":"Learn Cardano Podcast","slug":"learn-cardano-podcast-3673541","podcast_index_feed_id":3673541,"rss_url":"https://www.spreaker.com/show/4856207/episodes/feed","website_url":"https://learncardano.io","image_url":"https://d3wo5wojvuv7l.cloudfront.net/t_rss_itunes_square_1400/images.spreaker.com/original/ca2b51cbd0007947e740eb06512432e8.jpg","author":"Pete Bui","episode_count":498,"summary":"The Learn Cardano Podcast is about the Cardano blockchain and all its aspects, from staking, stake pool operations, smart contracts, and coding in Plutus to voting in Project Catalyst. If you have heard about Bitcoin and Ethereum but haven’t heard of Cardano, this podcast is for you. We’ll have news updates from the project, interviews with key Cardano leadership, community members, stake pool operators and step-by-step how-to guides to understand aspects of Cardano better. Subscribe and leave us a 5-star review. Find all of the show notes at https://learncardano.io . DISCLAIMER: This content is for informational and educational purposes only and is not financial, investment, or legal advice. I am not affiliated with, nor compensated by, the project discussed—no tokens, payments, or incentives received. I do not hold a stake in the project, including private or future allocations. All views are my own, based on public information. Always do your own research and consult a licensed advisor before investing. Crypto investments carry high risk, and past performance is no guarantee of future results. I am not responsible for any decisions you make based on this content. 🔗 https://www.…","last_synced_at":"2026-06-30T04:20:10.165155+00:00","page_url":"https://stenobird.com/podcast/learn-cardano-podcast-3673541"},"episode":{"title":"Zcash Just Proved Why Formal Verification Matters | Cardano & Midnight","slug":"zcash-just-proved-why-formal-verification-matters-cardano-midnight","published_at":"2026-06-08T08:08:14+00:00","page_url":"https://stenobird.com/podcast/learn-cardano-podcast-3673541/zcash-just-proved-why-formal-verification-matters-cardano-midnight","show_page_url":"https://stenobird.com/podcast/learn-cardano-podcast-3673541","url":"https://www.spreaker.com/episode/zcash-just-proved-why-formal-verification-matters-cardano-midnight--72413714","audio_url":"https://dts.podtrac.com/redirect.mp3/api.spreaker.com/download/episode/72413714/zcash.mp3","summary":"Zcash's Orchard vulnerability has reignited one of the most important conversations in crypto: why formal verification and high-assurance engineering matter when real value is at stake. In this episode, Peter breaks down what the disclosed Zcash flaw could have allowed, why privacy systems create a harder audit problem, and why this story reached far beyond one chain. The discussion then turns to Cardano's long-standing security-first philosophy and why that mindset matters even more for privacy-preserving infrastructure. Peter also explains how Midnight fits into this picture as a privacy layer designed around formal methods, selective disclosure, and secure integration with existing blockchain ecosystems. 0:00 Formal Verification Wake-Up 0:42 What Happened to Zcash 1:18 Why Privacy Makes It Worse 1:52 Was Supply Actually Hit 2:43 What Formal Verification Means 3:29 Why Cardano Took This Path 4:47 Why Midnight Stands Out 6:18 Proof, Not Hope Key Takeaways: - Zcash disclosed a critical Orchard vulnerability that could have enabled counterfeit ZEC to be created inside its private pool. - Because Orchard is private, the incident raised deeper concerns about auditability and proving whether a flaw had been exploited after the fact. - The Zcash Foundation said there was no evidence of unauthorised value creation and that supply checks still appeared intact. - Formal verification is presented as a practical safeguard for financial infrastructure, not just an academic exercise. - Cardano's emphasis on formal methods and high-assurance engineering is positioned as a major long-term strength. - Midnight is highlighted as a privacy-focused layer that carries the same security-first mindset into selective disclosure and private transactions. Links & References: - x.com: http…","meta_description":"Zcash's Orchard vulnerability has reignited one of the most important conversations in crypto: why formal verification and high-assurance engineering matt…","key_points":[],"chapters":[],"topics":[],"duration_seconds":477,"processing_state":"not_requested","actions":[{"name":"request_transcript","method":"POST","url":"https://stenobird.com/v1/public/podcasts/learn-cardano-podcast-3673541/episodes/zcash-just-proved-why-formal-verification-matters-cardano-midnight/transcription-requests","description":"Idempotently request low-priority transcript generation for this episode."},{"name":"read_markdown","method":"GET","url":"https://stenobird.com/podcast/learn-cardano-podcast-3673541/zcash-just-proved-why-formal-verification-matters-cardano-midnight.md","description":"Read the agent-friendly Markdown representation of this episode resource."}]}}