The following pages link to Rational proofs (Q5415532):
Displaying 10 items.
- Outsourcing computation: the minimal refereed mechanism (Q777972) (← links)
- Rational responses and rational conjectures (Q1072915) (← links)
- Fine-grained secure computation (Q1631318) (← links)
- Socratic proofs (Q1876085) (← links)
- Rational Sumchecks (Q2799100) (← links)
- Rational proofs with multiple provers (Q2800569) (← links)
- (Q4824968) (← links)
- (Q5075766) (← links)
- Rationality Proofs by Curve Counting (Q5866497) (← links)
- Sumcheck-based delegation of quantum computing to rational server (Q5925559) (← links)