Making Uncertified DAG BFT Provably Live with Linear Payload and Quadratic Metadata Communication↗ (원문, 새 창)

본문 미리보기

Uncertified partially synchronous DAG BFT protocols such as Mysticeti achieve the lowest latency among DAG protocols by omitting per-block quorum certificates, but they lack rigorous liveness proofs: honest parties can desynchronize and never commit a leader again, even under synchrony. To avoid the quadratic communication cost of pushing full blocks, production implementations pull missing ancestors, which results in consensus request amplification, large tail latency, and vulnerability to Byza