“Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability” (ACM CCS 2018) adalah makalah dari peneliti IOHK yang memperluas protokol Ouroboros Praos untuk menangani ketersediaan dinamis — kemampuan node untuk bergabung dengan protokol di tengah eksekusi tanpa harus online sejak genesis.

Ini memecahkan kerentanan fundamental dalam sistem PoS: long-range attack. Dalam PoW, menulis ulang sejarah memerlukan pengulangan pekerjaan komputasi yang sangat besar; dalam PoS naif, sekelompok stakeholder dari epoch lama secara teoritis dapat merekonstruksi seluruh sejarah alternatif (mereka memegang stake saat itu, dan stake = kekuatan penandatanganan dalam PoS). Ouroboros Genesis menutup serangan ini tanpa mengharuskan node selalu online atau mengandalkan checkpoint yang dipercaya.

Masalah Long-Range Attack dalam PoS

Dalam blockchain PoS, kekuatan penandatanganan validator berasal dari stake mereka pada saat mereka memvalidasi. Penyerang yang:

1. Membeli atau mencuri kunci privat lama dari stakeholder yang merupakan validator di epoch sebelumnya
2. Kini telah menjual atau memindahkan stake mereka (sehingga tidak memiliki stake saat ini)

…masih bisa menandatangani kembali blok untuk epoch lama tersebut — berpotensi membuat rantai alternatif dari epoch tersebut ke depan. Node yang baru bergabung (tanpa riwayat) mungkin menerima rantai alternatif ini jika tampak valid.

Solusi yang digunakan dalam praktik sebelum Genesis:

• Checkpointing: Node meng-hardcode hash blok terkini → membutuhkan kepercayaan, mengurangi desentralisasi
• Key-evolving cryptography: Kunci forward-secure mencegah kompromi kunci masa lalu → digunakan dalam Ouroboros Praos
• Genesis rule (baru): Node yang baru bergabung lebih memilih rantai yang “lebih padat” dalam jendela tertentu

Aturan Genesis: Inovasi Inti

Kontribusi baru utama dibandingkan Praos:

Node yang bergabung dengan jaringan menggunakan aturan pemilihan rantai berdasarkan kepadatan lokal: ketika membandingkan dua rantai yang berdivergensi, protokol lebih menyukai rantai dengan lebih banyak blok dalam periode segera setelah titik fork (dalam jendela sepanjang k blok).

Mengapa ini berhasil: Peserta protokol jujur menghasilkan blok pada tingkat yang diharapkan (dibatasi oleh stake aktual). Penyerang yang forking dari epoch lama dapat menghasilkan blok secepat yang diizinkan oleh stake lama mereka, tetapi stake jujur telah bergerak maju — penyerang tidak dapat memalsukan kepadatan rantai jujur.

Perbandingan kepadatan ini memungkinkan node yang baru bergabung untuk membedakan rantai jujur dan permusuhan tanpa checkpoint tepercaya apa pun dan tanpa memerlukan kehadiran online terus-menerus sejak genesis.

Model Keamanan Formal

Ouroboros Genesis terbukti aman dalam kerangka Universal Composability (UC) — standar emas untuk keamanan protokol kriptografi. Komposabilitas UC berarti protokol dapat dikombinasikan dengan aman dengan komponen protokol lain tanpa keamanan rusak.

Makalah membuktikan keamanan di bawah:

• Korupsi adaptif (penyerang memilih node mana yang dikompromikan setelah melihat protokol)
• Hingga minoritas stake yang bermusuhan
• Partisipasi dinamis (node dapat offline dan bergabung kembali)

Keluarga Ouroboros Cardano

Layer konsensus Cardano telah melalui empat varian Ouroboros:

Catatan Realistis

• Ouroboros adalah salah satu protokol PoS yang paling ketat secara akademis — setiap varian adalah makalah konferensi yang ditinjau sejawat dengan bukti keamanan formal (CRYPTO, Eurocrypt, ACM CCS).
• Riset vs. deployment: Meskipun rigorous secara akademis, Cardano telah dikritik karena kecepatan deployment yang lambat. Ouroboros Genesis diumumkan pada 2018 tetapi implementasi penuh di Cardano masih dalam pengembangan per 2024.
• Kepraktisan: Aturan kepadatan Genesis efisien secara komputasi — tidak menambahkan overhead komunikasi yang signifikan dibandingkan Praos, sambil menyelesaikan kerentanan long-range attack yang fundamental.

Warisan

Makalah Ouroboros Genesis memecahkan salah satu masalah teoritis yang paling penting dalam desain PoS: memungkinkan node yang baru bergabung untuk bootstrap dengan aman tanpa kepercayaan terpusat. Ini adalah kontribusi penelitian keamanan PoS yang tahan lama, terlepas dari lintasan pasar Cardano itu sendiri.

Istilah Terkait

• Ethereum Beacon Chain Whitepaper
• Tendermint Whitepaper
• Proof of Stake

Referensi

• Badertscher, C., et al. (2018). Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. ACM CCS 2018. eprint.iacr.org/2018/378.pdf