Pages that link to "Item:Q4993281"
From MaRDI portal
The following pages link to Simple doubly-efficient interactive proof systems for locally-characterizable sets (Q4993281):
Displaying 7 items.
- Fine-grained secure computation (Q1631318) (← links)
- Proofs of Work from worst-case assumptions (Q1673424) (← links)
- On Doubly-Efficient Interactive Proof Systems (Q4571853) (← links)
- Worst-Case to Average-Case Reductions for Subclasses of P (Q5098780) (← links)
- Constant-Round Interactive Proof Systems for AC0[2] and NC1 (Q5098783) (← links)
- Doubly efficient interactive proofs over infinite and non-commutative rings (Q6169369) (← links)
- Improved Merlin-Arthur protocols for central problems in fine-grained complexity (Q6174820) (← links)