- a trusted device
- wants to solve a problem P.
- relies on a more powerful device to solve.
- a powerful device
- possibly untrusted.
5
Model
- Requirements and properties:
- Efficiency: Relying on Ursula is better than Tim’s computing directly.
- Completeness: Tim can obtain the correct solution from Ursula’s help.
- Soundness: Tim must be with sufficiently high probability to get the correct solution and detect that Ursula is being dishonest.
6
Model