This book is the first to present the state of the art and provide technical focus on the latest advances in the foundations of blockchain systems. It is a collaborative work between specialists in cryptography, distributed systems, formal languages, and economics, and addresses hot topics in blockchains from a theoretical perspective: cryptographic primitives, consensus, formalization of blockchain properties, game theory applied to blockchains, and economical issues.

This book reflects the expertise of the various authors, and is intended to benefit researchers, students, and engineers who seek an understanding of the theoretical foundations of blockchains.

PrefaceAcknowledgmentsCryptographic Tools for BlockchainsA Consensus Taxonomy in the Blockchain EraThe Next 700 Smart Contract LanguagesFormalization of Blockchain PropertiesAdversarial Cross-Chain CommerceStrategic Interactions in Blockchain: A Survey of Game-Theoretic ApproachesBankruptcy Solutions as Reward Functions in Mining PoolsTokens and ICOs: A Review of the Economic LiteratureEditors Biographies