Strengthening Reliable Decentralized Systems at Interchain
summary
Describes Tendermint/Cosmos as a Byzantine fault tolerant state machine that uses rotating coordinators, weighted voting and 2/3+ commit rules for blocks; validators change every block under proof-of-stake with a long unbonding window (three weeks) and ~5–6s block times, which forces a light-client design that verifies headers by checking >1/3 overlap between trusted and new validator sets. Presents an open-source Rust implementation, a light client prototype, and an automated Byzantine model checker that just checked parameterized broadcast (Red Belly) and a workflow called verification-driven design to rewrite async code into synchronous rounds.
AI-written summary · about
chapters (16)
- 0:00Intro
- 3:56Consensus
- 8:53Light Client
- 16:10Verification Driven Design
- 17:30No Things Happen
- 18:06Formal Specifications
- 19:53Automated Verification
- 20:08Paralysis Model Checking
- 20:46Threshold Guards
- 21:17Parameterize
- 22:03Case Check
- 22:30Permit Model Check
- 23:06Verification of Implementation
- 23:17Verification of Code
- 23:30Communication Culture
- 26:50Cosmos
related talks
28mThe Cosmos Stack and the Velocity of Web3
42mBeyond Blockchain: Convergent Consensus
25mEnhancing Bitcoin Security and Performance with Strong Consistency via...
43mAll Together Now: An Introduction to Distributed Consensus
17mThe Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocols...
31mProofless Consensus & Client-side Validation
18mChitu: Avoiding Unnecessary Fallback in Byzantine Consensus
14mBolt-On Strong Consistency: Specification, Implementation, and Verification