The following pages link to Interactive PCP (Q3519531):
Displaying 24 items.
- Infeasibility of instance compression and succinct PCPs for NP (Q619903) (← links)
- Using fully homomorphic hybrid encryption to minimize non-interative zero-knowledge proofs (Q901372) (← links)
- Toward the KRW composition conjecture: cubic formula lower bounds via communication complexity (Q1616616) (← links)
- SPARKs: succinct parallelizable arguments of knowledge (Q2055636) (← links)
- Secure computation from one-way noisy communication, or: anti-correlation via anti-concentration (Q2128558) (← links)
- Succinct non-interactive arguments via linear interactive proofs (Q2136170) (← links)
- BooLigero: improved sublinear zero knowledge proofs for Boolean circuits (Q2145410) (← links)
- More efficient amortization of exact zero-knowledge proofs for LWE (Q2148770) (← links)
- On succinct non-interactive arguments in relativized worlds (Q2170051) (← links)
- Succinct arguments in the quantum random oracle model (Q2175929) (← links)
- Linear-size constant-query IOPs for delegating computation (Q2175951) (← links)
- Efficient multivariate low-degree tests via interactive oracle proofs of proximity for polynomial codes (Q2692970) (← links)
- Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs (Q2799089) (← links)
- Interactive Oracle Proofs (Q3181021) (← links)
- A Hierarchy Theorem for Interactive Proofs of Proximity (Q4638092) (← links)
- Zero-Knowledge Proofs of Proximity (Q4993282) (← links)
- Fast and Deterministic Constant Factor Approximation Algorithms for LCS Imply New Circuit Lower Bounds (Q4993300) (← links)
- Fast Reed-Solomon Interactive Oracle Proofs of Proximity (Q5002680) (← links)
- Spatial Isolation Implies Zero Knowledge Even in a Quantum World (Q5066952) (← links)
- Constant-Round Interactive Proof Systems for AC0[2] and NC1 (Q5098783) (← links)
- Ligero: lightweight sublinear arguments without a trusted setup (Q6063128) (← links)
- Beyond MPC-in-the-head: black-box constructions of short zero-knowledge proofs (Q6581781) (← links)
- Zero-knowledge IOPs approaching witness length (Q6660294) (← links)
- STIR: Reed-Solomon proximity testing with fewer queries (Q6660306) (← links)
