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 l 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 R-k,R-l, provides an efficient Sigma-protocol for R-k,R-l with improved communication complexity w.r.t. prior results. Our transformation preserves statistical/perfect honest-verifier zero knowledge.

Efficient Proofs of Knowledge for Threshold Relations / Avitabile, G.; Botta, V.; Friolo, D.; Visconti, I.. - 13556 LNCS:(2022), pp. 42-62. (Intervento presentato al convegno European Symposium On Research In Computer Security tenutosi a Copenhagen; Denmark) [10.1007/978-3-031-17143-7_3].

Efficient Proofs of Knowledge for Threshold Relations

Botta V.;Friolo D.;Visconti I.
2022

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 l 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 R-k,R-l, provides an efficient Sigma-protocol for R-k,R-l with improved communication complexity w.r.t. prior results. Our transformation preserves statistical/perfect honest-verifier zero knowledge.
2022
European Symposium On Research In Computer Security
Sigma-protocols; Threshold relations; Communication efficiency
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Efficient Proofs of Knowledge for Threshold Relations / Avitabile, G.; Botta, V.; Friolo, D.; Visconti, I.. - 13556 LNCS:(2022), pp. 42-62. (Intervento presentato al convegno European Symposium On Research In Computer Security tenutosi a Copenhagen; Denmark) [10.1007/978-3-031-17143-7_3].
File allegati a questo prodotto
File Dimensione Formato  
Avitabile_Efficient_2022.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 446.72 kB
Formato Adobe PDF
446.72 kB Adobe PDF   Contatta l'autore

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1698900
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 6
social impact