The Bitcoin Backbone Protocol: Analysis and Applications
From MaRDI portal
Recommendations
- The Bitcoin backbone protocol with chains of variable difficulty
- Bitcoin: a game theoretic analysis
- Analysis of the Blockchain Protocol in Asynchronous Networks
- Topological Analysis of Bitcoin’s Lightning Network
- Bitcoin and decentralised trust protocols
- A knowledge-based analysis of the blockchain protocol
Cited in
(only showing first 100 items - show all)- Game theoretic notions of fairness in multi-party coin toss
- Building quantum-one-way functions from block ciphers: Davies-Meyer and Merkle-Damgård constructions
- On the bit security of cryptographic primitives
- But why does it work? A rational protocol design treatment of bitcoin
- The Bitcoin backbone protocol with chains of variable difficulty
- Bitcoin as a transaction ledger: a composable treatment
- Security of the blockchain against long delay attack
- Bootstrapping the blockchain, with applications to consensus and fast PKI setup
- How to build time-lock encryption
- How to extract useful randomness from unreliable sources
- Dynamic ad hoc clock synchronization
- Publicly verifiable zero knowledge from (collapsing) blockchains
- CArrency: an energy-efficient proof-of-work scheme for crypto-currencies
- Decision on block size in blockchain systems by evolutionary equilibrium analysis
- Resource-restricted cryptography: revisiting MPC bounds in the proof-of-work era
- The consensus number of a cryptocurrency
- Fluid MPC: secure multiparty computation with dynamic participants
- A rational protocol treatment of 51\% attacks
- Shielded computations in smart contracts overcoming forks
- Mining for privacy: how to bootstrap a snarky blockchain
- Weight-based Nakamoto-style blockchains
- Blockchain CAP theorem allows user-dependent adaptivity and finality
- PoSAT: proof-of-work availability and unpredictability, without the work
- \textsc{Brick}: asynchronous incentive-compatible payment channels
- Evolutionary equilibrium analysis for decision on block size in blockchain systems
- Proof-of-reputation blockchain with Nakamoto fallback
- Operations research in the blockchain technology
- A search-theoretic model of double-spending fraud
- Fairness and efficiency in DAG-based cryptocurrencies
- Minting mechanism for proof of stake blockchains
- Timed signatures and zero-knowledge proofs -- timestamping in the blockchain era
- On trees, chains and fast transactions in the blockchain
- Survey of information security
- Risk framework for bitcoin custody operation with the revault protocol
- Soft power: upgrading chain macroeconomic policy through soft forks
- SoK: algorithmic incentive manipulation attacks on permissionless PoW cryptocurrencies
- Pay to win: cheap, cross-chain bribing attacks on PoW cryptocurrencies
- Communication complexity of Byzantine agreement, revisited
- ALBATROSS: publicly AttestabLe BATched Randomness based On Secret Sharing
- Etherless Ethereum Tokens: simulating native tokens in Ethereum
- The impact of network delay on Nakamoto consensus mechanism
- Recent results on fault-tolerant consensus in message-passing networks
- Secure high-rate transaction processing in bitcoin
- Indistinguishable proofs of work or knowledge
- Publish or Perish: A Backward-Compatible Defense Against Selfish Mining in Bitcoin
- Designing proof of human-work puzzles for cryptocurrency and beyond
- Compact Storage of Superblocks for NIPoPoW Applications
- Oceanic Games: Centralization Risks and Incentives in Blockchain Mining
- A knowledge-based analysis of the blockchain protocol
- PoW-based distributed cryptography with no trusted setup
- Bitcoin and decentralised trust protocols
- Monopoly without a monopolist: an economic analysis of the bitcoin payment system
- Strategic alliance for blockchain governance game
- Correctness of Tendermint-Core Blockchains
- Resource Burning for Permissionless Systems (Invited Paper)
- Analysis of the Blockchain Protocol in Asynchronous Networks
- Modeling Bitcoin contracts by timed automata
- Monotonic Prefix Consistency in Distributed Systems
- Be aware of your leaders
- \textsc{Hide} \& \textsc{Seek}: privacy-preserving rebalancing on payment channel networks
- The availability-accountability dilemma and its resolution via accountability gadgets
- Permissionless consensus in the resource model
- Achieving almost all blockchain functionalities with polylogarithmic storage
- Short paper: On the claims of weak block synchronization in Bitcoin
- A Novel Two-Stage Game Model for Pricing Cloud/ Fog Computing Resource in Blockchain Systems
- PFLM: privacy-preserving federated learning with membership proof
- Transparent batchable time-lock puzzles and applications to Byzantine consensus
- Multi-stage proof-of-works: properties and vulnerabilities
- Towards reducing delegation overhead in replication-based verification: an incentive-compatible rational delegation computing scheme
- Ofelimos: combinatorial optimization via proof-of-useful-work. A provably secure blockchain protocol
- Formalizing delayed adaptive corruptions and the security of flooding networks
- Practical provably secure flooding for blockchains
- SNACKs: leveraging proofs of sequential work for blockchain light clients
- Encryption to the future. A paradigm for sending secret messages to future (anonymous) committees
- High Performance, Low Energy, and Trustworthy Blockchains Using Satellites
- Market Equilibria and Risk Diversification in Blockchain Mining Economies
- Griefing Factors and Evolutionary In-Stabilities in Blockchain Mining Games
- Better incentives for proof-of-work
- \textsc{Tardigrade}: an atomic broadcast protocol for arbitrary network conditions
- On elapsed time consensus protocols
- Building blocks of sharding blockchain systems: concepts, approaches, and open problems
- Decentralizing information technology: the advent of resource based systems
- Short Paper: Secure Offline Payments in Bitcoin
- Permissionless clock synchronization with public setup
- (Public) verifiability for composable protocols without adaptivity or zero-knowledge
- Completeness theorems for adaptively secure broadcast
- Practical settlement bounds for longest-chain consensus
- Divide \& Scale: formalization and roadmap to robust sharding
- SCRAPE: scalable randomness attested by public entities
- A Secure Cross-Shard View-Change Protocol for Sharding Blockchains
- Bitcoin as a Transaction Ledger: A Composable Treatment
- Auditable attribute-based credentials scheme and its application in contact tracing
- Byzantine generals in the permissionless setting
- Fair delivery of decentralised randomness beacon
- Simplex consensus: a simple and fast consensus protocol
- Process-commutative distributed objects: from cryptocurrencies to Byzantine-fault-tolerant CRDTs
- A mean field game approach to bitcoin mining
- Tagged chameleon hash from lattices and application to redactable blockchain
- Ordering transactions with bounded unfairness: definitions, complexity and constructions
- Asymptotically optimal message dissemination with applications to blockchains
This page was built for publication: The Bitcoin Backbone Protocol: Analysis and Applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2948386)
