| Penulis | Kiayias, Aggelos; Russell, Alexander; David, Bernardo; Oliynykov, Roman |
| Tahun | 2017 |
| Proyek | Cardano |
| Lisensi | IACR Open Access |
| Sumber Resmi | https://eprint.iacr.org/2016/889.pdf |
Halaman ini merupakan ringkasan dan analisis edukatif dari whitepaper atau makalah teknis resmi, yang ditulis untuk tujuan referensi. Ini bukan reproduksi verbatim. CryptoGloss tidak mengklaim kepengarangan atas karya asli. Seluruh hak kekayaan intelektual tetap menjadi milik penulis asli. Dokumen resmi tertaut di atas.
“Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol” adalah makalah penelitian peer-reviewed yang diterbitkan pada CRYPTO 2017, ditulis oleh Aggelos Kiayias (University of Edinburgh / IOHK) bersama tim. Ini adalah makalah akademis yang menggambarkan Ouroboros — algoritma proof-of-stake pertama yang terbukti secara formal aman dalam model keamanan yang dapat didefinisikan secara kriptografis.
Makalah tersedia di IACR ePrint: 2016/889.
Publikasi dan Konteks
Pada 2017, Proof of Stake masih kontroversial. Kontraktor Bitcoin umumnya menolak PoS karena “tidak ada yang dipertaruhkan” — tidak ada biaya fisika yang mencegah validator memilih fork yang berbeda. Klaim “PoS aman” sangat banyak tetapi analisis keamanan formal sangat langka.
IOHK dan Charles Hoskinson mendirikan Cardano dengan premis bahwa setiap keputusan desain protokol harus bisa diverifikasi secara akademis. Ouroboros adalah hasilnya — bukan desain ad hoc, melainkan makalah peer-reviewed yang dipresentasikan di salah satu konferensi kriptografi paling bergengsi di dunia.
Ouroboros: PoS yang Terbukti Aman
Keamanan Ouroboros dibuktikan dalam model UC (Universal Composability) — kerangka standar dalam kriptografi untuk membuktikan bahwa protokol tetap aman saat dikombinasikan dengan protokol lain. Bukti formal menunjukkan bahwa Ouroboros aman terhadap penyerang yang mengontrol kurang dari 50% stake.
Mekanisme inti:
- Slot dan Epoch: Waktu dibagi menjadi epoch (5 hari di mainnet) dan slot (1 detik). Setiap slot, satu slot leader dipilih untuk menghasilkan blok.
- Pemilihan Slot Leader: Probabilitas dipilih sebanding dengan stake. Ouroboros menggunakan protokol coin-flipping MPC untuk menghasilkan randomness yang tidak dapat dimanipulasi untuk pemilihan pemimpin.
- Stake Pool: Ada yang men-stake ADA mereka ke dalam stake pool, yang dioperasikan oleh pool operator; pool operator mewakili delegator dalam konsensus.
Varian Ouroboros
| Varian | Kontribusi |
|---|---|
| Ouroboros (2017) | Protokol PoS pertama yang terbukti aman; digunakan di mainnet Byron |
| Ouroboros Praos (2018) | Menambahkan VRF untuk pemilihan pemimpin privat (pemimpin tidak diketahui sampai mereka memproduksi blok) |
| Ouroboros Genesis (2018) | Memungkinkan node baru untuk bootstrap dengan aman dari genesis tanpa checkpoint tepercaya |
| Ouroboros Chronos (2021) | Menambahkan sinkronisasi waktu aman — protokol tidak bergantung pada jam eksternal yang dipercaya |
Relevansi dengan Kerangka Filosofis Cardano
Cardano membangun di atas Ouroboros dengan pendekatan yang lebih luas: setiap komponen harus melewati penelitian akademis dan verifikasi formal sebelum diterapkan. Bahasa smart contract Plutus menggunakan Haskell dan model eksekusi formal. Desain token native menghindari smart contract untuk transfer nilai yang sederhana. Roadmap tata kelola Voltaire menambahkan pemungutan suara onchain berdasarkan penelitian ekonomi tata kelola formal.
Kritik terhadap Pendekatan Cardano
Rigor akademis Cardano sering dikritik karena memperlambat pengiriman fitur dibandingkan kompetitor. Smart contract baru diaktifkan di mainnet Cardano pada September 2021 — bertahun-tahun setelah Ethereum, Solana, dan Avalanche. Para pendukung berpendapat bahwa pendekatan kehati-hatian ini menghasilkan fondasi yang lebih dapat diandalkan; para pengkritik berpendapat bahwa kecepatan iterasi praktis lebih penting dari keoptimalan teoritis.
Istilah Terkait
Referensi
- Kiayias, A. et al. (2017). Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. CRYPTO 2017. — Sumber utama.
- David, B. et al. (2018). Ouroboros Praos: An Adaptively-Secure, Semi-Synchronous Proof-of-Stake Blockchain. EUROCRYPT 2018. — Makalah Praos.