Delegating computation: interactive proofs for muggles
From MaRDI portal
Publication:3177732
Recommendations
Cited in
(46)- Two protocols for delegation of computation
- Parallelizable delegation from LWE
- Energy complexity of computation
- How to Verify a Quantum Computation
- scientific article; zbMATH DE number 5485522 (Why is no real title available?)
- Functional commitments for arbitrary circuits of bounded sizes
- Non-interactive publicly-verifiable delegation of committed programs
- Witness indistinguishability for any single-round argument with applications to access control
- Outsourcing computation: the minimal refereed mechanism
- Constant-round arguments from one-way functions
- When Arthur has neither random coins nor time to spare: superfast derandomization of proof systems
- scientific article; zbMATH DE number 7250160 (Why is no real title available?)
- \textsc{Fractal}: post-quantum and transparent recursive proofs from holography
- Rational arguments: single round delegation with sublinear verification
- SPARKs: succinct parallelizable arguments of knowledge
- Beyond MPC-in-the-head: black-box constructions of short zero-knowledge proofs
- Holographic SNARGs for P and batch-NP from (polynomially hard) learning with errors
- Interactive proofs of proximity: delegating computation in sublinear time
- Succinct arguments in the quantum random oracle model
- Loquat: a SNARK-friendly post-quantum signature based on the Legendre PRF with applications in ring and aggregate signatures
- Non-interactive delegation and batch NP verification from standard computational assumptions
- Constant-round interactive proofs for delegating computation
- Marlin: preprocessing zkSNARKs with universal and updatable SRS
- Towards reducing delegation overhead in replication-based verification: an incentive-compatible rational delegation computing scheme
- Succinct interactive oracle proofs: applications and limitations
- Refereed delegation of computation
- Competing-provers protocols for circuit evaluation
- Ligero: lightweight sublinear arguments without a trusted setup
- Constant-Round Interactive Proof Systems for AC0[2] and NC1
- Simple doubly-efficient interactive proof systems for locally-characterizable sets
- Practical verified computation with streaming interactive proofs
- Public-coin 3-round zero-knowledge from learning with errors and keyless multi-collision-resistant hash
- Competing provers protocols for circuit evaluation
- Spatial Isolation Implies Zero Knowledge Even in a Quantum World
- Secure and efficient delegation of elliptic-curve pairing
- The power of distributed verifiers in interactive proofs
- Time-optimal interactive proofs for circuit evaluation
- Round-optimal black-box commit-and-prove with succinct communication
- Verifying and decoding in constant depth
- Doubly efficient interactive proofs over infinite and non-commutative rings
- No-signaling linear PCPs
- BaseFold: efficient field-agnostic polynomial commitment schemes from foldable codes
- Zero-knowledge IOPs approaching witness length
- Elimination-based certificates for triangular equivalence and rank profiles
- SNARGs for P from sub-exponential DDH and QR
- Constant-round interactive proofs for delegating computation
This page was built for publication: Delegating computation: interactive proofs for muggles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3177732)
