Back to Search
Start Over
Modular randomized byzantine k-set agreement in asynchronous message-passing systems
- Source :
- The 17th International Conference on Distributed Computing and Networking (ICDCN'16), The 17th International Conference on Distributed Computing and Networking (ICDCN'16), Jan 2016, Singapore, Singapore. pp.1-10, ICDCN
- Publication Year :
- 2016
- Publisher :
- HAL CCSD, 2016.
-
Abstract
- International audience; k-Set agreement is a central problem of fault-tolerant distibuted computing. Considering a set of n processes, where up to t may commit failures, let us assume that each process proposes a value. The problem consists in defining an algorithm such that each non-faulty process decides a value, at most k dfferent values are decided, and the decided values satisfy some context-depending validity condition. Synchronous message-passing algorithms solving k-set agreement have been proposed for different failure models (mainly process crashes, and process Byzantine failures). Differently, k-set agreement cannot be solved in failure-prone asynchronous message-passing systems when t ≥ k. To circumvent this impossibility an asynchronous system must be enriched with additional computational power. Assuming t ≥ k, this paper presents a distributed algorithm that solves k-set agreement in an asynchronous message-passing system wher up to t processes may commit Byzantine failures. To that end, each process is enriched with randomization power. While randomized k-set agreement algorithms exist for the asynchronous process crash failure model where t ≥ k, to our knowledge the proposed algorithm is the first that solves k-set agreement in the presence of up to t ≥ k Byzantine processes. Interestingly, this algorithm is signature-free, and ensures that no value proposed only by Byzantine processes can be decided by a non-faulty process. Its design is based on a modular construction which rests on a "no-duplicity" one-to-all broadcast abstraction, and two all-to-all communication abstractions.
- Subjects :
- Randomized algorithm
Asynchronous system
Theoretical computer science
Byzantine process
Distributed algorithm
Computer science
Message passing
Coin
0102 computer and information sciences
02 engineering and technology
k-Set agreement
01 natural sciences
Set (abstract data type)
Asynchronous message-passing system
Quantum Byzantine agreement
010201 computation theory & mathematics
Asynchronous communication
Broadcast abstraction
0202 electrical engineering, electronic engineering, information engineering
Signature-free algorithm
020201 artificial intelligence & image processing
[INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
Byzantine fault tolerance
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Journal :
- The 17th International Conference on Distributed Computing and Networking (ICDCN'16), The 17th International Conference on Distributed Computing and Networking (ICDCN'16), Jan 2016, Singapore, Singapore. pp.1-10, ICDCN
- Accession number :
- edsair.doi.dedup.....dafa80304d6c2db428091b2af9d78b39