Implementing LatticeFold with Matthew and Albert from Nethermind

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