Tsampi BFT: Leaderless One-Round Voting with Parameterized Finality

Tsampi BFT is a leaderless Byzantine fault-tolerant state-replication protocol that requires a single Vote round per Proposed Block, and achieves exact-lineage finality in just two additional Blocks. The protocol records both Block-lineage causality and each Validator's endorsement order through a dual-linked Vote chain. Notably, earlier Votes are neither revoked nor reassigned; every subsequent Vote must prove that it targets a strictly better proposal.

For a Block to be considered valid, the Validator set must reach a strict supermajority, which is defined as more than two thirds of the total Stake. Q1 represents the strict-supermajority Vote pass that establishes the QuorumBlock. Q2 is the later, independently deduplicated strict-supermajority Vote pass responsible for setting the CoveredBlock. Q2 starts out empty after Q1 concludes its operations.

It is important to note that a Validator counted in Q1 may also count in Q2, but only through a different, later Vote carried by a different descendant Block. Proposal admission is parameterized independently of finality, meaning that the protocol allows for a lower endorsement threshold. When the Validator set remains unchanged and the endorsement threshold is at least two thirds, the genesis block reaches QuorumBlock in Block 2 and CoveredBlock in Block 3. In the steady-state pipeline, there is a one-Block lag between the two.

While proposal admission can employ a lower threshold, it is crucial to remember that every accepted Block must still advance the lineage toward strict-supermajority finality.