English
Related papers

Related papers: Model Checking Bitcoin and other Proof-of-Work Con…

200 papers

Blockchain technology has developed significantly over the last decade. One of the reasons for this is its sustainability architecture, which does not allow modification of the history of committed transactions. That means that developers…

Logic in Computer Science · Computer Science 2021-09-08 Ivan Fedotov , Anton Khritankov

Bitcoin mining is a wasteful and resource-intensive process. To add a block of transactions to the blockchain, miners spend a considerable amount of energy. The Bitcoin protocol, named 'proof of work' (PoW), resembles a lottery and the…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-01-28 Andrei Lihu , Jincheng Du , Igor Barjaktarevic , Patrick Gerzanics , Mark Harvilla

Since the inception of Bitcoin, cryptocurrencies and the underlying blockchain technology have attracted an increasing interest from both academia and industry. Among various core components, consensus protocol is the defining technology…

Cryptography and Security · Computer Science 2020-02-21 Yang Xiao , Ning Zhang , Wenjing Lou , Y. Thomas Hou

Blockchain is a novel technology that is rising a lot of interest in the industrial and re- search sectors because its properties of decentralisation, immutability and data integrity. Initially, the underlying consensus mechanism has been…

Cryptography and Security · Computer Science 2018-05-10 Stefano De Angelis

We analyze how secure a block is after the block becomes $k$-deep, i.e., security-latency, for Nakamoto consensus under an exponential network delay model. We provide the fault tolerance and extensive bounds on safety violation…

Cryptography and Security · Computer Science 2025-10-22 Mustafa Doger , Sennur Ulukus

Proof-of-Work (PoW) consensus is traditionally analyzed under the assumption that all miners incur similar costs per unit of computational effort. In reality, costs vary due to factors such as regional electricity cost differences and…

Computer Science and Game Theory · Computer Science 2025-05-29 Yogev Bar-On , Ilan Komargodski , Omri Weinstein

Blockchain protocols differ in fundamental ways, including the mechanics of selecting users to produce blocks (e.g., proof-of-work vs. proof-of-stake) and the method to establish consensus (e.g., longest chain rules vs. BFT-inspired…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-19 Andrew Lewis-Pye , Tim Roughgarden

Decentralized systems built around blockchain technology promise clients an immutable ledger. They add a transaction to the ledger after it undergoes consensus among the replicas that run a Proof-of-Stake (PoS) or Byzantine Fault-Tolerant…

Cryptography and Security · Computer Science 2025-08-08 Junchao Chen , Suyash Gupta , Alberto Sonnino , Lefteris Kokoris-Kogias , Mohammad Sadoghi

Blockchain, the technology behind the popular Bitcoin, is considered a "security by design" system as it is meant to create security among a group of distrustful parties yet without a central trusted authority. The security of blockchain…

Cryptography and Security · Computer Science 2020-09-02 Yang Xiao , Ning Zhang , Wenjing Lou , Y. Thomas Hou

Blockchain protocols differ in fundamental ways, including the mechanics of selecting users to produce blocks (e.g., proof-of-work vs. proof-of-stake) and the method to establish consensus (e.g., longest chain rules vs. Byzantine…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-05 Andrew Lewis-Pye , Tim Roughgarden

In the white book of Bitcion, Satoshi Nakamoto described a bitcoin system that can realize point-to-point online payment without a third-party organization. After supporting this magical application scenario and subverting the traditional…

Cryptography and Security · Computer Science 2022-09-26 Shi Yan

We study efficiency in a proof-of-work blockchain with non-zero latencies, focusing in particular on the (inequality in) individual miners' efficiencies. Prior work attributed differences in miners' efficiencies mostly to attacks, but we…

Cryptography and Security · Computer Science 2021-06-08 Mohamed Alzayat , Johnnatan Messias , Balakrishnan Chandrasekaran , Krishna P. Gummadi , Patrick Loiseau

Consensus protocols used today in blockchains often rely on computational power or financial stakes - scarce resources. We propose a novel protocol using social capital - trust and influence from social interactions - as a non-transferable…

Cryptography and Security · Computer Science 2025-11-06 Juraj Mariani , Ivan Homoliak

The core of many cryptocurrencies is the decentralised validation network operating on proof-of-work technology. In these systems, validation is done by so-called miners who can digitally sign blocks once they solve a computationally-hard…

Cryptography and Security · Computer Science 2023-05-04 Sheng-Nan Li , Carlo Campajola , Claudio J. Tessone

We analyze the economic incentives generated by the proof-of-stake mechanism discussed in the Ethereum Casper upgrade proposal. Compared with proof-of-work, proof-of-stake has a different cost structure for attackers. In Budish (2018),…

Cryptography and Security · Computer Science 2018-07-26 George Gui , Ali Hortacsu , Jose Tudon

In blockchain systems, especially cryptographic currencies such as Bitcoin, the double-spending and Byzantine-general-like problem are solved by reaching consensus protocols among all nodes. The state-of-the-art protocols include…

Cryptography and Security · Computer Science 2018-08-02 Jianwen Chen , Kai Duan , Rumin Zhang , Liaoyuan Zeng , Wenyi Wang

Blockchain is a type of decentralized distributed network which acts as an immutable digital ledger. Despite the absence of any central governing authority to validate the blocks in the ledger, it is considered secure and immutable due to…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-09-07 Shashank Joshi

Proof-of-Work (PoW) is a popular blockchain consensus algorithm that is used in cryptocurrencies like Bitcoin in which hashing operations are repeated until the resulting hash has certain properties. This approach uses lots of computational…

Cryptography and Security · Computer Science 2022-09-09 Felix Hoffmann

Bitcoin is the most secure blockchain in the world, supported by the immense hash power of its Proof-of-Work miners. Proof-of-Stake chains are energy-efficient, have fast finality but face several security issues: susceptibility to…

Cryptography and Security · Computer Science 2025-02-04 Ertem Nusret Tas , David Tse , Fangyu Gai , Sreeram Kannan , Mohammad Ali Maddah-Ali , Fisher Yu

This paper presents a comprehensive refutation of the so-called "blockchain trilemma," a widely cited but formally ungrounded claim asserting an inherent trade-off between decentralisation, security, and scalability in blockchain protocols.…

Cryptography and Security · Computer Science 2025-07-30 Craig Wright