Vitalik's Annotated Ethereum 2.0 Specification

·

Ethereum 2.0—also known as Eth2 or Serenity—marks a transformative evolution in the Ethereum protocol. Originally drafted by Vitalik Buterin in mid-2020, this document offers a detailed, annotated look into the foundational specifications of Eth2, focusing on its shift from proof of work to proof of stake, the introduction of sharding, and the intricate mechanics that ensure scalability, security, and decentralization.

While the original content predates the full rollout of Ethereum's upgrades, including "The Merge," its insights remain crucial for understanding the architectural vision behind today’s Ethereum network.


Understanding Ethereum 2.0: Core Innovations

Ethereum 2.0 represents years of research into scalable consensus mechanisms. Two pivotal changes define this upgrade:

These innovations aim to solve Ethereum’s long-standing trilemma: achieving decentralization, security, and scalability simultaneously.

👉 Discover how modern blockchain networks achieve high performance with secure staking protocols.


What Are Proof of Stake and Sharding?

For a deeper dive, explore:

But in essence:


How Does Eth2 Sharding Work?

In Ethereum 1.0 (Eth1), the blockchain is a linear sequence of blocks, each containing transactions verified by all nodes.

Eth2 introduces two core components:

  1. Beacon Chain: The central coordination layer using proof of stake.
  2. Shard Chains: 64 parallel chains handling user transactions and data.

The beacon chain stores:

Each shard block is validated by a randomly selected committee of ~128 validators. For a shard block to become part of the canonical history, it must be:

  1. Valid.
  2. Referenced in the beacon chain via a crosslink.
⚠️ If the beacon chain references an invalid shard block (possible only under extreme attacks like a 51% scenario), the entire beacon chain is considered invalid. Invalid state transitions can never be finalized.

How Does Eth2 Proof of Stake Work?

Validators are the backbone of Eth2’s consensus. To become one:

  1. Deposit 32 ETH into the deposit contract.
  2. Enter an activation queue.
  3. Become an active validator after confirmation.

Time on the beacon chain is structured in:

Validator Responsibilities

Each epoch, validators submit an attestation, which includes:

When ⅔ of validators sign for a block, it becomes finalized—meaning it cannot be reversed, unlike in PoW where reorgs are possible.

Rewards, Penalties, and Slashing

Slashed validators face:

As long as you run reliable software and stay online >55–70% of the time, staking remains profitable.

Validators may exit voluntarily, but exit rates are capped per epoch. After exiting, they must wait ~1/8 of an eek before withdrawing funds—functionality enabled post-Merge.


Phases of Ethereum 2.0 Deployment

To minimize risk, Eth2 rolled out in stages:

PhaseDescription
Phase 0Beacon chain launch with PoS; no shard chains yet.
Phase 1Shard chains activated for data storage (not execution). Enables rollup scaling.
Phase 1.5 ("The Merge")Eth1 execution layer merges into Eth2; state transferred to one shard. Full transaction support begins.
Phase 2All shards support full smart contract execution.
Phase 3+ (Eth2.x)Ongoing optimizations for safety, efficiency, and scalability. Core structure remains stable.

👉 Learn how next-generation blockchains are evolving through phased upgrades.


Data Structure and Type System

The Eth2 specification uses SimpleSerialize (SSZ) for data encoding—a Merkle-compatible serialization format replacing RLP from Eth1.

Key SSZ Types

All functions are written in Python with strong typing for clarity and formal correctness.


Custom Types in Eth2

NameSSZ EquivalentPurpose
Slot, Epochuint64Time units
ValidatorIndexuint64Unique ID per validator
Gweiuint64Unit of ETH (1 ETH = 10⁹ Gwei)
RootBytes32Merkle root of SSZ objects
BLSPubkey / BLSSignatureBytes48 / Bytes96BLS12-381 cryptography for aggregation

Functions like get_block_root_at_slot(state: BeaconState, slot: Slot) -> Root clearly define inputs and outputs, improving readability and debuggability.


Core Configuration Constants

Several parameters balance security, efficiency, and decentralization:

Committee Size & Security

Validator Churn Limits

Deposit & Balance Rules

Validators below 16 ETH are ejected to maintain balance uniformity and committee stability.


Randomness and Committee Selection

True randomness doesn’t exist in blockchains—so Eth2 uses pseudo-randomness via:

The randao mix updates every block and determines future proposers and committees one epoch ahead.

Seed lookahead limits:

This prevents strategic validator entries/exits from influencing randomness unfairly.


Finality and Inactivity Leak

If finality stalls for 4 epochs, inactive validators face escalating penalties (inactivity leak). This quadratic penalty ensures eventual recovery by disincentivizing non-participation.

After ~10.67 eeks offline, a validator risks slashing if they rejoin during a hidden fork—this enforces weak subjectivity, requiring periodic client syncs for full security.


Frequently Asked Questions

Q: What happens if I go offline as a validator?

A: You’ll miss attestations and incur small penalties. If finality stalls for over 4 epochs, larger inactivity penalties apply. However, brief downtime is normal and manageable.

Q: Can I stake less than 32 ETH?

A: Not directly—but liquid staking protocols (e.g., Lido, Rocket Pool) allow pooled staking with smaller amounts.

Q: How secure is sharding?

A: Each shard is protected by random validator committees. With sufficient decentralization, compromising a shard requires controlling ~⅔ of its committee—statistically improbable.

Q: What is crosslinking?

A: A crosslink is a beacon chain reference to a shard block, confirming its inclusion in canonical history once validated by a committee.

Q: When did Ethereum complete The Merge?

A: The Merge occurred in September 2022, transitioning Ethereum fully to proof of stake by merging the Eth1 execution layer with the Eth2 beacon chain.

Q: Is Eth2 fully decentralized?

A: Yes—by design. Sharding and PoS lower entry barriers while maintaining security across a distributed validator set.


Conclusion

Vitalik’s annotated Eth2 spec lays the groundwork for a scalable, sustainable Ethereum. By integrating proof of stake, sharding, and robust cryptographic design, Ethereum evolves into a more efficient and accessible platform—capable of supporting global decentralized applications.

Understanding these core concepts empowers developers, validators, and users to engage confidently with Ethereum’s future.

👉 Explore secure staking opportunities on leading blockchain platforms today.