Crypto Gloss

Ouroboros: Protokol Proof-of-Stake Pertama dengan Bukti Keamanan Formal

Penulis Kiayias, Aggelos; Russell, Alexander; David, Bernardo; Oliynykov, Roman
Tahun 2017
Proyek Cardano
Lisensi CC-BY
Sumber Resmi eprint.iacr.org/2016/889.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.

Paper Ouroboros — dipresentasikan di CRYPTO 2017 (salah satu dari tiga konferensi kriptografi akademis utama) oleh Aggelos Kiayias, Alexander Russell, Bernardo David, dan Roman Oliynykov — adalah protokol konsensus blockchain pertama yang menerima bukti keamanan kriptografis formal: membuktikan bahwa sistem proof-of-stake mencapai persistensi dan liveness yang setara dengan proof-of-work Bitcoin di bawah asumsi honest majority. Paper ini menjadi fondasi teoritis untuk blockchain Cardano (ADA).

Publikasi dan Konteks

Sebelum Ouroboros, sistem proof-of-stake (Peercoin, proposal PoS Ethereum awal) beroperasi tanpa bukti keamanan formal — keamanan mereka hanya bersifat intuitif atau dianalisis secara heuristik. Para kritikus berargumen bahwa PoS memiliki kerentanan fundamental seperti masalah “nothing-at-stake” — validator dapat memvoting beberapa fork rantai secara bersamaan dengan biaya mendekati nol, tidak seperti penambang PoW yang membuang energi untuk rantai yang kalah.

Ouroboros mengatasi ini: menggunakan pemodelan kriptografis formal (UC framework), penulis membuktikan bahwa konstruksi mereka mencapai:

  1. Persistensi: Setelah transaksi berada k blok di kedalaman, transaksi tersebut akan tetap dalam ledger peserta jujur mana pun selamanya
  2. Liveness: Transaksi apa pun yang disiarkan ke jaringan pada akhirnya akan disertakan dalam ledger peserta jujur

Struktur Epoch-Slot dan Pemilihan Leader

Ouroboros membagi waktu menjadi epoch dengan panjang tetap, dan setiap epoch dibagi menjadi slot (jendela waktu diskrit). Untuk setiap slot, satu slot leader dipilih untuk memproduksi blok.

Pemilihan leader dilakukan via protokol coin-tossing aman yang dapat diverifikasi: peserta secara kolaboratif menghasilkan angka acak yang tidak dapat diprediksi per epoch — tidak ada koalisi kecil penyerang yang dapat membiaskan pemilihan ini lebih dari probabilitas yang dapat diabaikan.

Probabilitas menjadi slot leader sebanding dengan stake peserta (fraksi total ADA yang dipegang) — membuat pemilihan leader secara statistik adil.

Ouroboros Praos dan Genesis

Paper asli Ouroboros membutuhkan peserta yang selalu online. Dua varian kemudian meningkatkan ini:

  • Ouroboros Praos (2018): Menghilangkan persyaratan sinkronisitas ketat; aman dalam model jaringan semi-sinkron (peserta dapat offline sementara)
  • Ouroboros Genesis (2018): Memungkinkan bootstrap aman oleh node baru yang bergabung ke rantai — tanpa memerlukan checkpoint terpercaya

Cardano mengimplementasikan Ouroboros Praos di upgrade Shelley-nya (Juli 2020) — mengaktifkan staking desentralisasi untuk komunitas ADA.

Nothing-at-Stake: Bagaimana Ouroboros Mengatasinya

Ouroboros mencegah nothing-at-stake melalui komitmen kriptografis: slot leader memilih dan berkomit pada satu rantai menggunakan protokol tanda tangan kriptografis. Memvoting beberapa fork memerlukan mengungkapkan kunci pribadi (yang memungkinkan pihak lain mencuri stake). Ini menciptakan insentif ekonomi untuk jujur yang mirip dengan biaya energi PoW.

Formalisme Akademis dan Dampak Industri

Pendekatan Ouroboros — menulis paper akademis peer-reviewed sebelum deployment produksi — sangat kontras dengan pendekatan “move fast” sebagian besar blockchain. Cardano (IOHK/IOG di bawah Charles Hoskinson) berkomitmen pada “Evidence-Based Blockchain Development”: setiap komponen protokol utama memiliki paper akademis yang dipresentasikan di konferensi peer-reviewed.

Istilah Terkait

Referensi