[Resource Topic] 2020/1448: Shorter Lattice-Based Zero-Knowledge Proofs via One-Time Commitments

Welcome to the resource topic for 2020/1448

Title:
Shorter Lattice-Based Zero-Knowledge Proofs via One-Time Commitments

Authors: Vadim Lyubashevsky, Ngoc Khanh Nguyen, Gregor Seiler

Abstract:

There has been a lot of recent progress in constructing efficient zero-knowledge proofs for showing knowledge of an \vec{\mathbf{s}} with small coefficients satisfying \bm{A}\vec{\mathbf{s}}=\vec{\mathbf{t}}. For typical parameters, the proof sizes have gone down from several megabytes to a bit under $50$KB (Esgin et al., Asiacrypt 2020). These are now within an order of magnitude of the sizes of lattice-based signatures, which themselves constitute proof systems which demonstrate knowledge of something weaker than the aforementioned equation. One can therefore see that this line of research is approaching optimality. In this paper, we modify a key component of these proofs, as well as apply several other tweaks, to achieve a further reduction of around 30\% in the proof output size. We also show that this savings propagates itself when these proofs are used in a general framework to construct more complex protocols.

ePrint: https://eprint.iacr.org/2020/1448

Talk: https://www.youtube.com/watch?v=SiEWW_bPXbs

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .