“Casper the Friendly Finality Gadget” (Casper FFG) oleh Vitalik Buterin dan Virgil Griffith (2017) memperkenalkan mekanisme PoW/PoS hibrida untuk Ethereum: sebuah finality gadget PoS yang dilapisi pada rantai PoW yang ada (dan kemudian diadaptasi untuk PoS murni). Tidak seperti pengganti PoS penuh, Casper FFG menambahkan finalitas ekonomi ke blockchain berbasis aturan fork-choice apa pun.

Casper FFG adalah leluhur langsung dari konsensus Ethereum saat ini (digunakan sejak The Merge, September 2022), dikombinasikan dengan LMD-GHOST dalam protokol Gasper.

Konsep Inti: Checkpoint

Daripada memfinalisasi setiap blok, Casper FFG beroperasi pada checkpoint — blok batas epoch setiap 32 slot dalam deployment Ethereum (~6,4 menit per epoch). Validator memvoting pasangan checkpoint (sumber, target).

Justifikasi dan Finalisasi

• Checkpoint menjadi justified ketika 2/3+ validator berdasarkan stake telah memvoting tautan (sumber → target) di mana sumber sudah dijustifikasi.
• Checkpoint menjadi finalized ketika checkpoint yang dijustifikasi memiliki anak yang dijustifikasi — yaitu rantai telah mengkonfirmasi satu checkpoint lagi setelahnya.

Setelah difinalisasi, membalikkan checkpoint akan mengharuskan penyerang membakar 1/3+ dari total ETH yang di-stake — membuat serangan sangat mahal secara astronomis.

Kondisi Slashing: Dua Comandemen

Casper FFG memperkenalkan dua “comandemen”:

1. Tidak ada double voting: Validator tidak dapat mempublikasikan dua voting berbeda untuk epoch target yang sama.
2. Tidak ada surround voting: Validator tidak dapat mempublikasikan voting yang “mengelilingi” (superset dari) rentang sumber-target voting sebelumnya.

Melanggar keduanya membuat stake validator dapat di-slash (seluruh stake dibakar, validator dihapus).

Jaminan Slashing 1/3

Teorema keamanan inti: Di bawah Casper FFG, jika dua checkpoint yang bertentangan difinalisasi, setidaknya 1/3 dari total stake harus telah melanggar kondisi slashing.

Ini adalah jaminan “finalitas ekonomi”: membalikkan blok yang difinalisasi Casper mengharuskan penyerang kehilangan 1/3+ dari seluruh ETH yang di-stake — saat ini $10 miliar+ dalam kasus mainnet Ethereum.

Gasper: Casper FFG + LMD-GHOST

Konsensus Ethereum aktual pasca-Merge adalah Gasper — menggabungkan dua komponen:

• LMD-GHOST (Latest Message Driven GHOST): Aturan fork-choice yang memilih rantai dengan voting validator terbaru (bukan hanya rantai terpanjang).
• Casper FFG: Memberikan finalitas ekonomi di atas fork choice LMD-GHOST.

Dalam Gasper: validator menggunakan LMD-GHOST untuk memilih kepala rantai (untuk membangun/memvoting blok baru) sambil secara bersamaan menggunakan Casper FFG untuk memfinalisasi checkpoint setiap epoch.

Virgil Griffith

Virgil Griffith adalah peneliti Ethereum Foundation yang kemudian menghadapi kontroversi hukum signifikan karena memberikan presentasi di Korea Utara pada 2019 tentang penggunaan kripto untuk menghindari sanksi. Ia dihukum pada 2022. Kontribusinya pada Casper FFG (2017) mendahului kejadian tersebut.

Konteks Historis

Casper FFG dirancang sebagai batu loncatan pragmatis — Ethereum 1.0 (PoW) terlalu mapan untuk menggantikan konsensus secara langsung. Casper FFG dirancang sebagai overlay yang dapat diimplementasikan via kontrak pintar. Desain PoS Ethereum final (beacon chain, 2020) menginternalisasi Casper FFG secara native.

Istilah Terkait

• Casper FFG
• Proof of Stake
• The Merge
• Ethereum Beacon Chain Whitepaper

Referensi

• Buterin, V. & Griffith, V. (2017). Casper the Friendly Finality Gadget. arXiv:1710.09437. arxiv.org/abs/1710.09437
• Buterin, V. et al. (2020). Combining GHOST and Casper (Gasper). arXiv:2003.03052. arxiv.org/abs/2003.03052