Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
From MaRDI portal
Publication:6637522
DOI10.1007/978-3-031-58737-5_5MaRDI QIDQ6637522FDOQ6637522
Authors: Cody Freitag, Omer Paneth, Rafael Pass 
Publication date: 13 November 2024
Recommendations
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- Proving as fast as computing: succinct arguments with constant prover overhead
- Fast reductions from RAMs to delegatable succinct constraint satisfaction problems
- Succinct arguments from multi-prover interactive proofs and their efficiency benefits
- Faster sounder succinct arguments and \textsf{IOP}s
Analysis of algorithms and problem complexity (68Q25) Cryptography (94A60) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Communication complexity, information complexity (68Q11)
Cites Work
- Constant rate PCPs for circuit-SAT with sublinear query complexity
- Short PCPs with Polylog Query Complexity
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Interactive proofs and the hardness of approximating cliques
- Title not available (Why is that?)
- Parallel coin-tossing and constant-round secure two-party computation
- Title not available (Why is that?)
- Universal Arguments and their Applications
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to delegate computations
- Separating succinct non-interactive arguments from all falsifiable assumptions
- The PCP theorem by gap amplification
- Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries
- Succinct non-interactive arguments via linear interactive proofs
- Quadratic span programs and succinct NIZKs without PCPs
- On the concrete efficiency of probabilistically-checkable proofs
- Local zero knowledge
- A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Title not available (Why is that?)
- How to delegate computations publicly
- Succinct delegation for low-space non-deterministic computation
- Scalable zero knowledge with no trusted setup
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Interactive oracle proofs
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency
- On zero-testable homomorphic encryption and publicly verifiable non-interactive arguments
- Limits of extractability assumptions with distributional auxiliary input
- Recursive composition and bootstrapping for SNARKs and proof-carrying data
- The hunting of the SNARK
- Succinct arguments from multi-prover interactive proofs and their efficiency benefits
- Delegating RAM Computations
- Constant-Size Commitments to Polynomials and Their Applications
- Transparent SNARKs from DARK compilers
- SPARKs: succinct parallelizable arguments of knowledge
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- Zero-knowledge proofs on secret-shared data via fully linear PCPs
- Non-interactive delegation and batch NP verification from standard computational assumptions
- Fast Reed-Solomon interactive oracle proofs of proximity
- Interactive oracle proofs with constant rate and query complexity
- Public-coin zero-knowledge arguments with (almost) minimal time and space overheads
- Constant-round interactive proofs for delegating computation
- Time- and space-efficient arguments from groups of unknown order
- SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE
- SNARGs for P from sub-exponential DDH and QR
- On the existence of extractable one-way functions
- On black-box constructions of time and space efficient sublinear arguments from symmetric-key primitives
- Polynomial IOPs for linear algebra relations
- Parallelizable delegation from LWE
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- SNARGs for monotone policy batch NP
- Correlation intractability and SNARGs from sub-exponential DDH
- Boosting batch arguments and RAM delegation
Cited In (3)
This page was built for publication: Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6637522)
