『Zero Knowledge』のカバーアート

Zero Knowledge

Zero Knowledge

著者： Zero Knowledge Podcast
無料で聴く

このコンテンツについて

 Zero Knowledge is a podcast which goes deep into the tech that will power the emerging decentralised web and the community building this. Covering the latest in zero knowledge research and applications, the open web as well as future technologies and paradigms that promise to change the way we interact — and transact — with one another online. Zero Knowledge is hosted by Anna Rose Follow the show at @ZeroKnowledgefm (https://twitter.com/zeroknowledgefm) or @AnnaRRose (https://twitter.com/AnnaRRose) If you like the Zero Knowledge Podcast: Join us on Telegram (https://t.me/joinchat/TORo7aknkYNLHmCM) Support our Gitcoin Grant (https://gitcoin.co/grants/38/zero-knowledge-podcast) Support us on Patreon (https://www.patreon.com/zeroknowledge) Or directly here: ETH: 0x4BF66E52f3009Cd138e48f142D47661037160001 BTC: 1cafekGa3podM4fBxPSQc6RCEXQNTK8Zz ZEC: t1R2bujRF3Hzte9ALHpMJvY8t5kb9ut9SpQ DOT: 14zPzb7ihiBeaUn9jdPW9cHKGBd9qtTuJE75hhW2CvzLh6rT© 2025 Zeroknowledge 数学 科学
エピソード
  • Countdown to Q-Day with Project 11

    Countdown to Q-Day with Project 11
    2025/11/05
    In this episode, Anna Rose chats with Alex Pruden and Conor Deegan from Project 11. They revisit the topic of quantum computing and explore the threat it poses to cryptographic systems like blockchains. As blockchain technology becomes increasingly integrated into global financial infrastructure — especially through stablecoins and banking rails — the stakes for quantum security continue to rise. Alex and Conor break down which algorithms are most at risk, why simple network upgrades won’t be enough, and what users will need to do to protect their own funds. They also outline potential mitigation strategies, including how Project 11 is approaching the challenge with post-quantum signature schemes, secure vaults, and a global namespace to coordinate user migrations ahead of “Q-Day.” The conversation also touched on how post-quantum thinking overlaps with zero-knowledge research, as hash- and lattice-based SNARKs offer resilience against future quantum attacks. Related links:
    • Project 11
    • Yellow Pages
    • PQC Suite B GitHub
    • Securing Sui in the Quantum Computing Era
    • Quantum resource estimation for large scale quantum algorithms: Section 5
    • Estimating the cost of generic quantum pre-image attacks on SHA-2 and SHA-3
    • Downtime Required for Bitcoin Quantum-Safety

    ZK Podcast Previous Related Episodes on the topic:
    • Quantum Engineering with Jelena Vučković
    • Quantum Punks with Alex and Nicola
    • Quantum Cryptography Part 2 with Or Sattath

    ZK Whiteboard Sessions is an educational video series produced by ZK Hack in collaboration with Bain Capital Crypto. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here.
    続きを読む 一部表示
    1 時間 2 分
  • Bonus: ZK Mesh and ZK Whiteboard this week!

    Bonus: ZK Mesh and ZK Whiteboard this week!
    2025/10/29
    There is no episode this week, but we share some updates from the ZK Hack ecosystem. Sign up here for ZK Mesh and find the latest module of ZK Whiteboard Season 3 here. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon * ETH - Donation address * BTC - Donation address * SOL - Donation address
    続きを読む 一部表示
    1 分
  • Kevin Lacker on AI-Assisted Theorem Proving and Acorn

    Kevin Lacker on AI-Assisted Theorem Proving and Acorn
    2025/10/22
    In this episode, Anna Rose and Guillermo Angeris talk with Kevin Lacker, creator of Acorn, a theorem prover utilising AI. They explore what theorem provers are, their history, and how they're used today. Kevin shares how Acorn brings in AI to simplify the proving process, letting users naturally write mathematical statements while the system checks the correctness of those statements. It's built to feel more like natural math, unlike tools like Lean that demand every step. They also explore the benefits of including AI in math, and also the challenges that come with it such as hallucinations, and how Acorn could speed up research in areas like zero-knowledge proofs. The dicussion also covers the history of mathematics, community building around Acorn and its open math library, acornlib. Related links:
    • Guillermo’s Blog Post:Acorn and the future of (AI?) theorem proving
    • Acorn Theorem Prover
    • Acorn Standard Library:acornlib
    • Lean Theorem Prover

    ZK Whiteboard Sessions is an educational video series produced by ZK Hack. It is focused on the building blocks of zero knowledge technology. Find season 3 of the Whiteboard Sessions as well as previous seasons here. Check out the latest jobs in ZK at the ZK Podcast Jobs Board. **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree * Subscribe to our podcast newsletter * Follow us on Twitter @zeroknowledgefm * Join us on Telegram * Catch us on YouTube **Support the show:** * Patreon *
    続きを読む 一部表示
    56 分
まだレビューはありません