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 Conjura. 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

• 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