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](https://eprint.iacr.org/2024/1287))
- 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)
