Synchronous condition-based consensus adapting to input-vector legality

Abstract

This paper proposes a novel condition-based algorithm for the uniform consensus in synchronous systems. The proposed algorithm is adaptive in the sense that its execution time depends on actual difficulty of input vectors, legality level, which is newly formalized in this paper. On the assumption that majority of processes are correct, the algorithm terminates within min{f + 2 -l, t + 1} rounds if l