In this episode, Anna) and Nico) speak with Matthew Klein) and Albert Garreta) from Nethermind) 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)
- Episode 293: Exploring Security of ZK Systems with Nethermind’s Michał & Albert)
- Episode 277: Nova and Beyond with Srinath Setty)
- ZK Whiteboard Sessions S2M6: An Update on Folding with Albert Garreta)
- Nethermind’s LatticeFold implementation)
- [Ajtai vs Merkle vs Pedersen](https://www.notion.so/nethermind/Ajtai-vs-Merkle-vs-Pedersen-1d0360fc38d080d9a984efb95d4bb97d))
- LatticeFold paper)
- LatticeFold+ paper)
- Neo paper)
- LaBRADOR paper)
- Zinc integer-based constraints)
- FLI: Folding Lookup Instances paper)
ZK Hack Berlin happens on June 20 - 22! Apply now at zkberlin.com)
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)
