English
Related papers

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

200 papers

Proof-of-work allows Bitcoin to boast security amidst arbitrary fluctuations in participation of miners throughout time, so long as, at any point in time, a majority of hash power is honest. In recent years, however, the pendulum has…

Cryptography and Security · Computer Science 2025-08-12 Yuval Efron , Joachim Neu , Toniann Pitassi

To address the large amount of energy wasted by blockchains, we propose a decentralized consensus protocol for blockchains in which the computation can be used to search for good approximate solutions to any optimization problem. Our…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-12-03 Naoki Shibata

Bitcoin is a peer-to-peer cryptographic currency system. Since its introduction in 2008, Bitcoin has gained noticeable popularity, mostly due to its following properties: (1) the transaction fees are very low, and (2) it is not controlled…

Cryptography and Security · Computer Science 2014-07-01 Marcin Andrychowicz , Stefan Dziembowski , Daniel Malinowski , Łukasz Mazurek

In this paper, we identify a new form of attack, called the Balance attack, against proof-of-work blockchain systems. The novelty of this attack consists of delaying network communications between multiple subgroups of nodes with balanced…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-01-02 Christopher Natoli , Vincent Gramoli

Selfish Mining is strategic rule-breaking to maximize rewards in proof-of-work protocols [3] and Markov Decision Processes (MDPs) are the preferred tool for finding optimal strategies in Bitcoin [4, 10] and similar linear chain protocols…

Cryptography and Security · Computer Science 2024-05-01 Patrik Keller

In a Proof-of-Work blockchain such as Bitcoin mining hashrate is increasing in the block reward. An increase in hashrate reduces network vulnerability to attack (a reduction in security cost) while increasing carbon emissions and…

Cryptography and Security · Computer Science 2025-08-25 Daniel Aronoff

Bitcoin is a popular digital currency for online payments, realized as a decentralized peer-to-peer electronic cash system. Bitcoin keeps a ledger of all transactions; the majority of the participants decides on the correct ledger. Since…

Logic in Computer Science · Computer Science 2015-11-16 Kaylash Chaudhary , Ansgar Fehnker , Jaco van de Pol , Marielle Stoelinga

We study the applicability of blockchain technology for distributed event detection under resource constraints. Therefore we provide a test-suite with several promising consensus methods (Proof-of-Work, Proof-of-Stake, Distributed…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-10-07 Cedric Sanders , Thomas Liebig

In a blockchain system, consensus protocol as an incentive and security mechanism, is to ensure the participants to build the block honestly and effectively. There are different consensus protocols for blockchain, like Proof of work (PoW),…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-03-25 Zhongli Dong , Young Choon Lee , Albert Y. Zomaya

Byzantine Fault Tolerant (BFT) consensus forms the foundation of many modern blockchains striving for both high throughput and low latency. A growing bottleneck is transaction execution and validation on the critical path of consensus,…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-02-25 Ignacio Amores-Sesar , Mirza Ahad Baig , Seth Gilbert , Ray Neiheiser , Michelle X. Yeo

A hard-fork reconfiguration of the peer to peer Bitcoin network is described that substitutes tamper-evident logs and proof-of-stake consensus for proof-of-work consensus. The block creation rewards and transaction fees are reallocated to…

Computers and Society · Computer Science 2014-05-23 Stephen L. Reed

Bitcoin is the first successful decentralized global digital cash system. Its mining process requires intense computational resources, therefore its usefulness remains a disputable topic. We aim to solve three problems with Bitcoin and…

Cryptography and Security · Computer Science 2016-08-25 Alexander Chepurnoy , Mario Larangeira , Alexander Ojiganov

The progress of deep learning (DL), especially the recent development of automatic design of networks, has brought unprecedented performance gains at heavy computational cost. On the other hand, blockchain systems routinely perform a huge…

Cryptography and Security · Computer Science 2020-07-31 Yixiao Lan , Yuan Liu , Boyang Li

This paper presents a comprehensive comparative analysis of two dominant blockchain consensus mechanisms, Proof of Work (PoW) and Proof of Stake (PoS), evaluated across seven critical metrics: energy use, security, transaction speed,…

Cryptography and Security · Computer Science 2025-11-24 Kaeli Andrews , Linh B. Ngo , Md Amiruzzaman

Current blockchain protocols (e.g., Proof-of-Work and Proof-of-Stake) secure the ledger yet cannot measure validator trustworthiness, allowing subtle misconduct that is especially damaging in decentralized-finance (DeFi) settings. We…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-06-30 Ailiya Borjigin , Wei Zhou , Cong He

We present parallel proof-of-work with DAG-style voting, a novel proof-of-work cryptocurrency protocol that, compared to Bitcoin, provides better consistency guarantees, higher transaction throughput, lower transaction confirmation latency,…

Cryptography and Security · Computer Science 2023-12-07 Patrik Keller

A proof of work (PoW) is an important cryptographic construct enabling a party to convince others that they invested some effort in solving a computational task. Arguably, its main impact has been in the setting of cryptocurrencies such as…

Quantum Physics · Physics 2023-03-15 Alexandru Cojocaru , Juan Garay , Aggelos Kiayias , Fang Song , Petros Wallden

Bitcoin is the first fully-decentralized permissionless blockchain protocol to achieve a high level of security, but at the expense of poor throughput and latency. Scaling the performance of Bitcoin has a been a major recent direction of…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-02-20 Lei Yang , Xuechao Wang , Vivek Bagaria , Gerui Wang , Mohammad Alizadeh , David Tse , Giulia Fanti , Pramod Viswanath

PAI Coin's Proof-of-Work (PoW) consensus mechanism utilizes the double SHA-256 hashing protocol-- the same mechanism used by Bitcoin Core. This compatibility with classic Bitcoin-style mining provides low barrier to entry for PAI Coin…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-22 Mark Harvilla , Jincheng Du

The security of most existing cryptocurrencies is based on a concept called Proof-of-Work, in which users must solve a computationally hard cryptopuzzle to authorize transactions (`one unit of computation, one vote'). This leads to enormous…

Computer Science and Game Theory · Computer Science 2018-09-19 Jonah Brown-Cohen , Arvind Narayanan , Christos-Alexandros Psomas , S. Matthew Weinberg