Formal Security Comparison: Proof-of-Work Outperforms Proof-of-Stake
This research systematically compares the formal security properties of Proof-of-Work and Proof-of-Stake, clarifying their inherent guarantees and trade-offs.
