4 ms·

Has anyone done the same for raft consensus?

• johnbender 5y ago
  Raft has been manually verified which was the hurdle here that makes the result interesting: https://github.com/uwplse/verdi-raft https://github.com/uwplse/verdi-raft
• _r2gl 5y ago
  The conclusion in the paper states it's left as future work. "Future work also includes automatically inferring inductive proofs for other distributed protocols, such as Byzantine Paxos [15], Raft [90], etc., and exploring the verification of consensus algorithms in blockchain applications. " https://arxiv.org/pdf/2108.08796.pdf https://arxiv.org/pdf/2108.08796.pdf
• baby 5y ago
  or for byzantine-fault tolerant consensus like hotstuff?