Post

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.

27/7/26, 4:36 pm3 reposts20 likes

Antithesis

@antithesis.com

27 July

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

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

Antithesis

@antithesis.com

27 July

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

Antithesis

@antithesis.com

27 July

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.

Andrew Lilley Brinker

@alilleybrinker.com

27 July

Why not link to the article in your first post? This isn't X, links aren't downranked here

Antithesis

@antithesis.com

28 July

We autopost to other platforms at the same time with Buffer (so the first-reply thing gets inherited at least by default), but I’ll make a note to not do that here/chat with the rest of the team to see if there was a different reason we didn’t. Appreciate it!