Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper reconciles the contradiction between the feasibility of deterministic crash-tolerant consensus in fully asynchronous systems and the FLP impossibility result. By extending the formal framework used by Attiya, Castañeda, and Rajsbaum, the authors identify a specific protocol phase that differentiates their findings, leading to a novel algorithm capable of tolerating multiple crash faults. The rigorous proof of correctness provided reinforces the theoretical advancements and practical implications of the proposed solution.
A single protocol phase can transform the understanding of consensus in asynchronous systems, enabling robust solutions to crash faults.
In this paper, we resolve the apparent contradiction between the proven possibility of deterministic crash-tolerant consensus in a fully asynchronous environment and the reconfirmation of the FLP impossibility result by Attiya, Casta\~neda, and Rajsbaum. With the use of a strictly formal framework that extends their reasoning, we close this fundamental gap in theory. Specifically, we demonstrate that a single protocol phase separates their findings from reaching the exact opposite conclusion. Another important outcome is a novel algorithm with ability to tolerate multiple crash faults. We provide a rigorous, strictly formal proof of correctness to validate our results.