UC Encyclopedia

An index of Universal Composability (UC) ideal functionalities, organized into 9 dependency layers (roughly, each layer builds on the ones before it). Every entry links to its own page; pages are currently stubs — precise definitions, known realizations, and formal artifacts will be filled in over time.

Note: this section may eventually move to a dedicated site of its own, separate from AICR. It is filed under Surveys in the meantime, which is an interim arrangement rather than a decision against that: the two are already entangled in the right direction, since seven of the filled entries were generated from the LaTeX of UC for Gamers.

Browse

All functionalities is the flat view: every entry in one sortable table, with its layer, how established the concept is, and whether the entry has a definition written yet. The nine layers below are the same 104 entries in dependency order, which the flat table cannot show. As of 23 August 2026, 76 carry a transcribed definition, 6 record that no canonical definition exists in the literature, and 22 are still slots with citations and no box; python3 scripts/uc_status.py --check is the authority on that split.

• Idealized Setup and Resources
• Channels, Agreement, Ledgers
• Cryptographic Library and Symmetric Primitives
• Public-Key Primitives, Key Exchange, Messaging
• Commitments and Proofs
• Oblivious Transfer and Correlated Randomness
• Secret Sharing, Threshold Cryptography, MPC
• Privacy and Anonymity
• Time and Application Composites