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

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.

.