Interactive oracle proofs
From MaRDI portal
Recommendations
- Interactive oracle proofs with constant rate and query complexity
- A toolbox for barriers on interactive oracle proofs
- A PCP theorem for interactive proofs and applications
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Linear-size constant-query IOPs for delegating computation
Cites work
- A transform for NIZK almost as efficient and general as the Fiat-Shamir transform without programmable random oracles
- Advances in Cryptology - CRYPTO 2003
- Advances in Cryptology - EUROCRYPT 2004
- Algebraic methods for interactive proof systems
- An efficient transform from sigma protocols to NIZK with a CRS and non-programmable random oracle
- Black-box non-black-box zero knowledge
- Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors
- Computationally Sound Proofs
- Constant rate PCPs for circuit-SAT with sublinear query complexity
- Constant-round interactive proofs for delegating computation
- Delegation for bounded space
- Does co-NP have short interactive proofs ?
- Fiat-Shamir for highly sound protocols is instantiable
- From obfuscation to the security of Fiat-Shamir for proofs
- How to delegate computations
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- scientific article; zbMATH DE number 998060 (Why is no real title available?)
- scientific article; zbMATH DE number 4195165 (Why is no real title available?)
- scientific article; zbMATH DE number 5485522 (Why is no real title available?)
- scientific article; zbMATH DE number 1256636 (Why is no real title available?)
- scientific article; zbMATH DE number 1302862 (Why is no real title available?)
- scientific article; zbMATH DE number 708820 (Why is no real title available?)
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- Interactive Coding for Interactive Proofs
- Interactive locking, zero-knowledge PCPs, and unconditional cryptography
- Interactive oracle proofs
- Interactive PCP
- IP = PSPACE
- Magic functions
- Minimum disclosure proofs of knowledge
- Non-deterministic exponential time has two-prover interactive protocols
- On Efficient Zero-Knowledge PCPs
- On interactive proofs with a laconic prover
- On the complexity of interactive proofs with bounded communication
- On the Composition of Public-Coin Zero-Knowledge Protocols
- On the power of multi-prover interactive protocols
- Polylogarithmic-round interactive proofs for coNP collapse the exponential hierarchy
- Polynomial-Space Approximation of No-Signaling Provers
- Probabilistic checking of proofs
- Probabilistically Checkable Arguments
- Progression-free sets and sublinear pairing-based non-interactive zero-knowledge arguments
- Proof verification and the hardness of approximation problems
- Quadratic span programs and succinct NIZKs without PCPs
- Quasi-linear size zero knowledge from linear-algebraic PCPs
- Robust PSPs of proximity, shorter PSPs and applications to coding
- Security proofs for signature schemes
- Short pairing-based non-interactive zero-knowledge arguments
- Short PCPs with Polylog Query Complexity
- Small PCPs with low query complexity
- Succinct non-interactive arguments via linear interactive proofs
- The Knowledge Complexity of Interactive Proof Systems
- The random oracle methodology, revisited.
- Universal Arguments and their Applications
- Why ``Fiat-Shamir for proofs lacks a proof
- Zero knowledge in the random oracle model, revisited
Cited in
(only showing first 100 items - show all)- Fiat-Shamir and correlation intractability from strong KDM-secure encryption
- Transparent SNARKs from DARK compilers
- SPARKs: succinct parallelizable arguments of knowledge
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Flexible and efficient verifiable computation on encrypted data
- Interactive proofs for social graphs
- Fiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFs
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- TurboIKOS: improved non-interactive zero knowledge and post-quantum signatures
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
- Subquadratic SNARGs in the random oracle model
- An algebraic framework for universal and updatable SNARKs
- Tight state-restoration soundness in the algebraic group model
- \textsf{Mac'n'Cheese}: zero-knowledge proofs for Boolean and arithmetic circuits with nested disjunctions
- Does Fiat-Shamir require a cryptographic hash function?
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- SoK: communication across distributed ledgers
- MPC-in-multi-heads: a multi-prover zero-knowledge proof system (or: how to jointly prove any NP statements in ZK)
- More efficient amortization of exact zero-knowledge proofs for LWE
- Preprocessing succinct non-interactive arguments for rank-1 constraint satisfiability from holographic proofs
- Asymptotically quasi-optimal cryptography
- A PCP theorem for interactive proofs and applications
- Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier
- Fiat-Shamir bulletproofs are non-malleable (in the algebraic group model)
- Gemini: elastic SNARKs for diverse environments
- Succinct arguments in the quantum random oracle model
- Linear-size constant-query IOPs for delegating computation
- On the (In)security of Kilian-based SNARGs
- Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes
- Tight security bounds for Micali's SNARGs
- Interactive Coding for Interactive Proofs
- Interactive oracle proofs
- Zero-knowledge proofs of proximity
- Fast and deterministic constant factor approximation algorithms for LCS imply new circuit lower bounds
- Constant-round interactive proofs for delegating computation
- Fast Reed-Solomon interactive oracle proofs of proximity
- Updateable Inner Product Argument with Logarithmic Verifier and Applications
- Efficient post-quantum SNARKs for RSIS and RLWE and their applications to privacy
- Interactive oracle proofs with constant rate and query complexity
- scientific article; zbMATH DE number 7250164 (Why is no real title available?)
- Computational integrity with a public random string from quasi-linear PCPs
- No-signaling linear PCPs
- No-signaling linear PCPs
- On interactive oracle proofs for Boolean R1CS statements
- Plumo: an ultralight blockchain client
- Witness-succinct universally-composable SNARKs
- Speed-stacking: fast sublinear zero-knowledge proofs for disjunctions
- On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles
- HyperPlonk: Plonk with linear-time prover and high-degree custom gates
- Spartan and bulletproofs are simulation-extractable (for free!)
- Ligero: lightweight sublinear arguments without a trusted setup
- Succinct vector, polynomial, and functional commitments from lattices
- Parallelizable delegation from LWE
- Efficient zero-knowledge arguments in discrete logarithm setting: sublogarithmic proof or sublinear verifier
- Fiat-Shamir transformation of multi-round interactive proofs (Extended version)
- What makes Fiat-Shamir zkSNARKs (updatable SRS) simulation extractable?
- Non-interactive zero-knowledge proofs to multiple verifiers
- Succinct arguments for RAM programs via projection codes
- Brakedown: linear-time and field-agnostic SNARKs for R1CS
- Lattice-based succinct arguments for NP with polylogarithmic-time verification
- Faster sounder succinct arguments and \textsf{IOP}s
- Succinct interactive oracle proofs: applications and limitations
- \(\mathcal{Lunar}\): a toolbox for more efficient universal and updatable zkSNARKs and commit-and-prove extensions
- Lower bound on SNARGs in the random oracle model
- Nova: recursive zero-knowledge arguments from folding schemes
- Quantum rewinding for many-round protocols
- Fiat-Shamir transformation of multi-round interactive proofs
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives
- A toolbox for barriers on interactive oracle proofs
- Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II
- Algebraic reductions of knowledge
- Publicly verifiable zero-knowledge and post-quantum signatures from VOLE-in-the-head
- When Arthur has neither random coins nor time to spare: superfast derandomization of proof systems
- Efficient isogeny proofs using generic techniques
- Fiat-Shamir security of FRI and related SNARKs
- Sigma protocols from verifiable secret sharing and their applications
- Beyond MPC-in-the-head: black-box constructions of short zero-knowledge proofs
- Rogue-instance security for batch knowledge proofs
- Generalized special-sound interactive proofs and their knowledge soundness
- From polynomial IOP and commitments to non-malleable zkSNARKs
- How to compile polynomial IOP into simulation-extractable SNARKs: a modular approach
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- Folding schemes with selective verification
- Interactive oracle arguments in the QROM and applications to succinct verification of quantum computation
- Approximate lower bound arguments
- Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
- SLAP: succinct lattice-based polynomial commitments from standard assumptions
- Loquat: a SNARK-friendly post-quantum signature based on the Legendre PRF with applications in ring and aggregate signatures
- Sometimes you can't distribute random-oracle-based proofs
- FRIDA: data availability sampling from FRI
- On soundness notions for interactive oracle proofs
- Fiat-Shamir bulletproofs are non-malleable (in the Random Oracle Model)
- Zero-knowledge IOPs approaching witness length
- BaseFold: efficient field-agnostic polynomial commitment schemes from foldable codes
- STIR: Reed-Solomon proximity testing with fewer queries
- How to prove statements obliviously?
- On the concrete security of non-interactive FRI
- BOIL: proof-carrying data from accumulation of correlated holographic IOPs
- Study of arithmetization methods for STARKs
This page was built for publication: Interactive oracle proofs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3181021)
