F-ledger — Transaction ledger

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

References:

• Badertscher et al. Bitcoin as a transaction ledger: A composable treatment. In Advances in Cryptology – CRYPTO 2017, 2017.