6 papers
Cassandra: Consensus with Partial Progress via Robust Partitionable View Synchronization
Shaokang Xie, Dakai Kang, Junchao Chen +3
Replicated databases and permissioned blockchain systems rely on Byzantine Fault-Tolerant (BFT) consensus to maintain a globally consistent order of transactions across distributed…
Did we miss P In CAP? Partial Progress Conjecture under Asynchrony
Junchao Chen, Suyash Gupta, Daniel P. Hughes +1
Each application developer desires to provide its users with consistent results and an always-available system despite failures. Boldly, the CALM theorem disagrees. It states that…
Carry the Tail in Consensus Protocols
Suyash Gupta, Dakai Kang, Dahlia Malkhi +1
We present Carry-the-Tail, the first deterministic atomic broadcast protocol in partial synchrony that, after GST, guarantees a constant fraction of commits by non-faulty leaders a…
Securing Consensus from Long-Range Attacks through Collaboration
Junchao Chen, Suyash Gupta, Alberto Sonnino +2
Decentralized systems built around blockchain technology promise clients an immutable ledger. They add a transaction to the ledger after it undergoes consensus among the replicas t…
Picsou: Enabling Replicated State Machines to Communicate Efficiently
Reginald Frank, Micah Murray, Chawinphat Tankuranand +5
Replicated state machines (RSMs) cannot communicate effectively today as there is no formal framework or efficient protocol to do so. To address this issue, we introduce a new prim…
HotStuff-1: Linear Consensus with One-Phase Speculation
Dakai Kang, Suyash Gupta, Dahlia Malkhi +1
This paper introduces HotStuff-1, a BFT consensus protocol that improves the latency of HotStuff-2 by two network hops while maintaining linear communication complexity against fau…