Blockchains and distributed ledger technologies are the foundation of a novel system architecture that merges security aspects like robustness and transparency with economic aspects like incentivization and decentralized finance. The scope of the project is to develop and improve the building blocks for modern blockchain systems at various levels including the formal design of fast consensus algorithms, multi-resource designs, as well as improving the game-theoretic and economic properties of existing blockchain systems.