Clock synchronization for nonfaulty processes in multiprocess networks is indispensable for a variety of technologies. A reliable system must be able to resynchronize the nonfaulty processes upon some components failing causing the distribution of incorrect or conflicting information in the network. The task of synchronizing such networks is related to Byzantine agreement (BA), which can classically be solved using recursive algorithms if and only if less than one-third of the processes are faulty. Here we introduce a nonrecursive quantum algorithm, based on a quantum solution of the detectable BA, which achieves clock synchronization in the presence of arbitrary many faulty processes by using only a single quantum system.Clock synchronization for nonfaulty processes in multiprocess networks is indispensable for a variety of technologies. A reliable system must be able to resynchronize the nonfaulty processes upon some components failing causing the distribution of incorrect or conflicting information in the network. The task of synchronizing such networks is related to Byzantine agreement (BA), which can classically be solved using recursive algorithms if and only if less than one-third of the processes are faulty. Here we introduce a nonrecursive quantum algorithm, based on a quantum solution of the detectable BA, which achieves clock synchronization in the presence of arbitrary many faulty processes by using only a single quantum system.

Scientific ReportsJan 23, 201525 citations

Quantum Byzantine Agreement for Any Number of Dishonest Parties

Vicent Cholvi

Abstract Reaching agreement in the presence of arbitrary faults is a fundamental problem in distributed computation, which has been shown to be unsolvable if one-third of the processes can fail, unless signed messages are used. In this paper, we propose a solution to a variation of the original BA problem, called Detectable Byzantine Agreement (DBA), that does not need to use signed messages. The proposed algorithm uses what we call Q-correlated lists, which are generated by a quantum source device. Once each process has one of these lists, they use them to reach the agreement in a classical manner. Although, in general, the agreement is reached by using $m+1$ m + 1 rounds (where m is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.Abstract Reaching agreement in the presence of arbitrary faults is a fundamental problem in distributed computation, which has been shown to be unsolvable if one-third of the processes can fail, unless signed messages are used. In this paper, we propose a solution to a variation of the original BA problem, called Detectable Byzantine Agreement (DBA), that does not need to use signed messages. The proposed algorithm uses what we call Q-correlated lists, which are generated by a quantum source device. Once each process has one of these lists, they use them to reach the agreement in a classical manner. Although, in general, the agreement is reached by using $$m+1$$ m + 1 rounds (where m is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.

Quantum Information ProcessingApr 1, 20229 citations

Detectable Quantum Byzantine Agreement for Any Arbitrary Number of Dishonest Parties

Vicent Cholvi

Reaching agreement in the presence of arbitrary faults is a fundamental problem in distributed computation, which has been shown to be unsolvable if one-third of the processes can fail, unless signed messages are used. In this paper, we propose a solution to a variation of the original BA problem, called Detectable Byzantine Agreement (DBA), that does not need to use signed messages. The proposed algorithm uses what we call $Q$ -correlated lists, which are generated by a quantum source device. Once each process has one of these lists, they use them to reach the agreement in a classical manner. Although, in general, the agreement is reached by using $m+1$ rounds (where $m$ is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.Reaching agreement in the presence of arbitrary faults is a fundamental problem in distributed computation, which has been shown to be unsolvable if one-third of the processes can fail, unless signed messages are used. In this paper, we propose a solution to a variation of the original BA problem, called Detectable Byzantine Agreement (DBA), that does not need to use signed messages. The proposed algorithm uses what we call $Q$-correlated lists, which are generated by a quantum source device. Once each process has one of these lists, they use them to reach the agreement in a classical manner. Although, in general, the agreement is reached by using $m+1$ rounds (where $m$ is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.

arXiv:2112.09437Dec 17, 20210 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.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

Iterative quantum algorithm for distributed clock synchronization

王洪福, 张寿

Clock synchronization is a well-studied problem with many practical and scientific applications.We propose an arbitrary accuracy iterative quantum algorithm for distributed clock synchronization using only three qubits.The n bits of the time difference between two spatially separated clocks can be deterministically extracted by communicating only O(n) messages and executing the quantum iteration process n times based on the classical feedback and measurement operations.Finally,we also give the algorithm using only two qubits and discuss the success probability of the algorithm.Clock synchronization is a well-studied problem with many practical and scientific applications.We propose an arbitrary accuracy iterative quantum algorithm for distributed clock synchronization using only three qubits.The n bits of the time difference between two spatially separated clocks can be deterministically extracted by communicating only O(n) messages and executing the quantum iteration process n times based on the classical feedback and measurement operations.Finally,we also give the algorithm using only two qubits and discuss the success probability of the algorithm.

中国物理B：英文版Jan 1, 20120 citations

Iterative quantum algorithm for distributed clock synchronization

Hong‐Fu Wang, Shou Zhang

Clock synchronization is a well-studied problem with many practical and scientific applications. We propose an arbitrary accuracy iterative quantum algorithm for distributed clock synchronization using only three qubits. The n bits of the time difference Δ between two spatially separated clocks can be deterministically extracted by communicating only O ( n ) messages and executing the quantum iteration process n times based on the classical feedback and measurement operations. Finally, we also give the algorithm using only two qubits and discuss the success probability of the algorithm.Clock synchronization is a well-studied problem with many practical and scientific applications. We propose an arbitrary accuracy iterative quantum algorithm for distributed clock synchronization using only three qubits. The n bits of the time difference Δ between two spatially separated clocks can be deterministically extracted by communicating only O ( n ) messages and executing the quantum iteration process n times based on the classical feedback and measurement operations. Finally, we also give the algorithm using only two qubits and discuss the success probability of the algorithm.

Chinese Physics BOct 1, 20121 citation

m+1

m + 1 rounds (where m is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.

Q

-correlated lists, which are generated by a quantum source device. Once each process has one of these lists, they use them to reach the agreement in a classical manner. Although, in general, the agreement is reached by using

m+1

rounds (where

m

is the number of processes that can fail), if less than one-third of the processes fail it only needs one round to reach the agreement.