A Composable Game-Theoretic Framework for Blockchains. - Zeta Avarikioti; Georg Fuchsbauer; Pim Keer; Matteo Maffei; Fabian Regen (CoRR, 2025)