Spooky interaction and its discontents: compilers for succinct two-message argument systems

DOI10.1007/978-3-662-53015-3_5MaRDI QIDQ2829945zbMATHOpenAlexFDO

Authors Cynthia Dwork, Moni Naor, Guy N. Rothblum

Publication date 9 November 2016

Published in Advances in Cryptology – CRYPTO 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-53015-3_5

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Polylogarithmic two-round argument systems
• Succinct arguments from multi-prover interactive proofs and their efficiency benefits
• Probabilistically Checkable Arguments
• Automata, Languages and Programming
• Succinct NP Proofs from an Extractability Assumption

Cites work

• scientific article; zbMATH DE number 1670844 (Why is no real title available?)
• scientific article; zbMATH DE number 5485522 (Why is no real title available?)
• scientific article; zbMATH DE number 1304086 (Why is no real title available?)
• scientific article; zbMATH DE number 1088228 (Why is no real title available?)
• Advances in Cryptology - CRYPTO 2003
• Candidate Multilinear Maps from Ideal Lattices
• Candidate indistinguishability obfuscation and functional encryption for all circuits
• Computationally Sound Proofs
• Efficient fully homomorphic encryption from (standard) LWE
• From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
• Fully homomorphic encryption using ideal lattices
• How To Prove Yourself: Practical Solutions to Identification and Signature Problems
• How to delegate computations
• How to use indistinguishability obfuscation
• Interactive proof systems and alternating time-space complexity
• Non-interactive verifiable computing: outsourcing computation to untrusted workers
• On the circular security of bit-encryption
• Polylogarithmic two-round argument systems
• Probabilistically Checkable Arguments
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Short pairing-based non-interactive zero-knowledge arguments
• Space-bounded probabilistic game automata
• Succinct randomized encodings and their applications
• The Knowledge Complexity of Interactive Proof Systems
• Universal Arguments and their Applications

Cited in

(7)

• Succinct NP Proofs from an Extractability Assumption
• Incrementally verifiable computation via incremental PCPs
• Optimal single-server private information retrieval
• Polylogarithmic two-round argument systems
• Probabilistically Checkable Arguments
• Succinct spooky free compilers are not black box sound
• Single-server private information retrieval with sublinear amortized time

This page was built for publication: Spooky interaction and its discontents: compilers for succinct two-message argument systems

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