Sometimes you can't distribute random-oracle-based proofs
From MaRDI portal
Publication:6652973
DOI10.1007/978-3-031-68388-6_12MaRDI QIDQ6652973
Leah Namisa Rosenbloom, Jack Doerner, Yashvanth Kondi
Publication date: 13 December 2024
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Transparent SNARKs from DARK compilers
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- Guaranteed output in \(O(\sqrt{n})\) rounds for round-robin sampling protocols
- Aurora: transparent succinct arguments for R1CS
- Zero-knowledge proofs on secret-shared data via fully linear PCPs
- Minimizing trust in hardware wallets with two factor signatures
- Security Proofs for Signature Schemes
- Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model
- Interactive Oracle Proofs
- Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
- The knowledge complexity of interactive proof-systems
- Advances in Cryptology - CRYPTO 2003
- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
- On the Size of Pairing-Based Non-interactive Arguments
- Improved straight-line extraction in the random oracle model with applications to signature aggregation
- Triply adaptive UC NIZK
- Snarky ceremonies
- Universally composable \(\varSigma \)-protocols in the global random-oracle model
- Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head
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)