Pages that link to "Item:Q1675446"
From MaRDI portal
The following pages link to Efficient rational proofs for space bounded computations (Q1675446):
Displaying 8 items.
- Space bounded computations: Review and new separation results (Q1176238) (← links)
- Efficient rational proofs with strong utility-gap guarantees (Q1617659) (← links)
- Fine-grained secure computation (Q1631318) (← links)
- Simple proofs of space-time and rational proofs of storage (Q2181858) (← links)
- Tight proofs of space and replication (Q2292875) (← links)
- A framework for space complexity in algebraic proof systems (Q2796410) (← links)
- (Q5075766) (← links)
- Incrementally Verifiable Computation or Proofs of Knowledge Imply Time/Space Efficiency (Q5445495) (← links)