In this episode, Anna and Nico speak with 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
• Episode 288: Quantum Cryptography with Or Sattath
• LaBRADOR: Compact Proofs for R1CS from Module-SIS⋆
• IBM’s post-quantum NIST published standards
• Project11
• Minkowski’s Geometry of Numbers
• LLL reduction
• Shortest vector problem
• Basic Lattice Cryptography: The concepts behind Kyber (ML-KEM) and Dilithium (ML-DSA) by Vadim Lyubashevsky

   

• Spots for zkSummit13 are limited - grab your ticket at www.zksummit.com!

   

• Missing Link 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. 

    **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     Read transcript