SEASON 3 MODULE 4
LatticeFold, w/ Binyi Chen
In this module, Guillermo Angeris and Binyi Chen, Postdoc Researcher at Stanford University, present LatticeFold. LatticeFold is a ZK folding scheme designed for lattice-based cryptography. Binyi begins by establishing the building blocks: Defining polynomial rings and commitments, and the concept of folding schemes. He goes on to explain the techniques, and the central challenge of applying folding techniques in a lattice setting and explores solutions to these problems, such as the decomposition technique to manage the norm, and introducing a range proof to ensure security. Finally, Binyi contrasts the initial LatticeFold approach with LatticeFold+, which leverages the rich algebraic structure of the underlying rings and includes more efficient range proofs.
What you’ll learn:
- 00:00 Introduction and Session Outline
- 2:43 Background: Defining Polynomial Rings
- 14:54 Lattice-Based Commitments: From Ajtai to SWIFFT
- 22:04 Background: Folding Schemes
- 28:43 Strawman protocol from random linear combinations
- 35:01 Solving Norm Growth with Decomposition
- 36:46 Background: Decomposition
- 45:12 LatticeFold’s Range Proof
- 52:08 Integrating the Batch Proving into the Folding Scheme
- 54:24 Batch-Proving Statements in Rcm,2
- 1:01:40 LatticeFold+: A More Direct and Efficient Range Proof
- 1:09:00 Summary and Conclusion
- SWIFFT: A Modest Proposal for FFT Hashing, by Vadim Lyubashevsky, Daniele Micciancio, Chris Peikert and Alon Rosen: https://web.eecs.umich.edu/~cpeikert/pubs/swifft.pdf
- SIS definition (Wikipedia): https://en.wikipedia.org/wiki/Short_integer_solution_problem
- ZK Whiteboard Sessions – S2M6: An Update on Folding with Albert Garreta: https://www.youtube.com/watch?v=4alOna5X3ro
- Nova: Recursive Zero-Knowledge Arguments from Folding Schemes, by Abhiram Kothapalli, Srinath Setty and Ioanna Tzialla: https://eprint.iacr.org/2021/370
- SoK: Zero-Knowledge Range Proofs, by Miranda Christ, Foteini Baldimtsi, Konstantinos Kryptos Chalkias, Deepak Maram, Arnab Roy and Joy Wang: https://eprint.iacr.org/2024/430
- LaBRADOR: Compact Proofs for R1CS from Module-SIS, by Ward Beullens and Gregor Seiler: https://eprint.iacr.org/2022/1341
- LatticeFold: A Lattice-based Folding Scheme and its Applications to Succinct Proof Systems, by Dan Boneh and Binyi Chen: https://eprint.iacr.org/2024/257
- ZK Whiteboard Sessions – S2M2: The Sum-Check Protocol with Justin Thaler: https://youtu.be/gfy8rotcas4?si=zZiJzNZNtYK9vmjj
- Neo: Lattice-based folding scheme for CCS over small fields and pay-per-bit commitments, by Wilson Nguyen and Srinath Setty: https://eprint.iacr.org/2025/294
- LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems, by Binyi Chen (zkSummit13): https://www.youtube.com/watch?v=MvR-HX-tCOI
ZK Whiteboard Sessions is an educational series on all things zero knowledge. Presented by ZK Hack.
Get notified on latest module upload by signing up below.
You're in. We'll let you know when the first module is live!