Rigorous analysis of blockchain protocols, incentive alignment, and the future of digital institutions.