Zero knowledge protocols from succinct constraint detection

DOI10.1007/978-3-319-70503-3_6MaRDI QIDQ1690269zbMATH OpenOpenAlexFDO

Authors Eli Ben-Sasson, Alessandro Chiesa, Michael A. Forbes, Ariel Gabizon, Michael Riabzev, Nicholas Spooner

Publication date 19 January 2018

Full work available at URL https://doi.org/10.1007/978-3-319-70503-3_6

zbMATH Keywords

zero knowledgepolynomial identity testingprobabilistically checkable proofsinteractive proofssumcheck

Mathematics Subject Classification ID

Randomized algorithms (68W20) Cryptography (94A60) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Linear codes (general theory) (94B05) Network protocols (68M12)

Recommendations

• Quasi-linear size zero knowledge from linear-algebraic PCPs
• scientific article; zbMATH DE number 1559565
• Languages with efficient zero-knowledge PCPs are in SZK
• Probabilistically checkable proofs of proximity with zero-knowledge
• scientific article; zbMATH DE number 7706038

Cited in

(16)

• Distilling Constraints in Zero-Knowledge Protocols
• Beyond MPC-in-the-head: black-box constructions of short zero-knowledge proofs
• Linear-size constant-query IOPs for delegating computation
• Sherlock Holmes zero-knowledge protocols
• Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II
• Proof-carrying data from arithmetized random oracles
• Zero-knowledge proofs of proximity
• Zero-knowledge protocols for the subset sum problem from MPC-in-the-head with rejection
• Spatial Isolation Implies Zero Knowledge Even in a Quantum World
• Secure computation from one-way noisy communication, or: anti-correlation via anti-concentration
• Theory of Cryptography
• Quasi-linear size zero knowledge from linear-algebraic PCPs
• Zero-knowledge elementary databases with more expressive queries
• Zero-knowledge IOPs approaching witness length
• On succinct non-interactive arguments in relativized worlds
• Zero-knowledge IOPs with linear-time prover and polylogarithmic-time verifier

This page was built for publication: Zero knowledge protocols from succinct constraint detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1690269)