Zero Knowledge

In this episode, Anna [https://x.com/AnnaRRose] and Nico [https://x.com/nico_mnbl] speak with Matthew Klein [https://matthewklein.co.uk/] and Albert Garreta [https://x.com/0xAlbertG] from Nethermind [https://www.nethermind.io/] about their work implementing and advancing lattice-based cryptography systems, particularly focusing on folding schemes and their applications in zero-knowledge proofs. Matthew and Albert share insights from their implementation of LatticeFold and discuss the evolution of lattice-based systems, including newer developments like LatticeFold+ and Neo. The conversation explores the unique challenges and opportunities of working with lattice-based constructions, from performance optimizations to post-quantum security considerations. They also dive into their work on post-quantum signatures for Ethereum, light zkML solutions, and the Zinc project, which offers a novel approach to handling integer-based constraints in zero-knowledge proofs. Related links: * Episode 359: Lattice-based ZK Systems with Vadim Lyubashevsky [https://zeroknowledge.fm/podcast/359/] * Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert [https://zeroknowledge.fm/podcast/293/] * Episode 277: Nova and Beyond with Srinath Setty [https://zeroknowledge.fm/podcast/277/] * ZK Whiteboard Sessions S2M6: An Update on Folding with Albert Garreta [https://www.youtube.com/watch?v=4alOna5X3ro] * Nethermind’s LatticeFold implementation [https://github.com/NethermindEth/latticefold] * Ajtai vs Merkle vs Pedersen [https://www.notion.so/nethermind/Ajtai-vs-Merkle-vs-Pedersen-1d0360fc38d080d9a984efb95d4bb97d] * LatticeFold paper [https://eprint.iacr.org/2024/257] * LatticeFold+ paper [https://eprint.iacr.org/2025/247] * Neo paper [https://eprint.iacr.org/2025/294] * LaBRADOR paper [https://eprint.iacr.org/2022/1341.pdf] * Zinc integer-based constraints [https://blog.matter-labs.io/release-of-zinc-v0-1-8d949aa9a2f2] * FLI: Folding Lookup Instances paper [https://eprint.iacr.org/2024/1531]     ----------------------------------------   ZK Hack Berlin happens on June 20 - 22! Apply now at zkberlin.com [http://zkberlin.com]   ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://t.me/+taXrPJIp_30zZTNi] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20361.txt]

In this episode, Anna [https://x.com/AnnaRRose] and Guillermo [https://x.com/guilleangeris] are joined by Alex Obadia [https://x.com/obadiaalex] and Nicola Greco [https://x.com/iamnotnicola], co-authors of the Quantum Punks Manifesto [https://quantumpunks.org/], for a discussion at the intersection of quantum technology and cryptography. They explore the cultural and technical gaps between the quantum and crypto communities, sharing the story behind the manifesto, their vision for bridging these worlds and the applications that such a combination could unlock.   Related links: * Quantum Punks Manifesto [https://quantumpunks.org/] * Episode 288: Quantum Cryptography with Or Sattath [https://zeroknowledge.fm/podcast/288/] * Episode 357: Quantum Engineering with Jelena Vučković [https://zeroknowledge.fm/podcast/357/] * Paris Workshop Video Playlist [https://youtube.com/playlist?list=PLCy40jcqxf4M3tp4FN_3s3qwDg2yrQvQN&si=O_qpobrulKfprdTD] * Teleport.Best Flashbots Project [https://teleport.best/] * Aria [https://www.aria.org.uk/] * Protocol Labs [https://www.protocol.ai/] * Conjugate Coding [https://dl.acm.org/doi/10.1145/1008908.1008920] * BB84: Quantum cryptography: Public key distribution and coin tossing [https://www.sciencedirect.com/science/article/pii/S0304397514004241]   Further reading: * The Coming Wave: New Applications of Quantum Cryptography -- Nicola Greco (DeepQuantum) [https://youtu.be/OCDYY5T27jk?si=S-5Yxux2lID2DWTu] * Quantum Punks’ meta-list of resources [https://quantumpunks.org/resources] * Quantum cryptography with classical communication: parallel remote state preparation for copy-protection, verification, and more by Gheorghiu, Metger and Poremba [https://eprint.iacr.org/2022/122] * Colbeck, R. (2006) Quantum And Relativistic Protocols For Secure Multi-Party Computation (Device Independence) [https://arxiv.org/abs/0911.3814] * Quantum bidding in Bridge by Muhammad, Tavakoli, Kurant, Pawlowski, Zukowski and Bourennane [https://arxiv.org/pdf/1403.4280] * Coordinating Decisions via Quantum Telepathy by Ding and Jiang [https://arxiv.org/pdf/2407.21723v1]   ---------------   * zkSummit13 happens next week! Buy your ticket now at www.zksummit.com [http://www.zksummit.com].   ---------------   * Missing Link [http://missing-link.io] are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time.    * Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. [http://missing-link.io]    ---------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://zeroknowledge.fm/telegram] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20360.txt]

In this episode, Anna [https://x.com/AnnaRRose] and Nico [https://x.com/nico_mnbl] speak with Vadim Lyubashevsky [https://research.ibm.com/people/vadim-lyubashevsky], research scientist at IBM Research, about the evolving field of lattice-based cryptography and its role in zero-knowledge systems. Vadim shares the history and mathematical foundations of lattices, and explains how they might be used to build post-quantum secure ZK proofs and SNARKs. The conversation covers the unique challenges of adapting lattice techniques to zero-knowledge, explores the tradeoffs relative to hash-based constructions, and highlights the importance of developing quantum-safe standards for the future of cryptography. Related links: * Episode 345: Latest ZK Research with Dan Boneh [https://zeroknowledge.fm/podcast/345/] * Episode 288: Quantum Cryptography with Or Sattath [https://zeroknowledge.fm/podcast/288/] * LaBRADOR: Compact Proofs for R1CS from Module-SIS⋆ [https://eprint.iacr.org/2022/1341.pdf] * IBM’s post-quantum NIST published standards [https://newsroom.ibm.com/2024-08-13-ibm-developed-algorithms-announced-as-worlds-first-post-quantum-cryptography-standards] * Project11 [https://www.projecteleven.com/quantum-readiness-levels] * Minkowski’s Geometry of Numbers [https://en.wikipedia.org/wiki/Geometry_of_numbers] * LLL reduction [https://en.wikipedia.org/wiki/Lenstra%E2%80%93Lenstra%E2%80%93Lov%C3%A1sz_lattice_basis_reduction_algorithm] * Shortest vector problem [https://en.wikipedia.org/wiki/Lattice_problem#Shortest_vector_problem_(SVP)] * Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) by Vadim Lyubashevsky [https://eprint.iacr.org/2024/1287]   ----------------------------------------   * Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com [http://www.zksummit.com]!   ----------------------------------------   * Missing Link [http://missing-link.io] are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. [http://missing-link.io]    ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://zeroknowledge.fm/telegram] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g]     Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20359.txt]

This week, Anna [https://x.com/AnnaRRose] speaks with Lasha Antadze [https://x.com/lashaantadze?lang=en], co-founder of Rarilabs [https://x.com/rari_labs] and Rarimo [https://rarimo.com/], about the evolution of digital identity systems. Lasha shares his journey from working with government eID systems to building decentralized identity solutions using zero-knowledge proofs. The conversation explores how Rarimo is taking a fundamentally different approach to identity verification by keeping all processing client-side, from passport scanning to biometric verification. This enables new use cases like censorship-resistant voting systems and privacy-preserving account recovery, while avoiding the traditional pitfalls of centralized identity providers. The discussion also covers the challenges of building trust in cryptographic systems, the potential applications of client-side ZK proofs for AI governance, and how Rarimo is working to make identity tools that are both powerful and accessible to everyday users. This episode provides a fascinating look at how zero-knowledge proofs are reshaping our understanding of digital identity and privacy. Further reading: * On-Chain Reputation & Identity Building with Sismo [https://zeroknowledge.fm/podcast/264/] * Coordinating Provers with Norbert from ZkCloud [https://zeroknowledge.fm/podcast/355/] * STORK 2.0 [https://stork.network/] * eIDAS [https://digital-strategy.ec.europa.eu/en/policies/eidas-regulation] * Freedomtool [https://freedomtool.org/] * Account recovery demo at Denver [https://rarimo.com/learning-hub/rarimo-newsletter-q1-60]   ----------------------------------------   Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com [http://www.zksummit.com]!   ----------------------------------------   Missing Link [http://missing-link.io] are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time.  Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. [http://missing-link.io]    ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://zeroknowledge.fm/telegram] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g]   Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20358.txt]

In this episode, Anna [https://x.com/AnnaRRose] and Guillermo [https://x.com/GuilleAngeris] speak with Professor Jelena Vučković [https://stanford.edu/~jela/] from Stanford's Nanoscale and Quantum Photonics Lab [https://nqp.stanford.edu/] about the fascinating world of quantum engineering. Jelena explains different quantum technology platforms and how quantum entanglement serves as the foundation for various applications such as eavesdropping detection. They explore how researchers are developing chip-scale quantum systems and the significant implications these technologies have for secure communication and cryptography.   Related links: * Episode 288: Quantum Cryptography with Or Sattath [https://zeroknowledge.fm/podcast/288/] * WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification [https://eprint.iacr.org/2024/1586.pdf] * BB84: Quantum cryptography: Public key distribution and coin tossing [https://www.sciencedirect.com/science/article/pii/S0304397514004241] * BBM92: Quantum Cryptography Without Bell's Theorem [https://journals.aps.org/prl/abstract/10.1103/PhysRevLett.68.557] * Stanford Nanoscale Quantum Photonics Group Github [https://github.com/stanfordnqp] * Stanford Nanoscale and Quantum Photonics Lab [https://nqp.stanford.edu/] * Photonics: Practical & Optimized: A Talk by Jelena [https://www.youtube.com/watch?v=Nn-SaB1hbGg] * Accelerator that fits on a chip work by Jelena [https://ee.stanford.edu/news/2020/jan/jelena-vu%C4%8Dkovi%C4%87-and-olav-solgaard-are-creating-accelerator-fits-chip]   ----------------------------------------   Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com [http://www.zksummit.com]   ----------------------------------------   Missing Link [http://missing-link.io] are a talent team built for the Web3 era, helping projects across the ecosystem connect with the right candidates at the right time. Whether you're an established project or a startup searching for specialized talent, Missing Link can help. Visit their website at missing-link.io. [http://missing-link.io]   ----------------------------------------   **If you like what we do:** * Find all our links here! @ZeroKnowledge | Linktree [https://linktr.ee/zeroknowledge] * Subscribe to our podcast newsletter [https://zeroknowledge.substack.com] * Follow us on Twitter @zeroknowledgefm [https://twitter.com/zeroknowledgefm] * Join us on Telegram [https://zeroknowledge.fm/telegram] * Catch us on YouTube [http://www.youtube.com/channel/UCYWsYz5cKw4wZ9Mpe4kuM_g] Read transcript [https://github.com/ZeroKnowledgefm/episode-transcripts/blob/main/episodes/Episode%20357.txt]