Sometimes you can't distribute random-oracle-based proofs
From MaRDI portal
Publication:6652973
Recommendations
- Universally composable \(\varSigma \)-protocols in the global random-oracle model
- Zero-knowledge proofs from secure multiparty computation
- Limits on the Usefulness of Random Oracles
- On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
Cites work
- scientific article; zbMATH DE number 4191103 (Why is no real title available?)
- scientific article; zbMATH DE number 5485433 (Why is no real title available?)
- scientific article; zbMATH DE number 2081084 (Why is no real title available?)
- Advances in Cryptology - CRYPTO 2003
- Aurora: transparent succinct arguments for R1CS
- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
- Guaranteed output in \(O(\sqrt{n})\) rounds for round-robin sampling protocols
- Improved straight-line extraction in the random oracle model with applications to signature aggregation
- Interactive oracle proofs
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Minimizing trust in hardware wallets with two factor signatures
- Non-interactive zero-knowledge proofs in the quantum random oracle model
- On the size of pairing-based non-interactive arguments
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head
- Security proofs for signature schemes
- Snarky ceremonies
- The knowledge complexity of interactive proof-systems
- Transparent SNARKs from DARK compilers
- Triply adaptive UC NIZK
- Universally composable \(\varSigma \)-protocols in the global random-oracle model
- Zero-knowledge proofs on secret-shared data via fully linear PCPs
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
Cited in
(1)
This page was built for publication: Sometimes you can't distribute random-oracle-based proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6652973)
