Post

@antithesis.com

We'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.

@antithesis.com

antithesis.com/blog/2026/fi...

antithesis.comFinding bugs in Raft implementations | AntithesisWhy formal verification is not enough to maintain consensus in real systems

@antithesis.com

We used a simple strategy we call Chain of Blocks, and just published an implementation guide for that as well.

27/7/26, 4:37 pm0 reposts4 likes

@antithesis.com

antithesis.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.