provably fairdiceguide
Dadu backgammon diverifikasi dengan janji yang dibuat sebelum permainan dan diperiksa sesudahnya. Orion menerbitkan komitmen SHA-256 atas benih rahasia sebelum lemparan pertamamu, membuka benih itu ketika permainan berakhir, dan membiarkan peramban kamu menghitung ulang setiap lemparan di orion.arthea.ai/verify hanya dengan ID permainan. Jika semuanya cocok, dadu sudah ditetapkan sebelum permainan dimulai dan tak seorang pun, termasuk kami, mengarahkannya.
Setiap pemain daring tahu rasanya. Kau menari di bar selama tiga giliran. Lawanmu menemukan satu-satunya angka yang memukul sekaligus menutup. Di papan kayu kau akan mengangkat bahu, karena kau melihat dadu keluar dari cangkir. Secara daring kau diminta memercayai angka yang tak pernah kau lihat dihasilkan. Kami tidak ingin meminta kepercayaan itu. Kami ingin membuatnya bisa diperiksa.
Apa arti commit-reveal sebenarnya?
Bayangkan amplop tersegel. Sebelum kau duduk, bandar menuliskan seluruh dadu malam itu di dalamnya, menyegelnya, dan menyerahkan foto segelnya kepadamu. Ketika permainan usai, amplop dibuka. Jika isinya cocok dengan segelnya, berarti lemparan itu sudah ada sebelum permainan ada, dan tak ada yang bisa dipilih di tengah jalan untuk merugikanmu. Commit-reveal adalah amplop itu, dibangun dari aritmetika. Segelnya adalah hash SHA-256, dan tak seorang pun bisa membuat benih lain yang cocok dengannya. Empat langkah membawa buktinya dari server kami ke peramban kamu.
Sebelum permainan. Server mengambil benih acak rahasia dan mengalirkannya lewat SHA-256. Hash itulah komitmennya, dan ia dilekatkan pada permainanmu sebelum lemparan pertama. Sejak saat itu seluruh dadu permainan sudah ditentukan. Server telah menerbitkan janji yang tak lagi bisa disuntingnya.
Selama permainan. Setiap lemparan diturunkan dari benih dengan HMAC-SHA256: masuk benih dan nomor lemparan, keluar dua dadu. Posisi, skor, kubus, siapa yang hampir menang: tak satu pun masuk ke perhitungan. Server tidak memilih lemparan. Ia membacakan daftar yang sudah ia komitmenkan sebelum kau bermain.
Saat permainan berakhir. Benih dibuka dan disimpan bersama catatan permainan. Inilah saat amplop dibuka. Siapa pun bisa mengalirkan benih yang dibuka lewat hash dan membandingkannya dengan komitmen yang diterbitkan sebelum langkah pertama, dan keduanya harus persis sama.
Verifikasi sendiri. Buka orion.arthea.ai/verify di peramban mana pun dan masukkan ID permainan. Halaman itu menghitung ulang semuanya secara lokal dengan Web Crypto, kriptografi yang tertanam di peramban itu sendiri: pertama SHA-256 benih yang dibuka terhadap komitmen asli, lalu setiap lemparan permainan, dadu demi dadu. Tanpa akun, tanpa aplikasi, sekitar satu menit.
Kecocokan penuh menegakkan tiga fakta sekaligus:
- Benih yang dibuka menghasilkan persis komitmen yang diterbitkan sebelum lemparan pertama
- Setiap lemparan permainan diturunkan dari benih itu lewat HMAC-SHA256, jadi tak ada yang dilempar ulang atau ditukar
- Dadu tak pernah disesuaikan dengan posisi, skor, atau pemain
Apa yang akan dibuktikan oleh ketidakcocokan?
Ketidakcocokan bukan kesalahan tampilan. Itu bukti. Jika benih yang dibuka tidak menghasilkan komitmennya, dadu diubah setelah permainan dimulai. Jika satu lemparan saja gagal pemeriksaan HMAC, dadu yang kau lihat bukan dadu yang dikomitmenkan. Kedua kegagalan itu adalah bukti gangguan yang bisa direproduksi siapa pun dari catatan yang sama, di mesin mana pun, selamanya.
Justru karena itulah kau seharusnya tak pernah melihatnya. Komitmen diterbitkan lebih dulu, sebelum satu pul pun bergerak. Bandar yang ingin mencurangi permainan ini harus menerbitkan bukti kecurangannya sendiri lebih dulu, lalu menyerahkan kepada setiap pemain alat untuk menemukannya. Kami tidak meminta kau percaya bahwa kami jujur. Kami membangun sistemnya agar kau tak perlu.
Tak seorang pun bisa membidik lemparan yang sudah disegel sebelum permainan dimulai.
Kalau dadunya terbukti adil, kenapa lemparanku tetap buruk?
Karena dadu yang adil tetaplah dadu. Kau akan terkunci di bar. Kau butuh apa saja selain 2-1 dan yang keluar 2-1. Sepanjang ribuan permainan angka-angka merata menuju sebaran sebenarnya, tetapi satu malam tidak menjanjikan apa pun. Yang dihapus verifikasi adalah pertanyaan di balik rasa dongkolnya. Lemparan ajaib itu sudah ditetapkan sebelum kalian berdua menyentuh pul, dan ia tidak dibidikkan kepadamu. Mengetahuinya tidak akan melunakkan lemparan itu. Tetapi ia membuatmu berhenti mengaudit semesta dan kembali memainkan posisinya.
Dadu adalah kecurigaan paling nyaring, tapi bukan satu-satunya. Server yang sama yang berkomitmen atas lemparanmu juga memvalidasi setiap langkah di sumbernya, sehingga klien yang dimodifikasi tak bisa menyelipkan pul ke tempat yang tidak diizinkan aturan. Lemparan yang adil dan langkah yang sah datang dari otoritas yang sama.
Bisakah aku mencoba pemverifikasinya sekarang?
Bisa. Pemverifikasi sudah aktif hari ini di orion.arthea.ai/verify, dan di dalamnya ada tayangan ulang demo, jadi kau bisa menonton verifikasi penuh berjalan pada permainan contoh, tanpa memasang apa pun dan tanpa membuat akun. Pintu di orion.arthea.ai/go membawa tautan App Store dan Google Play serta selalu menunjukkan apa yang tersedia sekarang.