Fall 2019

Recursive Techniques for Lattice-Based Zero-Knowledge

Tuesday, Sep. 24, 2019 2:00 pm2:30 pm PDT

Add to Calendar


Jonathan Bootle (IBM Research- Zurich)

In this talk, we will discuss how to construct lattice-based zero-knowledge proofs with sublinear communication complexity using recursive techniques.

The method is similar to Bulletproofs, a zero-knowledge protocol in the discrete-logarithm setting. It is based on folding techniques, which allow a commitment to a long vector to be rewritten as a commitment to a shorter one, plus some correction terms.

We explain the potential benefits and drawbacks and see what types of proof-sizes can be achieved.