The formal HotStuff-style guarantees—safety, liveness, and QC intersection—embedded in the SUMERAGI pipeline.
Sumeragi Consensus
ConsensusThe formal HotStuff-style guarantees—safety, liveness, and QC intersection—embedded in the SUMERAGI pipeline.
Sections
Definition
The formal HotStuff-style guarantees—safety, liveness, and QC intersection—embedded in the SUMERAGI pipeline.
Why it matters
Provides mathematical proof that committed blocks cannot be reverted, even under network partitions.