Efficient proofs of knowledge for threshold relations

DOI10.1007/978-3-031-17143-7_3MaRDI QIDQ6109456zbMATH OpenOpenAlexFDO

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

Publication date 28 July 2023

Published in Computer Security – ESORICS 2022 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-031-17143-7_3

zbMATH Keywords

\(\varSigma\)-protocolscommunication efficiencythreshold relations

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Zero-knowledge proofs from secure multiparty computation
• Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
• Complex Zero-Knowledge Proofs of Knowledge Are Easy to Use
• Zero knowledge with efficient provers
• scientific article; zbMATH DE number 883898

Cites work

• scientific article; zbMATH DE number 1942438 (Why is no real title available?)
• scientific article; zbMATH DE number 1406779 (Why is no real title available?)
• Compressed $$\varSigma $$-Protocols for Bilinear Group Arithmetic Circuits and Application to Logarithmic Transparent Threshold Signatures
• Compressing proofs of \(k\)-out-of-\(n\) partial knowledge
• Garbling, stacked and staggered. Faster \(k\)-out-of-\(n\) garbled function evaluation
• One-out-of-many proofs: or how to leak a secret and spend a coin
• Online/offline OR composition of sigma protocols
• Scalable zero knowledge with no trusted setup
• Stacked garbling for disjunctive zero-knowledge proofs
• Stacking sigmas: a framework to compose \(\varSigma\)-protocols for disjunctions
• Stronger notions and a more efficient construction of threshold ring signatures
• Threshold ring signatures: new definitions and post-quantum security
• \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions

Cited in

(7)

• Signatures of Knowledge for Boolean Circuits Under Standard Assumptions
• Efficient rational proofs with strong utility-gap guarantees
• scientific article; zbMATH DE number 3999326 (Why is no real title available?)
• Signatures of knowledge for Boolean circuits under standard assumptions
• CDS composition of multi-round protocols
• Compact proofs of partial knowledge for overlapping CNF formulae
• Hybrid zero-knowledge from garbled circuits and circuit-based composition of \(\Sigma \)-protocols

This page was built for publication: Efficient proofs of knowledge for threshold relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6109456)