Formalizing Proposer-Builder Separation Guarantees Credibly Neutral Transaction Ordering
The introduction of a two-stage commit-reveal protocol for block construction cryptographically enforces builder neutrality, eliminating the proposer's censorship vector.
Asynchronous Finality Gadget Secures Proof-of-Stake Safety
The $Phi$-Gadget introduces a two-phase threshold signature mechanism to decouple block ordering from finality, guaranteeing safety under asynchronous network conditions.
Buffer Mechanism Enables Generic Sharding Consensus with Optimal Overhead
A jointly managed buffer and batch certification enable atomic cross-shard transactions with optimal overhead, creating a universal BFT sharding framework.
