Pages that link to "Item:Q4997311"
From MaRDI portal
The following pages link to Constant-Round Interactive Proofs for Delegating Computation (Q4997311):
Displaying 11 items.
- Fiat-Shamir for repeated squaring with applications to PPAD-hardness and VDFs (Q2104234) (← links)
- (Q3549691) (← links)
- (Q5093399) (← links)
- Constant-Round Interactive Proof Systems for AC0[2] and NC1 (Q5098783) (← links)
- How to delegate computations (Q5259584) (← links)
- Parallelizable delegation from LWE (Q6114288) (← links)
- A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification (Q6139835) (← links)
- Succinct interactive oracle proofs: applications and limitations (Q6155266) (← links)
- Improved Merlin-Arthur protocols for central problems in fine-grained complexity (Q6174820) (← links)
- Public-coin, complexity-preserving, succinct arguments of knowledge for NP from collision-resistance (Q6637522) (← links)
- Strong batching for non-interactive statistical zero-knowledge (Q6637570) (← links)