A Composability Treatment of Bitcoin’s Transaction Ledger with Variable Difficulty
- 2 January 2026
- book chapter
- Published by Springer Nature
- p. 233-248
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Completeness Theorems for Adaptively Secure Broadcast2023
- Resource-Restricted Cryptography: Revisiting MPC Bounds in the Proof-of-Work Era2020
- SoK: A Consensus Taxonomy in the Blockchain Era2020
- iUC: Flexible Universal Composability Made Simple2019
- The Bitcoin Backbone Protocol with Chains of Variable Difficulty2017
- Bitcoin as a Transaction Ledger: A Composable Treatment2017
- How to Simulate It – A Tutorial on the Simulation Proof Technique2017
- Analysis of the Blockchain Protocol in Asynchronous Networks2017
- Universally Composable Synchronous Computation2013
- Pricing via Processing or Combatting Junk Mail2001