Non-interactive batch arguments for NP from standard assumptions
From MaRDI portal
Publication:2139642
DOI10.1007/978-3-030-84259-8_14zbMath1486.68079OpenAlexW3157193347MaRDI QIDQ2139642
Arka Rai Choudhuri, Abhishek Jain, Zhengzhong Jin
Publication date: 18 May 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-84259-8_14
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cryptography (94A60) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (13)
SNARGs for P from sub-exponential DDH and QR ⋮ On Valiant's conjecture. Impossibility of incrementally verifiable computation from random oracles ⋮ SNARGs and PPAD hardness from the decisional Diffie-Hellman assumption ⋮ Non-interactive publicly-verifiable delegation of committed programs ⋮ Batch arguments for \textsf{NP} and more from standard bilinear group assumptions ⋮ Triply adaptive UC NIZK ⋮ Non-interactive universal arguments ⋮ SNARGs for monotone policy batch NP ⋮ Fully succinct batch arguments for \textsf{NP} from indistinguishability obfuscation ⋮ PPAD is as hard as LWE and iterated squaring ⋮ Non-interactive zero-knowledge from non-interactive batch arguments ⋮ Correlation intractability and SNARGs from sub-exponential DDH ⋮ Secure computation with shared EPR pairs (or: how to teleport in zero-knowledge)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- On the complexity of interactive proofs with bounded communication
- On interactive proofs with a laconic prover
- Fiat-Shamir and correlation intractability from strong KDM-secure encryption
- Anonymous IBE, leakage resilience and circular security from new assumptions
- Identity-based encryption from the Diffie-Hellman assumption
- From obfuscation to the security of Fiat-Shamir for proofs
- New constructions of identity-based and key-dependent message secure encryption schemes
- Trapdoor functions from the computational Diffie-Hellman assumption
- Batch verification of short signatures
- Non-interactive zero-knowledge in pairing-free groups from weaker assumptions
- Non-interactive zero knowledge from sub-exponential DDH
- Public-coin statistical zero-knowledge batch verification against malicious verifiers
- Fiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFs
- Spartan: efficient and general-purpose zkSNARKs without trusted setup
- NIZK from LPN and trapdoor hash via correlation intractability for approximable relations
- On adaptive security of delayed-input sigma protocols and Fiat-Shamir NIZKs
- Batch verification and proofs of proximity with polylog overhead
- Batch verification for statistical zero knowledge proofs
- On the (In)security of Kilian-based SNARGs
- Noninteractive zero knowledge for NP from (Plain) Learning With Errors
- Trapdoor hash functions and their applications
- New Realizations of Somewhere Statistically Binding Hashing and Positional Accumulators
- From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
- Secure Two-Party Computation with Low Communication
- Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
- On the Communication Complexity of Secure Function Evaluation with Long Output
- The random oracle methodology, revisited
- Circular and Leakage Resilient Public-Key Encryption under Subgroup Indistinguishability
- How To Prove Yourself: Practical Solutions to Identification and Signature Problems
- Algebraic methods for interactive proof systems
- IP = PSPACE
- Non-interactive delegation and batch NP verification from standard computational assumptions
- Fiat-Shamir: from practice to theory
- Finding a Nash equilibrium is no easier than breaking Fiat-Shamir
- How to delegate computations publicly
- Constant-round interactive proofs for delegating computation
- Separating succinct non-interactive arguments from all falsifiable assumptions
- Advances in Cryptology - CRYPTO 2003
- Recursive composition and bootstrapping for SNARKS and proof-carrying data
- SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE
This page was built for publication: Non-interactive batch arguments for NP from standard assumptions
