Bitcoin as a Transaction Ledger: A Composable Treatment
From MaRDI portal
Publication:6489334
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)
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
