On Probabilistic Byzantine Fault Tolerance
Quan Nguyen, Andre Cronje

TL;DR
This paper explores probabilistic Byzantine fault tolerance, focusing on how processes understand and reason about the knowledge of Byzantine nodes that may misbehave unpredictably in distributed systems.
Contribution
It introduces a novel approach to analyze and reason about the concurrent knowledge of probabilistic Byzantine processes in both synchronous and asynchronous systems.
Findings
Proposes a framework for reasoning about knowledge of probabilistic Byzantine nodes.
Analyzes the approach in both synchronous and asynchronous settings.
Enhances understanding of fault detection in dynamic distributed systems.
Abstract
Byzantine fault tolerance (BFT) has been extensively studied in distributed trustless systems to guarantee system's functioning when up to 1/3 Byzantine processes exist. Despite a plethora of previous work in BFT systems, they are mainly concerned about common knowledge deducible from the states of all participant processes. In BFT systems, it is crucial to know about which knowledge a process knows about the states of other processes and the global state of the system. However, there is a lack of studies about common knowledge of Byzantine faults, such as, whether existence of a Byzantine node is known by all honest nodes. In a dynamic setting, processes may fail or get compromised unexpectedly and unpredictably. It is critical to reason about which processes know about the faulty processes of the network. In this paper, we are interested in studying BFT systems in which Byzantine…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Cryptography and Data Security · Blockchain Technology Applications and Security
