Formal Tendermint

Formal specifications and model checking for Tendermint-style consensus algorithms.

Research code. This repo contains code for academic research. The code is not deployed, not a production system, and not maintained.

Protocols

• Fast Tendermint — consensus in two communication steps, tolerating f < n/5 Byzantine processes

Research Context

The code in this repo supports

• Fast Tendermint: Speeding Up a Foundational Consensus Protocol, published at DISC 2026