Swimming in Circles - Tricking Sui's Mysticeti-C into Forfeiting Liveness
Mysticeti-C, Sui’s DAG-based consensus algorithm, claims strong liveness guarantees. However, a subtle flaw allows attackers to repeatedly stall leader-slot decisions, halting the entire chain. In this post, we dive into how this vulnerability works, why it slipped past the original liveness proof, and what it means for DAG-based consensus going forward.