Succinct arguments in the quantum random oracle model (Q2175929): Difference between revisions

@@ Property / cites work @@
+Quantum lower bounds for the collision and the element distinctness problems
+Normal rank
@@ Property / cites work @@
+Proof verification and the hardness of approximation problems
+Normal rank
@@ Property / cites work @@
+Probabilistic checking of proofs
@@ Property / cites work: Probabilistic checking of proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
+Normal rank
@@ Property / cites work @@
+Concretely-Efficient Zero-Knowledge Arguments for Arithmetic Circuits and Their Application to Lattice-Based Cryptography
+Normal rank
@@ Property / cites work @@
+Scalable zero knowledge with no trusted setup
@@ Property / cites work: Scalable zero knowledge with no trusted setup / rank @@
+Normal rank
@@ Property / cites work @@
+Aurora: transparent succinct arguments for R1CS
@@ Property / cites work: Aurora: transparent succinct arguments for R1CS / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive Oracle Proofs
@@ Property / cites work: Interactive Oracle Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Succinct Non-interactive Arguments via Linear Interactive Proofs
+Normal rank
@@ Property / cites work @@
+Random Oracles in a Quantum World
@@ Property / cites work: Random Oracles in a Quantum World / rank @@
+Normal rank
@@ Property / cites work @@
+Lattice-Based SNARGs and Their Application to More Efficient Obfuscation
+Normal rank
@@ Property / cites work @@
+Quasi-optimal SNARGs via linear multi-prover interactive proofs
+Normal rank
@@ Property / cites work @@
+Minimum disclosure proofs of knowledge
@@ Property / cites work: Minimum disclosure proofs of knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum cryptanalysis of hash and claw-free functions
+Normal rank
@@ Property / cites work @@
+Fiat-Shamir: from practice to theory
@@ Property / cites work: Fiat-Shamir: from practice to theory / rank @@
+Normal rank
@@ Property / cites work @@
+The Fiat–Shamir Transformation in a Quantum World
+Normal rank
@@ Property / cites work @@
+Rapid solution of problems by quantum computation
@@ Property / cites work: Rapid solution of problems by quantum computation / rank @@
+Normal rank
@@ Property / cites work @@
+Security of the Fiat-Shamir transformation in the quantum random-oracle model
+Normal rank
@@ Property / cites work @@
+Q4318695
@@ Property / cites work: Q4318695 / rank @@
+Normal rank
@@ Property / cites work @@
+Leighton-Micali hash-based signatures in the quantum random-oracle model
+Normal rank
@@ Property / cites work @@
+Interactive proofs and the hardness of approximating cliques
+Normal rank
@@ Property / cites work @@
+How To Prove Yourself: Practical Solutions to Identification and Signature Problems
+Normal rank
@@ Property / cites work @@
+Separating succinct non-interactive arguments from all falsifiable assumptions
+Normal rank
@@ Property / cites work @@
+On the complexity of interactive proofs with bounded communication
+Normal rank
@@ Property / cites work @@
+On interactive proofs with a laconic prover
@@ Property / cites work: On interactive proofs with a laconic prover / rank @@
+Normal rank
@@ Property / cites work @@
+Delegating Computation
@@ Property / cites work: Delegating Computation / rank @@
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Q4228473
@@ Property / cites work: Q4228473 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive PCP
@@ Property / cites work: Interactive PCP / rank @@
+Normal rank
@@ Property / cites work @@
+Q4527017
@@ Property / cites work: Q4527017 / rank @@
+Normal rank
@@ Property / cites work @@
+A concrete treatment of Fiat-Shamir signatures in the quantum random-oracle model
+Normal rank
@@ Property / cites work @@
+Revisiting post-quantum Fiat-Shamir
@@ Property / cites work: Revisiting post-quantum Fiat-Shamir / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic methods for interactive proof systems
@@ Property / cites work: Algebraic methods for interactive proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Proofs
@@ Property / cites work: Computationally Sound Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+Security Proofs for Signature Schemes
@@ Property / cites work: Security Proofs for Signature Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Constant-round interactive proofs for delegating computation
+Normal rank
@@ Property / cites work @@
+Post-Quantum Security of the Fujisaki-Okamoto and OAEP Transforms
+Normal rank
@@ Property / cites work @@
+Non-Interactive Zero-Knowledge Proofs in the Quantum Random Oracle Model
+Normal rank
@@ Property / cites work @@
+Post-quantum security of Fiat-Shamir
@@ Property / cites work: Post-quantum security of Fiat-Shamir / rank @@
+Normal rank
@@ Property / cites work @@
+Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
+Normal rank
@@ Property / cites work @@
+Zero-knowledge against quantum attacks
@@ Property / cites work: Zero-knowledge against quantum attacks / rank @@
+Normal rank
@@ Property / cites work @@
+Secure Identity-Based Encryption in the Quantum Random Oracle Model
+Normal rank
@@ Property / cites work @@
+How to record quantum queries, and applications to quantum indifferentiability
+Normal rank