Tsampi BFT: Leaderless One-Round Voting with Parameterized Finality

Tsampi BFT is a leaderless Byzantine fault-tolerant state-replication protocol with one Vote round per Proposed Block and exact-lineage finality in as few as two later Blocks. A strict supermajority has more than two thirds of the Stake in the Validator set. Machine-checked proofs establish safety and evidence completeness.