Antithesis@antithesis.com27 JulyWe've been testing Raft implementations, and have found bugs in every implementation we've tested. Here's an in-depth report on one set of issues.2320
Antithesis@antithesis.comantithesis.com/blog/2026/fi...antithesis.comFinding bugs in Raft implementations | AntithesisWhy formal verification is not enough to maintain consensus in real systems27/7/26, 4:37 pm·1 repost·12 likes
Antithesis@antithesis.com27 JulyWe used a simple strategy we call Chain of Blocks, and just published an implementation guide for that as well.14
Antithesis@antithesis.com27 Julyantithesis.com/docs/resourc...antithesis.comTest state machine replication with a chain of blocks workload | Antithesis DocsLearn how to test state machine replication. Use our chain of blocks workload to test your SMR.6