Zero Knowledge

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 &nbs