中文
相关论文

相关论文: Formal Security Analysis on dBFT Protocol of NEO

200 篇论文

The ability to perform repeated Byzantine agreement lies at the heart of important applications such as blockchain price oracles or replicated state machines. Any such protocol requires the following properties: (1) \textit{Byzantine…

分布式、并行与集群计算 · 计算机科学 2025-06-17 Shlomi Dolev , Amit Hendin , Maurice Herlihy , Maria Potop Butucaru , Elad Michael Schiller

One of the most celebrated problems of fault-tolerant distributed computing is the consensus problem. It was shown to abstract a myriad of problems in which processes have to agree on a single value. Consensus applications include…

分布式、并行与集群计算 · 计算机科学 2022-09-13 Romaric Duvignau , Michel Raynal , Elad Michael Schiller

The increasing application and deployment of blockchain in various services necessitates the assurance of the effectiveness of PBFT (Practical Byzantine Fault Tolerance) consensus service. However, the performance of PBFT consensus service…

软件工程 · 计算机科学 2025-04-15 Yujing Cai , Yukun Meng , Weimeng Wang , Xuanming Zhang , Xiaolin Chang

Practical Byzantine Fault Tolerance (PBFT) is a seminal state machine replication protocol that achieves a performance comparable to non-replicated systems in realistic environments. A reason for such high performance is the set of…

分布式、并行与集群计算 · 计算机科学 2021-07-26 Christian Berger , Hans P. Reiser , Alysson Bessani

We present TRAIL: an algorithm that uses a novel consensus procedure to tolerate failed or malicious shards within a blockchain-based cryptocurrency. Our algorithm takes a new approach of selecting validator shards for each transaction from…

分布式、并行与集群计算 · 计算机科学 2024-05-14 Mitch Jacovetty , Joseph Oglio , Mikhail Nesterenko , Gokarna Sharma

This paper presents DuoBFT, a Byzantine fault-tolerant protocol that uses trusted components to provide commit decisions in the Hybrid fault model in addition to commit decisions in the BFT model. By doing so, it enables the clients to…

分布式、并行与集群计算 · 计算机科学 2022-02-09 Balaji Arun , Binoy Ravindran

We present ezBFT, a novel leaderless, distributed consensus protocol capable of tolerating byzantine faults. ezBFT's main goal is to minimize the client-side latency in WAN deployments. It achieves this by (i) having no designated primary…

分布式、并行与集群计算 · 计算机科学 2019-04-15 Balaji Arun , Sebastiano Peluso , Binoy Ravindran

It is a critical matter for a blockchain system whether a Byzantine fault tolerance (BFT) can be guaranteed during a consensus process. Can connected vehicles (CVs) achieve the BFT consensus when the vehicles keep mobile? This paper seeks…

分布式、并行与集群计算 · 计算机科学 2022-01-12 Seungmo Kim , Byung-Jun Kim

Cryptocurrencies, based on and led by Bitcoin, have shown promise as infrastructure for pseudonymous online payments, cheap remittance, trustless digital asset exchange, and smart contracts. However, Bitcoin-derived blockchain protocols…

密码学与安全 · 计算机科学 2015-11-12 Ittay Eyal , Adem Efe Gencer , Emin Gun Sirer , Robbert van Renesse

Byzantine fault tolerant (BFT) protocol descriptions often assume application-layer networking primitives, such as best-effort and reliable broadcast, which are impossible to implement in practice in a Byzantine environment as they require…

This paper explores the territory that lies between best-effort Byzantine-Fault-Tolerant Conflict-free Replicated Data Types (BFT CRDTs) and totally ordered distributed ledgers, such as those implemented by Blockchains. It formally…

分布式、并行与集群计算 · 计算机科学 2024-03-11 Davide Frey , Lucie Guillou , Michel Raynal , François Taïani

Synchronous consensus protocols offer a significant advantage over their asynchronous and partially synchronous counterparts by providing higher fault tolerance -- an essential benefit in distributed systems, like blockchains, where…

分布式、并行与集群计算 · 计算机科学 2025-03-14 Nenad Milošević , Daniel Cason , Zarko Milošević , Robert Soulé , Fernando Pedone

Permissionless blockchain technology offers numerous potential benefits for decentralised applications, such as security, transparency, and openness. BFT-based consensus mechanisms are widely adopted in the permissioned blockchain to meet…

密码学与安全 · 计算机科学 2024-07-08 Ziqiang Xu , Ahmad Salehi Shahraki , Naveen Chilamkurti

Blockchain technology provides an auditable and tamper-proof distributed storage infrastructure for information records. This can be leveraged to support distributed workflow management. Compared to proof-of-work consensus, popularized by…

分布式、并行与集群计算 · 计算机科学 2020-06-11 Joerg Evermann

Blockchain protocols typically aspire to run in the permissionless setting, in which nodes are owned and operated by a large number of diverse and unknown entities, with each node free to start or stop running the protocol at any time. This…

分布式、并行与集群计算 · 计算机科学 2024-03-05 Andrew Lewis-Pye , Tim Roughgarden

Today's practical partially synchronous Byzantine Fault Tolerant (BFT) consensus protocols trade off low latency and high throughput. On the one end, traditional BFT protocols such as PBFT and its derivatives optimize for latency. They…

分布式、并行与集群计算 · 计算机科学 2025-03-06 Balaji Arun , Zekun Li , Florian Suri-Payer , Sourav Das , Alexander Spiegelman

Crash fault tolerant (CFT) consensus algorithms are commonly used in scenarios where system components are trusted -- e.g., enterprise settings and government infrastructure. However, CFT consensus can be broken by even a single corrupt…

分布式、并行与集群计算 · 计算机科学 2024-06-04 Weizhao Tang , Peiyao Sheng , Ronghao Ni , Pronoy Roy , Xuechao Wang , Giulia Fanti , Pramod Viswanath

Byzantine fault-tolerant systems have been researched for more than four decades, and although shown possible early, the solutions were impractical for a long time. With PBFT the first practical solution was proposed in 1999 and spawned new…

分布式、并行与集群计算 · 计算机科学 2021-01-13 Thomas Loruenser , Benjamin Rainer , Florian Wohner

We introduce FnF-BFT, a parallel-leader byzantine fault-tolerant state-machine replication protocol for the partially synchronous model with theoretical performance bounds during synchrony. By allowing all replicas to act as leaders and…

分布式、并行与集群计算 · 计算机科学 2021-03-11 Zeta Avarikioti , Lioba Heimbach , Roland Schmid , Laurent Vanbever , Roger Wattenhofer , Patrick Wintermeyer

Existing permissioned blockchain systems designate a fixed and explicit group of committee nodes to run a consensus protocol that confirms the same sequence of blocks among all nodes. Unfortunately, when such a permissioned blockchain runs…

分布式、并行与集群计算 · 计算机科学 2020-12-16 Xusheng Chen , Shixiong Zhao , Ji Qi , Jianyu Jiang , Haoze Song , Cheng Wang , Tsz On Li , T. -H. Hubert Chan , Fengwei Zhang , Xiapu Luo , Sen Wang , Gong Zhang , Heming Cui