ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
📜 Abstract
The blockchain paradigm when coupled with cryptographically-secured transactions has demonstrated its utility through a number of projects, with Bitcoin being one of the most notable ones. Each such project can be seen as a simple application on a decentralised, but singleton, compute resource. We can call this paradigm a transactional singleton machine with shared-state. Ethereum implements this paradigm in a generalised manner. Furthermore it provides a plurality of such resources, each with a distinct state and operating code but able to interact through a message-passing framework with others. We discuss its design, implementation issues, the opportunities it provides and the future hurdles we envisage.
✨ Summary
The paper formally specifies Ethereum as a decentralised, transaction-based state machine. It defines the world state, accounts, transactions, blocks, receipts, withdrawals, gas accounting, cryptographic signing, Merkle Patricia tries, and the execution semantics of the Ethereum Virtual Machine. It also specifies contract creation, message calls, precompiled contracts, block validation, and the transition from proof of work to proof of stake in the Shanghai-era protocol.
Its principal influence has been specification-driven Ethereum development: the Ethereum Foundation describes the Yellow Paper as the technical and de facto specification for the EVM, supporting multiple client implementations that conform to a shared protocol definition. (blog.ethereum.org) Subsequent technical research has treated it as the primary formal source for Ethereum’s data structures, including account, transaction, storage, and Merkle Patricia trie representations. (arxiv.org) Bibliometric evidence also indicates substantial continued citation across information systems, computer networks, artificial intelligence, and related fields. (rankless.org)