An efficient transform from sigma protocols to NIZK with a CRS and non-programmable random oracle

DOI10.1007/978-3-662-46494-6_5MaRDI QIDQ5261625zbMATH OpenOpenAlexFDO

Authors Yehuda Lindell

Publication date 6 July 2015

Published in Theory of Cryptography (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46494-6_5

zbMATH Keywords

non-interactive zero-knowledge proofcommon reference string modelFiat-Shamir type transform

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• A transform for NIZK almost as efficient and general as the Fiat-Shamir transform without programmable random oracles
• Non-interactive zero knowledge \textit{proofs} in the random oracle model
• On the Non-malleability of the Fiat-Shamir Transform
• On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs
• Fiat-Shamir: from practice to theory

Cited in

(28)

• Efficient zero-knowledge proof of algebraic and non-algebraic statements with applications to privacy preserving credentials
• Non-interactive zero knowledge \textit{proofs} in the random oracle model
• ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing
• Confidential and efficient asset proof for bitcoin exchanges
• Making Sigma-protocols non-interactive without random oracles
• A transform for NIZK almost as efficient and general as the Fiat-Shamir transform without programmable random oracles
• A new simple technique to bootstrap various lattice zero-knowledge proofs to QROM secure NIZKs
• Efficient NIZK arguments with straight-line simulation and extraction
• Fiat-Shamir for highly sound protocols is instantiable
• Improved OR-composition of sigma-protocols
• Fiat-Shamir for highly sound protocols is instantiable
• Efficient and round-optimal oblivious transfer and commitment with adaptive security
• CRS-updatable asymmetric quasi-adaptive NIZK arguments
• Augmented random oracles
• Interactive oracle proofs
• Optimally sound sigma protocols under DCRA
• Signatures from sequential-OR proofs
• Non-interactive composition of sigma-protocols via Share-then-Hash
• A generic transform from multi-round interactive proof to NIZK
• Single-to-multi-theorem transformations for non-interactive statistical zero-knowledge
• On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs
• Non-interactive zero-knowledge in pairing-free groups from weaker assumptions
• \(k\)-critical graphs in \(P_5\)-free graphs
• CDS composition of multi-round protocols
• Universally composable \(\varSigma \)-protocols in the global random-oracle model
• Acyclicity programming for sigma-protocols
• An Efficient Compiler from Σ-Protocol to 2-Move Deniable Zero-Knowledge
• Simulatable verifiable random function from the LWE assumption

This page was built for publication: An efficient transform from sigma protocols to NIZK with a CRS and non-programmable random oracle

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