Bitcoin as a Transaction Ledger: A Composable Treatment

DOI10.1007/S00145-024-09493-7MaRDI QIDQ6489334

Vassilis Zikas, Christian Badertscher, Ueli M. Maurer, Daniel Tschudi

Publication date: 21 April 2024

Published in: Journal of Cryptology (Search for Journal in Brave)

Mathematics Subject Classification ID

Cryptography (94A60) Macroeconomic theory (monetary models, models of taxation) (91B64) Authentication, digital signatures and secret sharing (94A62)

Cites Work

• The wonderful world of global random oracles
• The Bitcoin backbone protocol with chains of variable difficulty
• Bitcoin as a transaction ledger: a composable treatment
• Universal composition with global subroutines: capturing global setup within plain UC
• Composition with knowledge assumptions
• Algorand: a secure and efficient distributed ledger
• On the (Ir)replaceability of global setups, or how (not) to use a global ledger
• How to Use Bitcoin to Design Fair Protocols
• Secure High-Rate Transaction Processing in Bitcoin
• The Bitcoin Backbone Protocol: Analysis and Applications
• Constant-Round Asynchronous Multi-Party Computation Based on One-Way Functions
• PoW-Based Distributed Cryptography with No Trusted Setup
• Universally Composable Security with Global Setup
• The Byzantine Generals Problem
• Universally Composable Synchronous Computation
• Universally Composable Security
• Analysis of the Blockchain Protocol in Asynchronous Networks
• FruitChains
• Fair and Robust Multi-party Computation Using a Global Transaction Ledger
• Concentration of Measure for the Analysis of Randomized Algorithms

This page was built for publication: Bitcoin as a Transaction Ledger: A Composable Treatment