##article.return## Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs Download Download PDF