Ethereum Yellow Paper

Ethereum Yellow Paper
Title	Ethereum Yellow Paper
Author	Gavin Wood
Subject	Ethereum protocol specification
Genre	Technical specification
Published	2014
Media type	PDF
Website	ethereum.github.io/yellowpaper

Ethereum Yellow Paper. Authored by Gavin Wood, co-founder of Ethereum and creator of the Solidity programming language, this technical document serves as the formal, mathematical specification for the Ethereum protocol. It provides a rigorous, academic foundation for the blockchain's operation, distinct from the more accessible Ethereum White Paper written by Vitalik Buterin. The paper's publication in 2014 was a critical step in transitioning Ethereum from a conceptual white paper to a fully implementable system, establishing a standard for client developers and researchers.

Overview and Purpose

The primary purpose of the document is to define the canonical behavior of the Ethereum network with mathematical precision, eliminating ambiguity for core developers. It was created to formalize the concepts initially proposed in the Ethereum White Paper, providing a definitive reference for building compliant Ethereum clients like Geth and Parity. This formalization was essential for ensuring consensus across the decentralized network, as it precisely details state transitions, transaction validity, and block validation rules. The paper's existence underpins the entire Ethereum ecosystem, from smart contract execution to the security assumptions of the proof-of-work consensus mechanism initially used.

Technical Specifications

The specification meticulously defines the core data structures of the Ethereum blockchain, including the world state, accounts, and the structure of block headers. It formally describes the RLP (Recursive Length Prefix) encoding scheme used for serializing data and the Merkle Patricia Trie for efficient state storage. The paper outlines the exact format and validation criteria for transactions and blocks, ensuring all participants in the network agree on the ledger's state. These specifications are foundational for node software and are critical for fork resolution and chain synchronization.

The Ethereum Virtual Machine (EVM)

A central component defined is the Ethereum Virtual Machine, a quasi-Turing-complete state machine that executes smart contract bytecode. The paper provides a complete formal model of the EVM, including its stack-based architecture, memory model, and storage environment. It enumerates the full set of opcodes, such as those for arithmetic, control flow, and cryptographic operations, specifying their gas cost and effect on machine state. This precise definition ensures that contracts behave identically across all implementations of the EVM, from the Frontier to the Berlin network upgrade.

Gas and Transaction Model

The document introduces and formalizes the concept of gas, a unit measuring computational effort, which is fundamental to Ethereum's security and resource management model. It specifies how every EVM operation consumes a precise amount of gas, with costs detailed in a schedule, and defines the transaction mechanism for purchasing gas with ether. The model prevents denial-of-service attacks by requiring upfront payment for computation and establishes rules for gas limits, gas price, and the handling of out-of-gas exceptions during contract execution.

Formal Execution Model

Using formal notation and lambda calculus-inspired semantics, the paper defines the state transition function, which is the heart of Ethereum's operation. This function, denoted as *Ξ*, takes the pre-transaction world state and a transaction as input, and outputs the post-execution state, gas used, and accrued logs. The model rigorously covers all execution paths, including contract creation via the `CREATE` opcode, message calls, and precompiled contract execution, ensuring deterministic outcomes across the network.

Cryptographic Primitives and Data Structures

The specification relies on established cryptographic constructs, primarily the Keccak-256 hash function (often called SHA-3), used for generating addresses, block hashes, and trie nodes. It details the use of Elliptic Curve Digital Signature Algorithm with the secp256k1 curve for transaction signing and address derivation. The Merkle Patricia Trie structure is formally defined as the method for cryptographically committing the world state and transaction lists within a block header, enabling efficient and verifiable light client proofs.

Influence and Historical Context

The Ethereum Yellow Paper has been profoundly influential, serving as the blueprint for multiple Ethereum client implementations and inspiring formal methods in blockchain development. Its approach influenced subsequent projects like Polkadot, also founded by Gavin Wood, and set a precedent for rigorous protocol specification in the space. The document has undergone several revisions, with contributions from researchers like Yoichi Hirai and Christian Reitwiessner, to reflect protocol upgrades through Ethereum Improvement Proposals such as the Byzantium and London hard forks, guiding Ethereum's evolution from proof-of-work towards its proof-of-stake consensus under the Ethereum 2.0 roadmap. Category:Ethereum Category:Technical specifications Category:2014 documents