First page Back Continue Last page Overview Graphics
Implications of the UC theorem
Can design and analyze protocols in a modular way:
- Partition a given task T to simpler sub-tasks T1…Tk
- Construct protocols for realizing T1…Tk.
- Construct a protocol for T assuming ideal access to T1…Tk.
- Use the composition theorem to obtain a protocol for T from scratch.
(Analogous to subroutine composition for correctness of programs, but with an added security guarantee.)