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