[Resource Topic] 2022/746: Efficient Proofs of Knowledge for Threshold Relations

Welcome to the resource topic for 2022/746

Title:
Efficient Proofs of Knowledge for Threshold Relations

Authors: Gennaro Avitabile, Vincenzo Botta, Daniele Friolo, and Ivan Visconti

Abstract:

Recently, there has been great interest towards constructing efficient zero-knowledge proofs for practical languages. In this work, we focus on proofs for threshold relations, in which the prover is required to prove knowledge of witnesses for k out of \ell statements. The main contribution of our work is an efficient and modular transformation that starting from a large class of \Sigma-protocols and a corresponding threshold relation \mathcal{R}_\mathsf{k,\ell}, provides an efficient \Sigma-protocol for \mathcal{R}_\mathsf{k,\ell} with improved communication complexity w.r.t. prior results. Moreover, our transformation preserves statistical/perfect honest-verifier zero knowledge.

ePrint: https://eprint.iacr.org/2022/746

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 .