G-ledger — Global ledger, irreplaceability

G-ledger (Global ledger, irreplaceability) is part of Channels, Agreement, Ledgers in the UC functionality encyclopedia. Status: a canonical, well-established UC functionality.

References:

• Badertscher, Maurer, Tschudi, and Zikas. Bitcoin as a transaction ledger: A composable treatment. In Advances in Cryptology – CRYPTO 2017, Part I, volume 10401 of LNCS, pages 324–356, 2017.
• Badertscher, Hesse, and Zikas. On the (ir)replaceability of global setups, or how (not) to use a global ledger. In 19th Theory of Cryptography Conference (TCC), Part II, 2021.