Crypto Gloss

Ethereum Yellow Paper: Spesifikasi Formal EVM, Gas, dan Fungsi Transisi State oleh Gavin Wood

Penulis Wood, Gavin
Tahun 2014
Proyek Ethereum
Lisensi Creative Commons BY-SA 4.0
Sumber Resmi ethereum.github.io/yellowpaper/paper.pdf
Disclaimer: Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi. Konten ini disajikan untuk tujuan pendidikan semata dan bukan merupakan saran investasi atau keuangan. Selalu baca dokumen asli dan lakukan riset mandiri sebelum mengambil keputusan keuangan apa pun.

Ethereum Yellow Paper — “Ethereum: A Secure Decentralised Generalised Transaction Ledger” — adalah spesifikasi matematika formal yang ditulis oleh Gavin Wood, co-founder Ethereum dan pendiri masa depan Polkadot, pertama kali diterbitkan pada 2014. Sementara whitepaper asli Buterin menggambarkan apa yang akan dilakukan Ethereum, Yellow Paper menentukan bagaimana tepatnya melakukannya, menggunakan notasi matematika formal yang cocok untuk implementasi independen berganda.

Yellow Paper tetap menjadi dokumen hidup. Meski diperbarui selama bertahun-tahun oleh Ethereum Foundation, ini adalah salah satu dokumen paling padat secara teknis dan paling banyak direferensikan dalam seluruh blockchain. Setiap implementasi client Ethereum (Geth, Nethermind, Besu, Erigon) pada akhirnya merupakan implementasi dari spesifikasi Yellow Paper.

Konteks: Dari Visi Informal ke Spesifikasi Formal

Whitepaper Ethereum Buterin (2013–2014) visioner tetapi informal — menggambarkan ide, bukan detail implementasi. Wood melengkapinya. Penerbitan April 2014 Yellow Paper mendefinisikan sistem Ethereum secara cukup ketat sehingga tim independen dapat membangun klien yang kompatibel tanpa ambiguitas.

Wood sendiri kemudian memimpin pengembangan Solidity (bahasa Ethereum high-level pertama) dan protokol Whisper dan Swarm sebelum berangkat untuk mendirikan Parity Technologies dan kemudian Web3 Foundation (Polkadot).

World State dan State Transition

Sistem Ethereum didefinisikan sebagai world state σ — pemetaan dari alamat Ethereum 160-bit ke objek akun. Setiap akun berisi:

  • Nonce: Hitungan transaksi atau deployment contract
  • Balance: Dalam Wei (denominasi ETH terkecil)
  • Storage root: Merkle root dari penyimpanan persisten akun
  • Code hash: Hash bytecode akun, atau hash kosong untuk EOA

Fungsi transisi state Υ(σ, T) = σ’ memetakan world state dan transaksi sebelumnya ke world state baru. Yellow Paper menentukan Υ secara formal dalam setiap detail: verifikasi tanda tangan, validasi nonce, pengurangan gas prepayment, routing pembuatan contract vs. pesan call, eksekusi EVM, refund gas, pembayaran coinbase.

Ethereum Virtual Machine (EVM)

Kontribusi sentral Yellow Paper adalah spesifikasi formal EVM — virtual machine berbasis stack 256-bit dengan instruction set (opcode) tertentu, biaya gas per opcode, dan model memori dan penyimpanan yang terdefinisi dengan baik.

Properti Spesifikasi
Arsitektur Berbasis stack, word size 256-bit
Kedalaman stack Maksimum 1024 item
Memori Byte-addressable, ekspansi 32-byte, biaya memori kuadratik
Penyimpanan Key-value store persisten, kunci dan nilai 256-bit
Model gas Setiap opcode memiliki biaya gas terdefinisi
Turing-complete Ya — dengan gas sebagai mekanisme halting

Gas adalah mekanisme yang mencegah loop tak terbatas — setiap opcode mengkonsumsi gas, dan eksekusi berhenti jika gas habis. Yellow Paper menentukan biaya gas tepat untuk setiap opcode (meskipun ini telah diperbarui melalui EIP selama bertahun-tahun).

Struktur Data

Formalisme Yellow Paper memanfaatkan:

  • Modified Merkle Patricia Tries untuk semua penyimpanan state
  • RLP (Recursive Length Prefix encoding) untuk serialisasi
  • Keccak-256 hashing (varian SHA-3)
  • secp256k1 ECDSA untuk tanda tangan

Catatan Realistis

  • Yellow Paper adalah dokumen teknis yang sangat padat — disebut demikian karena dicetak dalam format kertas kuning dan dianggap oleh beberapa pengembang lebih sulit dari whitepaper Buterin yang lebih aksesibel.
  • Relevansi berkelanjutan: Setiap kali EIP mengubah biaya opcode atau menambahkan opcode baru (seperti EIP-1559, EIP-4844), Yellow Paper diperbarui. Ini masih menjadi sumber kebenaran untuk implementasi klien.
  • Warisan Gavin Wood: Keterlibatan Wood dalam Ethereum berlangsung singkat (ia meninggalkan proyek pada 2016) tetapi kontribusinya — Yellow Paper, Solidity, Whisper — membentuk Ethereum seperti yang kita kenal. Karyanya selanjutnya (Polkadot, Substrate) membuktikan lebih lanjut kaliber tekniknya.

Warisan

Yellow Paper menetapkan standar untuk apa artinya mendokumentasikan blockchain secara formal. Sebelum Yellow Paper, tidak ada preseden untuk menentukan VM blockchain menggunakan notasi matematika formal. Pendekatan ini memungkinkan beberapa tim independen membangun klien Ethereum yang kompatibel — diversitas klien yang menjadi properti keamanan penting. Spesifikasi EVM Yellow Paper menjadi template untuk semua chain kompatibel-EVM selanjutnya.

Istilah Terkait

Referensi