Boosting batch arguments and RAM delegation
From MaRDI portal
Publication:6499320
DOI10.1145/3564246.3585200MaRDI QIDQ6499320FDOQ6499320
Authors: Yael Kalai, Alex Lombardi, Vinod Vaikuntanathan, Daniel Wichs
Publication date: 8 May 2024
Cites Work
- How to delegate computations
- Separating succinct non-interactive arguments from all falsifiable assumptions
- How to delegate computations publicly
- On the Communication Complexity of Secure Function Evaluation with Long Output
- Delegating RAM Computations
- Delegation for bounded space
- Trapdoor hash functions and their applications
- Non-interactive delegation and batch NP verification from standard computational assumptions
- Fiat-Shamir: from practice to theory
- Non-interactive batch arguments for NP from standard assumptions
- SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE
- SNARGs for P from sub-exponential DDH and QR
- Somewhere statistical soundness, post-quantum security, and SNARGs
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
Cited In (13)
- A simple and efficient framework of proof systems for NP
- Locally verifiable distributed SNARGs
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- Lattice-based functional commitments: fast verification and cryptanalysis
- Rate-1 fully local somewhere extractable hashing from DDH
- Succinct functional commitments for circuits from \(k\)-\textsf{Lin}
- Monotone-policy aggregate signatures
- Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance
- Strong batching for non-interactive statistical zero-knowledge
- Fully-succinct multi-key homomorphic signatures from standard assumptions
- Non-interactive zero-knowledge from LPN and MQ
- Reducing the CRS size in registered ABE systems
- Adaptively sound zero-knowledge SNARKs for UP
This page was built for publication: Boosting batch arguments and RAM delegation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6499320)