Subquadratic SNARGs in the random oracle model
From MaRDI portal
Publication:2120100
DOI10.1007/978-3-030-84242-0_25zbMATH Open1485.94073OpenAlexW3157539470MaRDI QIDQ2120100FDOQ2120100
Authors: Alessandro Chiesa, Eylon Yogev 
Publication date: 31 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84242-0_25
Recommendations
- Lower bound on SNARGs in the random oracle model
- Subcomputable Schnorr randomness
- On random oracle separations
- Quasiperiods, subword complexity and the smallest Pisot number
- On higher-order probabilistic subrecursion
- On higher-order probabilistic subrecursion
- Subsampling mathematical relaxations and average-case complexity
Cites Work
- Proof verification and the hardness of approximation problems
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Probabilistic checking of proofs
- Title not available (Why is that?)
- How to Construct Pseudorandom Permutations from Pseudorandom Functions
- On the construction of pseudorandom permutations: Luby-Rackoff revisited
- On the complexity of interactive proofs with bounded communication
- One Way Hash Functions and DES
- Efficient probabilistically checkable proofs and applications to approximations
- Short pairing-based non-interactive zero-knowledge arguments
- Computationally Sound Proofs
- On generalized Feistel networks
- Succinct non-interactive arguments via linear interactive proofs
- Quadratic span programs and succinct NIZKs without PCPs
- Efficient zero-knowledge arguments for arithmetic circuits in the discrete log setting
- Aurora: transparent succinct arguments for R1CS
- Scalable zero knowledge with no trusted setup
- Sub-linear lattice-based zero-knowledge arguments for arithmetic circuits
- Lattice-based SNARGs and their application to more efficient obfuscation
- Interactive oracle proofs
- Quasi-optimal SNARGs via linear multi-prover interactive proofs
- Transparent SNARKs from DARK compilers
- Succinct arguments in the quantum random oracle model
- Barriers for succinct arguments in the random oracle model
- Polynomially low error PCPs with \(\operatorname{polyloglog} n\) queries via modular composition
Cited In (11)
- Subvector commitments with application to succinct arguments
- Scalable and transparent proofs over all large fields, via elliptic curves. ECFFT. II
- Quasi-optimal SNARGs via linear multi-prover interactive proofs
- On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles
- Correlation intractability and SNARGs from sub-exponential DDH
- Asymptotically quasi-optimal cryptography
- SNARGs for P from sub-exponential DDH and QR
- Succinct arguments in the quantum random oracle model
- Somewhere statistical soundness, post-quantum security, and SNARGs
- Tight security bounds for Micali's SNARGs
- Lower bound on SNARGs in the random oracle model
Uses Software
This page was built for publication: Subquadratic SNARGs in the random oracle model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2120100)
