Mediterranean Artificial Intelligence and Networking Conference (MAIN)

Enabling Classical Detectable Byzantine Broadcast and Consensus Through Quantum Error Correction Circuits

Farzam Nosrati, Nicolás Borrajo, Antonio Fernández Anta, Vincenzo Mancuso

Published Jul 1, 2026• 0 citations

Abstract

We design and experimentally validate quantum circuits that prepare a quantum resource state which, when combined with authenticated classical communication, enables a protocol for detectable Byzantine broadcast and detectable Byzantine consensus. For the broadcast version of the problem, we propose an efficient leader-follower quantum circuit that prepares this resource state with depth O(logn), using O(n) two-qubit gates and O(n) ancillary qubits. We also develop a majority-based leader-selection scheme, for the consensus version of the problem; the scheme is based on the same leaderfollower quantum circuit and on coherent Hamming-weight computation, which prepares a fictitious leader qubit directly from any initial network state specified by the participant parties. The resulting fictitious leader state is then used as input to the leader-follower circuit to prepare a resource state consistent with majority voting on a common basis, thereby enabling detectable Byzantine consensus. In particular, we prove that, when supplemented with authenticated classical channels for the communication of quantum measurement outputs, the resulting protocols achieve detectable Byzantine broadcast and detectable Byzantine consensus, respectively. Under correct operation, all correct parties output the same value, namely the leader's value or the majority value. In the presence of Byzantine parties or quantum circuit deviations, all correct parties detect the inconsistency and abort. Furthermore, we demonstrate the feasibility of the approach through a proofof-principle implementation on an IBM quantum processor.

DOI: 10.1109/main71116.2026.11622384

Related papers

Resource analysis for quantum-aided Byzantine agreement with the four-qubit singlet state

Zoltán Guba, István Finta, Ákos Budai +3 more

In distributed computing, a Byzantine fault is a condition where a component behaves inconsistently, showing different symptoms to different components of the system. Consensus among the correct components can be reached by appropriately crafted communication protocols even in the presence of byzantine faults. Quantum-aided protocols built upon distributed entangled quantum states are worth considering, as they are more resilient than traditional ones. Based on earlier ideas, here we establish a parameter-dependent family of quantum-aided weak broadcast protocols. We compute upper bounds on the failure probability of the protocol, and define and illustrate a procedure that minimizes the quantum resource requirements. Following earlier work demonstrating the suitability of noisy intermediate scale quantum (NISQ) devices for the study of quantum networks, we experimentally create our resource quantum state on publicly available quantum computers. Our work highlights important engineering aspects of the future deployment of quantum communication protocols with multi-qubit entangled states.

arXiv:2207.04939QuantumApr 30, 20243 citations

Distributed Consensus with Quantum Byzantine Fault Tolerance

Jincheng Zhang

This paper presents a novel approach to distributed consensus protocols leveraging quantum entanglement and Byzantine fault tolerance. The core claim is that quantum entanglement can provide secure and efficient agreement among nodes even in the presence of malicious actors. We propose a mechanism that utilizes quantum key distribution (QKD) to establish shared entanglement between participating nodes. Subsequent quantum measurements identify faulty nodes, informing a robust consensus algorithm built upon majority voting and entanglement-based error correction. The potential advantages of this combined approach – enhanced security and efficiency compared to traditional classical methods – are explored. The research addresses the critical challenge of achieving reliable consensus in distributed systems susceptible to Byzantine attacks. This work introduces a new paradigm for consensus, potentially leading to more resilient and secure distributed applications.

Aug 29, 20260 citations

Distributed Consensus Algorithms with Byzantine Fault Tolerance via Quantum Entanglement

Jincheng Zhang

This paper proposes a novel distributed consensus algorithm utilizing quantum entanglement to achieve Byzantine fault tolerance. Traditional consensus algorithms struggle to guarantee correctness in the face of malicious actors (Byzantine faults) where nodes can arbitrarily deviate from the honest majority. This work introduces a protocol that leverages the unique properties of quantum entanglement to establish correlated states between nodes, enabling the detection and mitigation of these malicious behaviors without relying on trusted third parties or computationally intensive verification processes. The core claim is that quantum entanglement provides a provably secure and efficient mechanism for distributed consensus, offering superior resilience compared to classical approaches. The algorithm is formally described, and key mathematical components, including state transformations and probability calculations, are presented. The theoretical analysis demonstrates the algorithm's ability to converge to a correct consensus state even when a significant fraction of nodes are faulty. The use of entanglement fundamentally alters the Byzantine fault tolerance landscape, offering a pathway towards more robust and secure distributed systems.

