English
Related papers

Related papers: Fast Deterministically Safe Proof-of-Work Consensu…

200 papers

In Proof-of-Work (PoW) blockchains, the average waiting time to generate a block is inversely proportional to the computing power of the miner. To reduce the average block generation time, a group of individual miners can form a mining pool…

Cryptography and Security · Computer Science 2021-04-06 Long Shi , Taotao Wang , Jun Li , Shengli Zhang

Proof-of-work (PoW) cryptocurrency blockchains like Bitcoin secure vast amounts of money. Their operators, called miners, expend resources to generate blocks and receive monetary rewards for their effort. Blockchains are, in principle,…

Cryptography and Security · Computer Science 2020-11-06 Michael Mirkin , Yan Ji , Jonathan Pang , Ariah Klages-Mundt , Ittay Eyal , Ari Juels

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

In this paper we propose a double-linked blockchain data structure that greatly improves blockchain performance and guarantees single chain with no forks. Additionally, with the proposed proof-of-refundable-tax (PoRT) consensus algorithm,…

Cryptography and Security · Computer Science 2024-09-04 Zheng-Xun Jiang , Ren-Song Tsay

The consensus algorithm is crucial in blockchain for ensuring the validity and security of transactions across the decentralized network. However, achieving consensus among nodes and packaging blocks in blockchain networks is a complex task…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-10 Yang Li , Chunhe Xia , Chunyan Li , Yuan Zhao , Chen Chen , Tianbo Wang

Selfish mining is strategic rule-breaking to maximize rewards in proof-of-work protocols. Markov Decision Processes (MDPs) are the preferred tool for finding optimal strategies in Bitcoin and similar linear chain protocols. Protocols…

Cryptography and Security · Computer Science 2025-06-24 Patrik Keller

A verifiable random function (VRF in short) is a powerful pseudo-random function that provides a non-interactively public verifiable proof for the correctness of its output. Recently, VRFs have found essential applications in blockchain…

Cryptography and Security · Computer Science 2021-09-07 Zengpeng Li , Teik Guan Tan , Pawel Szalachowski , Vishal Sharma , Jianying Zhou

We consider the parameterized verification problem for distributed algorithms where the goal is to develop techniques to prove the correctness of a given algorithm regardless of the number of participating processes. Motivated by an…

Formal Languages and Automata Theory · Computer Science 2022-04-26 Nathalie Bertrand , Nicolas Markey , Ocan Sankur , Nicolas Waldburger

A Proof of Secure Erasure (PoSE) is a communication protocol where a verifier seeks evidence that a prover has erased its memory within the time frame of the protocol execution. Designers of PoSE protocols have long been aware that, if a…

Cryptography and Security · Computer Science 2024-01-15 Sergiu Bursuc , Reynaldo Gil-Pons , Sjouke Mauw , Rolando Trujillo-Rasua

Proof of Stake (PoS) is a burgeoning Sybil resistance mechanism that aims to have a digital asset ("token") serve as security collateral in crypto networks. However, PoS has so far eluded a comprehensive threat model that encompasses both…

General Finance · Quantitative Finance 2020-02-05 Tarun Chitra

Bitcoin demonstrated the possibility of a financial ledger that operates without the need for a trusted central authority. However, concerns persist regarding its security and considerable energy consumption. We assess the consensus…

Computer Science and Game Theory · Computer Science 2025-03-04 Jacob D. Leshno , Elaine Shi , Rafael Pass

The optimal fault-tolerance achievable by any protocol has been characterized in a wide range of settings. For example, for state machine replication (SMR) protocols operating in the partially synchronous setting, it is possible to…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-01 Andrew Lewis-Pye , Tim Roughgarden

Proof of Work (PoW) has extensively served as the foundation of blockchain's security, consistency, and tamper-resistance. However, long has it been criticized for its tremendous and inefficient utilization of computational power and…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-03-04 Weihang Cao , Xintong Ling , Jiaheng Wang , Xiqi Gao , Zhi Ding

The performance of existing permissionless smart contract platforms such as Ethereum is limited by the consensus layer. Prism is a new proof-of-work consensus protocol that provably achieves throughput and latency up to physical limits…

Distributed, Parallel, and Cluster Computing · Computer Science 2020-06-16 Gerui Wang , Shuo Wang , Vivek Bagaria , David Tse , Pramod Viswanath

Fair exchange protocols let two mutually distrustful parties exchange digital data in a way that neither party can cheat. They have various applications such as the exchange of digital items, or the exchange of digital coins and digital…

Cryptography and Security · Computer Science 2023-04-07 Aydin Abadi , Steven J. Murdoch , Thomas Zacharias

Modern web applications replicate their data across the globe and require strong consistency guarantees for their most critical data. These guarantees are usually provided via state-machine replication (SMR). Recent advances in SMR have…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-27 Vitor Enes , Carlos Baquero , Alexey Gotsman , Pierre Sutra

This study explores the intricacies of waiting games, a novel dynamic that emerged with Ethereum's transition to a Proof-of-Stake (PoS)-based block proposer selection protocol. Within this PoS framework, validators acquire a distinct…

Cryptography and Security · Computer Science 2023-07-13 Burak Öz , Benjamin Kraner , Nicolò Vallarano , Bingle Stegmann Kruger , Florian Matthes , Claudio Juan Tessone

Proof of Stake (PoS) protocols rely on voting mechanisms to reach consensus on the current state. If an enhanced majority of staking nodes, also called validators, agree on a proposed block, then this block is appended to the blockchain.…

Computer Science and Game Theory · Computer Science 2021-07-20 Stefanos Leonardos , Daniel Reijsbergen , Georgios Piliouras

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

A fundamental conflict of many proof-of-work systems is that they want to achieve inclusiveness and security at the same time. We analyze and resolve this conflict with a theory of proof-of-work quorums, which enables a new bridge between…

Cryptography and Security · Computer Science 2020-02-24 Patrik Keller , Rainer Böhme