English
Related papers

Related papers: Formal Security Analysis on dBFT Protocol of NEO

200 papers

We introduce Zef, the first Byzantine-Fault Tolerant (BFT) protocol to support payments in anonymous digital coins at arbitrary scale. Zef follows the communication and security model of FastPay: both protocols are asynchronous,…

Cryptography and Security · Computer Science 2022-03-10 Mathieu Baudet , Alberto Sonnino , Mahimna Kelkar , George Danezis

In this paper, we explore vulnerabilities and countermeasures of the recently proposed blockchain consensus based on proof-of-authority. The proof-of-work blockchains, like Bitcoin and Ethereum, have been shown both theoretically and…

Cryptography and Security · Computer Science 2019-09-26 Parinya Ekparinya , Vincent Gramoli , Guillaume Jourjon

This paper introduces a deterministic Byzantine consensus algorithm that relies on a new weak coordinator. As opposed to previous algorithms that cannot terminate in the presence of a faulty or slow coordinator, our algorithm can terminate…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-26 Tyler Crain , Vincent Gramoli , Mikel Larrea , Michel Raynal

The success of blockchains has sparked interest in large-scale deployments of Byzantine fault tolerant (BFT) consensus protocols over wide area networks. A central feature of such networks is variable communication bandwidth across nodes…

Networking and Internet Architecture · Computer Science 2024-06-21 Lei Yang , Seo Jin Park , Mohammad Alizadeh , Sreeram Kannan , David Tse

Byzantine Fault-Tolerant (BFT) protocols play an important role in blockchains. As the deployment of such systems extends to wide-area networks, the scalability of BFT protocols becomes a critical concern. Optimizations that assign specific…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-11-10 Hanish Gogada , Christian Berger , Leander Jehl , Hans P. Reiser , Hein Meling

Motivated, in part, by the rise of permissionless systems such as Bitcoin where arbitrary nodes (whose identities are not known apriori) can join and leave at will, we extend established research in scalable Byzantine agreement to a more…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-07-26 John Augustine , Valerie King , Anisur R. Molla , Gopal Pandurangan , Jared Saia

Threshold cryptography is essential for many blockchain protocols. For example, many protocols rely on threshold common coin to implement asynchronous consensus, leader elections, and provide support for randomized applications. Similarly,…

Cryptography and Security · Computer Science 2025-05-26 Zhuolun Xiang , Sourav Das , Zekun Li , Zhoujun Ma , Alexander Spiegelman

Byzantine Fault-Tolerant (BFT) consensus protocols ensure agreement on transaction ordering despite malicious actors, but unconstrained ordering power enables sophisticated value extraction attacks like front running and sandwich attacks -…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-17 Pengkun Ren , Hai Dong , Nasrin Sohrabi , Zahir Tari , Pengcheng Zhang

Fault tolerance of a blockchain is often characterized by the fraction $f$ of "adversarial power" that it can tolerate in the system. Despite the fast progress in blockchain designs in recent years, existing blockchain systems can still…

Cryptography and Security · Computer Science 2021-11-17 Ruomu Hou , Haifeng Yu , Prateek Saxena

Distributed consensus protocols reach agreement among $n$ players in the presence of $f$ adversaries; different protocols support different values of $f$. Existing works study this problem for different adversary types (captured by threat…

Computer Science and Game Theory · Computer Science 2024-05-14 Varul Srivastava , Sujit Gujar

We propose, implement, and evaluate NxBFT, a resilient and efficient State Machine Replication protocol using Trusted Execution Environments (TEEs). NxBFT focuses on a "Not eXactly Byzantine" (NxB) operating model as a middle ground between…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-03 Marc Leinweber , Hannes Hartenstein

Distributed control systems require high reliability and availability guarantees despite often being deployed at the edge of network infrastructure. Edge computing resources are less secure and less reliable than centralized resources in…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-02-21 Roy Shadmon , Daniel Spencer , Owen Arden

Hyperledger Fabric is an enterprise grade permissioned distributed ledger platform that offers modularity for a broad set of industry use cases. One modular component is a pluggable ordering service that establishes consensus on the order…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-16 Artem Barger , Yacov Manevich , Hagar Meir , Yoav Tock

We present NodeOP, a novel framework designed to optimize the management of General Node Operators in decentralized networks. By integrating Agent-Based Modeling (ABM) with a Tendermint Byzantine Fault Tolerance (BFT)-based consensus…

Databases · Computer Science 2024-10-23 Angela Tsang , Jiankai Sun , Boo Xie , Azeem Khan , Ender Lu , Fletcher Fan , Maggie Wu , Jing Tang

In recent decades, the RAFT distributed consensus algorithm has become a main pillar of the distributed systems ecosystem, ensuring data consistency and fault tolerance across multiple nodes. Although the fact that RAFT is well known for…

Cryptography and Security · Computer Science 2026-01-05 Tamer Afifi , Abdelfatah Hegazy , Ehab Abousaif

Blockchains add transactions to a distributed shared ledger by arriving at consensus on sets of transactions contained in blocks. This provides a total ordering on a set of global transactions. However, total ordering is not enough to…

Cryptography and Security · Computer Science 2024-08-27 Anshuman Misra , Ajay D. Kshemkalyani

Large-scale, fault-tolerant, distributed systems are the backbone for many critical software services. Since they must execute correctly in a possibly adversarial environment with arbitrary communication delays and failures, the underlying…

Programming Languages · Computer Science 2023-04-25 Cezara Dragoi , Constantin Enea , Srinidhi Nagendra , Mandayam Srivas

Consensus stands as a fundamental building block for constructing reliable and fault-tolerant distributed services. The increasing demand for high-performance and scalable blockchain protocols has brought attention to solving consensus in…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-07-03 Hasan Heydari , Robin Vassantlal , Alysson Bessani

Service replication distributes an application over many processes for tolerating faults, attacks, and misbehavior among a subset of the processes. The established state-machine replication paradigm inherently requires the application to be…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-12-20 Christian Cachin , Simon Schubert , Marko Vukolić

This paper introduces a new way to incorporate verifiable secret sharing (VSS) schemes into Byzantine Fault Tolerance (BFT) protocols. This technique extends the threshold guarantee of classical Byzantine Fault Tolerant algorithms to…

Cryptography and Security · Computer Science 2018-12-27 Soumya Basu , Alin Tomescu , Ittai Abraham , Dahlia Malkhi , Michael K. Reiter , Emin Gün Sirer