A modified Tendermint protocol that decides in two communication steps under n > 5f, with safety and liveness proofs and a Quint model-checked specification.
8 Fast Tendermint 13 Informal Systems and Circle Internet Financial
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Fast Tendermint: Speeding Up a Foundational Consensus Protocol
A modified Tendermint protocol that decides in two communication steps under n > 5f, with safety and liveness proofs and a Quint model-checked specification.