Boosting batch arguments and RAM delegation
From MaRDI portal
Publication:6499320
Cites work
- Batch arguments for \textsf{NP} and more from standard bilinear group assumptions
- Delegating RAM Computations
- Delegation for bounded space
- Fiat-Shamir: from practice to theory
- How to delegate computations
- How to delegate computations publicly
- Non-interactive batch arguments for NP from standard assumptions
- Non-interactive delegation and batch NP verification from standard computational assumptions
- On the communication complexity of secure function evaluation with long output
- SNARGs for P from sub-exponential DDH and QR
- SNARGs for bounded depth computations and PPAD hardness from sub-exponential LWE
- Separating succinct non-interactive arguments from all falsifiable assumptions
- Somewhere statistical soundness, post-quantum security, and SNARGs
- Trapdoor hash functions and their applications
Cited in
(13)- 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
- Locally verifiable distributed SNARGs
- Lattice-based polynomial commitments: towards asymptotic and concrete efficiency
- 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
- Lattice-based functional commitments: fast verification and cryptanalysis
- Adaptively sound zero-knowledge SNARKs for UP
- A simple and efficient framework of proof systems for NP
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)
