TY - RPRT TI - Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs AU - Pengkun Ren AU - Hai Dong AU - Nasrin Sohrabi AU - Zahir Tari AU - Pengcheng Zhang PY - 2025 UR - https://arxiv.org/abs/2510.14186 ID - 2510.14186 ER -