Sep 3, 20260 citations

Detectable byzantine agreement secure against faulty majorities

Matthias Fitzi, Daniel Gottesman, Martin Hirt +2 more

It is well-known that n players, connected only by pairwise secure channels, can achieve Byzantine agreement only if the number t of cheaters satisfies t < n/3, even with respect to computational security. However, for many applications it is sufficient to achieve detectable broadcast. With this primitive, broadcast is only guaranteed when all players are non-faulty ("honest"), but all non-faulty players always reach agreement on whether broadcast was achieved or not. We show that detectable broadcast can be achieved regardless of the number of faulty players (i.e., for all t < n). We give a protocol which is unconditionally secure, as well as two more efficient protocols which are secure with respect to computational assumptions, and the existence of quantum channels, respectively.These protocols allow for secure multi-party computation tolerating any t < n, assuming only pairwise authenticated channels. Moreover, they allow for the setup of public-key infrastructures that are consistent among all participants --- using neither a trusted party nor broadcast channels.Finally, we show that it is not even necessary for players to begin the protocol at the same time step. We give a "detectable Firing Squad" protocol which can be initiated by a single user at any time and such that either all honest players end up with synchronized clocks, or all honest players abort.

ACM Symposium on Principles of Distributed Computing (PODC)Jul 21, 200273 citations

Byzantine Resilient Multi Criteria Leader Election in Quantum Communication Networks Using VIKOR

Suresh Kumar Jha, Ketan Anand, Aditya Narayan Hati

In developing quantum-classical network infrastructures, where coordination, entanglement distribution, and time-sensitive control rely on a stable and reliable coordinator, reliable leader election is crucial. In this work, we present VIKOR-BFT, a leader election scheme that integrates a lightweight data-sanitization stage with the VIKOR multi-criteria ranking mechanism to improve resilience against Byzantine behaviour. To understand its practical behaviour, we developed a Python-based prototype and evaluated the protocol under a range of adversarial and high-load scenarios. The study indicates that VIKOR-BFT keeps latency growth moderate even as the network scales and sustains throughput values above 100 tx/s in networks of roughly 500 nodes. In comparison with PBFT and an optimized PBFT variant, the proposed method reduces message complexity by almost two orders of magnitude without compromising the correctness of leader selection. Under 15% and 25% Byzantine participation, the protocol continues to select an honest leader in more than 90% and 75% of the trials, respectively. Overall, the findings suggest that VIKOR-BFT provides a scalable and practically viable option for secure leader election in hybrid quantum-classical communication environments.

International Conference on Pioneering Developments in Computer Science & Digital Technologies (IC2SDT)Dec 4, 20251 citation

Distributed Consensus with Byzantine Fault Tolerance via Quantum Key Distribution

Jincheng Zhang

This paper proposes a novel approach to distributed consensus that leverages quantum key distribution (QKD) for Byzantine fault tolerance. Traditional consensus algorithms struggle to guarantee agreement in the face of malicious actors introducing Byzantine faults. This work introduces a framework where a shared secret, established via QKD, serves as the foundation for a consensus protocol. The inherent cryptographic properties of QKD – specifically its ability to detect eavesdropping – are exploited to identify and neutralize malicious nodes attempting to disrupt the consensus process. We demonstrate that this combination offers a fundamentally more secure and efficient solution compared to classical approaches. The core of our system relies on the creation of a quantum-secured shared key, denoted as *K*, and the subsequent implementation of a consensus protocol designed to operate on this key. This protocol incorporates mechanisms for key verification and anomaly detection, providing robust resilience against Byzantine faults. The theoretical analysis presented highlights the advantages of this approach in terms of security and efficiency. We define the following key variables: *n* - number of nodes in the network; *f* - maximum number of faulty nodes; *m* - number of correct nodes; *si* - the state of node *i* (1 if active, 0 if faulty); *K* - the quantum key shared among the nodes; *ri,j* - the raw key shared between nodes *i* and *j*; *Ei,j* - the error rate observed between nodes *i* and *j* during QKD; *σi,j* - the quantum state used for key exchange between nodes *i* and *j*; *Ci,j* - the ciphertext generated during the QKD process; *Di,j* - the decrypted ciphertext between nodes *i* and *j*; *Hi,j* - the hash value calculated based on the decrypted ciphertext. The system's robustness is directly proportional to the level of security provided by QKD and the effectiveness of the consensus protocol in detecting and isolating faulty nodes.

Aug 29, 20260 citations