中文
相关论文

相关论文: Fast Deterministically Safe Proof-of-Work Consensu…

200 篇论文

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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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,…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

形式语言与自动机理论 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

综合金融 · 定量金融 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…

计算机科学与博弈论 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

分布式、并行与集群计算 · 计算机科学 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…

密码学与安全 · 计算机科学 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.…

计算机科学与博弈论 · 计算机科学 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…

量子物理 · 物理学 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…

密码学与安全 · 计算机科学 2020-02-24 Patrik Keller , Rainer Böhme