Goals of UC:
Provide a theoretically sound method of composing cryptographic components.
References
A UC crash course is given in Appendix B of
C∅C∅: A Framework for Building Composable Zero-Knowledge Proofs