fairnessprovably fairexplainer
RNG bersertifikat berarti sebuah laboratorium independen memeriksa pembangkit bilangan acak pada suatu waktu dan menilai keluarannya sehat secara statistik. Adil yang terbukti berarti permainan menyerahkan kepada setiap pemain tanda terima kriptografis atas pertandingannya sendiri, sehingga setiap lemparan bisa diperiksa ulang tanpa memercayai siapa pun. Model yang satu mengaudit mesinnya. Yang lain membuktikan permainanmu.
Kedua ungkapan itu muncul di halaman kepercayaan permainan daring yang melempar dadu untukmu, dan keduanya terdengar bisa saling ditukar. Tidak bisa. Keduanya menjawab pertanyaan berbeda, gagal dengan cara berbeda, dan perbedaan itu menentukan apa yang diminta untuk kau percayai ketika kau duduk bermain.
Apa yang sebenarnya disertifikasi oleh RNG bersertifikat?
Laboratorium sertifikasi mengambil sebuah pembangkit, mengalirkan keluarannya lewat rangkaian uji statistik, dan memburu kemiringan: angka yang terlalu sering muncul, pola yang berulang, deret yang menyimpang. Jika jutaan sampel tampak tak terbedakan dari kebetulan, laboratorium menandatangani sertifikat. Pekerjaan itu nyata dan menuntut keahlian. Ia menegakkan bahwa pembangkit tersebut, sebagaimana diuji, pada hari itu, menghasilkan keacakan yang sehat.
Perhatikan apa yang tidak bisa dilihat sertifikat itu. Ia diterbitkan di laboratorium, sedangkan dadumu dilempar di server.
- Apakah kode yang diuji adalah kode yang terpasang, berbulan-bulan dan banyak pembaruan kemudian.
- Sambungan antara pembangkit dan permainanmu: kode yang mengubah angka acak mentah menjadi 6 dan 4 milikmu.
- Lemparan mana pun dalam pertandingan mana pun. Sertifikasi berbicara tentang pembangkit secara umum, tak pernah tentang permainanmu Selasa malam.
Jadi sertifikasi membawa klausul kedua yang tak terucap: percayalah bahwa tak ada yang berubah sejak pengujian, dan percayalah bahwa jalur bersertifikat itulah jalur yang benar-benar dilalui permainanmu. Sebagian besar studio menghormatinya. Persoalannya, kau tidak bisa memeriksanya. Modelnya adalah pemeriksaan mesin pada satu saat, disusul kepercayaan pada pemasangan di setiap saat sesudahnya.
Apa arti adil yang terbukti?
Adil yang terbukti adalah kesepakatan lain. Alih-alih menunjuk audit yang tak pernah kau lihat, permainan berkomitmen pada keacakannya sebelum permainan dimulai, lalu membuka cukup banyak sesudahnya agar kau bisa menghitung ulang setiap lemparan sendiri. Buktinya ikut bepergian bersama pertandingan. Dalam praktiknya ia bekerja seperti amplop tersegel.
Komitmen. Sebelum langkah pertama, server membangkitkan benih rahasia dan menerbitkan sidik jari SHA-256-nya. Sidik jari itu tidak mengungkap apa pun tentang lemparan yang akan datang, tetapi ia memaku benihnya di tempat. Ubah satu bit saja pada benih itu nanti dan sidik jarinya tak lagi cocok.
Lemparan. Selama bermain, setiap lemparan diturunkan dari benih dengan HMAC-SHA256, satu perhitungan per lemparan. Dadu sudah ditentukan pada saat amplop disegel. Angka yang lebih ramah tak bisa diselipkan di tengah permainan tanpa merusak komitmen yang sudah diterbitkan.
Pembukaan. Setelah permainan, benih dibuka. Siapa pun bisa mengalirkannya lewat hash, membandingkannya dengan komitmen, menghitung ulang setiap lemparan, dan menaruh hasilnya di sebelah dadu yang muncul di papan. Kalau semuanya sejalan, permainan itu tak mungkin diarahkan. Kalau ada yang diutak-atik, matematikanya akan mengatakannya.
Kepercayaan berpindah dari perusahaan ke aritmetika. Kau tak perlu lagi percaya bahwa auditnya teliti atau pemasangannya setia. Kau butuh SHA-256 bertahan, dan itu asumsi yang sama yang disandari seluruh sisa internet setiap hari.
Sertifikat berkata koin itu adil pada hari kami melihatnya. Tanda terima berkata lemparanmu adil, dan memperlihatkan hitungannya.
Jadi sertifikasi masih penting?
Masih. Commit-reveal membuktikan kau menerima persis keacakan yang dikomitmenkan. Ia tidak membuktikan bahwa yang dikomitmenkan itu bagus sejak awal. Sumber benih yang lemah atau bisa ditebak tetap akan menghasilkan tanda terima yang lolos verifikasi dengan sempurna: pengiriman yang terbukti untuk dadu yang buruk. Menilai mutu sumbernya justru itulah gunanya audit dan uji statistik, dan di industri yang diatur, sertifikat memang wajib.
Kedua model menjawab pertanyaan yang berbeda. Audit bertanya: apakah keacakannya bagus? Tanda terima bertanya: apakah permainanku benar-benar memakainya? Sistem yang hanya punya yang pertama hidup di atas kepercayaan abadi pada pemasangan. Sistem yang hanya punya yang kedua bisa dengan setia mengirimkan dadu buruk dan membuktikannya. Sistem terkuat menutup kedua pintu.
Mengapa pemverifikasi publik itu penting?
Karena tanda terima yang tak bisa dibaca siapa pun tidak melindungi siapa pun. Sebagian permainan menerbitkan komitmen tetapi tidak memberi pemain cara praktis untuk memeriksanya, atau menyembunyikan verifikasi di dalam aplikasi yang justru sedang dipersoalkan. Itu tidak menutup lingkaran apa pun. Kalau satu-satunya alat yang bisa menjamin sebuah sistem adalah milik sistem itu sendiri, kau kembali ke kepercayaan, hanya dengan langkah tambahan.
Susunan terkuat menerbitkan tiga hal. Komitmen, sebelum permainan. Benih, sesudahnya. Dan cara publik yang independen untuk menghitung ulang lemparannya, berjalan di luar aplikasi. Itulah sebabnya pemverifikasi Orion tinggal di peramban, di orion.arthea.ai/verify: tanpa akun, tanpa pemasangan, dan kata-kata kami tidak ikut dalam pemeriksaan.