FairDAG Achieves High-Throughput, Resilient Transaction Ordering Using Multi-Proposer Causal Design
FairDAG introduces a two-layer DAG-based consensus to decouple block proposal from final ordering, fundamentally constraining adversarial MEV manipulation while boosting throughput.
Compositional Formal Proofs Secure DAG Consensus Protocols Systemically
A new compositional framework provides mathematically rigorous, reusable safety proofs for complex DAG-based consensus, fundamentally securing high-throughput decentralized systems.
