The Math Behind Blockchain Scheduling and Transaction Fee Mechanisms

This appendix details the mathematical proofs and performance analysis underlying a blockchain transaction fee mechanism. It compares the expected outcomes of algorithmic (ALG) versus adversarial (ADV) scheduling, defines key parameters like miner power, immediacy ratio, and discount factors, and provides a glossary of symbols and acronyms used throughout the paper. The section reinforces the theoretical foundation for non-myopic allocation rules and miner revenue optimization under Proof-of-Work (PoW) and Proof-of-Stake (PoS) models.