Interactive PCP
From MaRDI portal
Recommendations
Cited in
(39)- Rate-1 zero-knowledge proofs from one-way functions
- Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries
- Constant-Round Interactive Proof Systems for AC0[2] and NC1
- Fast and deterministic constant factor approximation algorithms for LCS imply new circuit lower bounds
- Spatial Isolation Implies Zero Knowledge Even in a Quantum World
- Zero-knowledge proofs of proximity
- Infeasibility of instance compression and succinct PCPs for NP
- Beyond MPC-in-the-head: black-box constructions of short zero-knowledge proofs
- Secure computation from one-way noisy communication, or: anti-correlation via anti-concentration
- Succinct non-interactive arguments via linear interactive proofs
- A hierarchy theorem for interactive proofs of proximity
- Probabilistically checkable proofs of proximity with zero-knowledge
- Uni/multi variate polynomial embeddings for zkSNARKs
- Short non-interactive cryptographic proofs
- Local proofs approaching the witness length
- Proof-carrying data from arithmetized random oracles
- Ligero: lightweight sublinear arguments without a trusted setup
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits
- More efficient amortization of exact zero-knowledge proofs for LWE
- Interactive oracle proofs
- Quasi-linear size zero knowledge from linear-algebraic PCPs
- Probabilistically Checkable Arguments
- Computational integrity with a public random string from quasi-linear PCPs
- Fast Reed-Solomon interactive oracle proofs of proximity
- On succinct non-interactive arguments in relativized worlds
- Using fully homomorphic hybrid encryption to minimize non-interative zero-knowledge proofs
- SPARKs: succinct parallelizable arguments of knowledge
- Zero-knowledge in streaming interactive proofs
- Linear-size constant-query IOPs for delegating computation
- Succinct arguments in the quantum random oracle model
- Probabilistically checkable arguments for all NP
- STIR: Reed-Solomon proximity testing with fewer queries
- A PCP theorem for interactive proofs and applications
- scientific article; zbMATH DE number 7650350 (Why is no real title available?)
- Zero-knowledge IOPs approaching witness length
- Toward the KRW composition conjecture: cubic formula lower bounds via communication complexity
- Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes
- scientific article; zbMATH DE number 1670844 (Why is no real title available?)
- Succinct interactive oracle proofs: applications and limitations
This page was built for publication: Interactive PCP
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3519531)
