provably fairdiceguide
Anda mengesahkan dadu backgammon dengan satu janji yang diberikan sebelum permainan dan diperiksa selepasnya. Orion menerbitkan komitmen SHA-256 bagi satu benih rahsia sebelum lemparan pertama anda, mendedahkan benih itu apabila permainan tamat, dan membiarkan pelayar anda mengira semula setiap lemparan di orion.arthea.ai/verify hanya dengan id permainan. Jika semuanya sepadan, dadu itu sudah terkunci sebelum permainan bermula, dan tiada sesiapa, termasuk kami, memesongkannya.
Setiap pemain dalam talian kenal perasaan itu. Anda menari di bar selama tiga gerakan. Lawan menemui satu nombor yang mengena sekali gus menutup. Di papan kayu anda akan mengangkat bahu, kerana anda nampak dadu keluar dari cawan. Dalam talian anda diminta mempercayai satu nombor yang anda tidak pernah lihat terhasil. Kepercayaan itulah yang kami tidak mahu minta. Kami mahu menjadikannya boleh diperiksa.
Apa sebenarnya maksud commit-reveal?
Bayangkan sampul yang dimeterai. Sebelum anda duduk, rumah menulis dadu malam itu ke dalamnya, memeterainya, dan menghulurkan kepada anda gambar meterai itu. Apabila permainan tamat, sampul itu dibuka. Jika isinya sepadan dengan meterai, lemparan itu sudah wujud sebelum permainan, dan tiada apa-apa boleh dicedok di tengah jalan untuk mencederakan anda. Commit-reveal ialah sampul itu, dibina daripada aritmetik. Meterainya ialah cincangan SHA-256, dan tiada siapa boleh menghasilkan benih lain yang muat padanya. Empat langkah membawa bukti itu dari pelayan kami ke pelayar anda.
Sebelum permainan. Pelayan mengambil satu benih rawak rahsia dan mencincangnya dengan SHA-256. Cincangan itulah komitmen, dan ia dilekatkan pada permainan anda sebelum lemparan pertama. Dari saat itu, dadu seluruh permainan sudah terkunci. Pelayan telah menerbitkan satu janji yang ia tidak lagi boleh sunting.
Semasa permainan. Setiap lemparan diterbitkan daripada benih itu dengan HMAC-SHA256: masuknya benih dan nombor lemparan, keluarnya dua dadu. Kedudukan papan, mata perlawanan, kiub, siapa yang hampir menang: tiada satu pun daripadanya masuk ke dalam pengiraan. Pelayan tidak memilih lemparan. Ia membacakan senarai yang telah mengikatnya sebelum anda bermain.
Apabila permainan tamat. Benih itu didedahkan dan disimpan bersama rekod permainan. Itulah pembukaan sampul. Sesiapa sahaja boleh mencincang benih yang didedahkan dan membandingkannya dengan komitmen yang diterbitkan sebelum gerakan pertama, dan kedua-duanya mesti serupa.
Sahkan sendiri. Buka orion.arthea.ai/verify dengan mana-mana pelayar dan masukkan id permainan. Halaman itu mengira semula segalanya secara setempat dengan Web Crypto, iaitu kriptografi yang terbina dalam pelayar itu sendiri: mula-mula SHA-256 bagi benih yang didedahkan terhadap komitmen asal, kemudian setiap lemparan dalam permainan, dadu demi dadu. Tiada akaun, tiada aplikasi, kira-kira satu minit.
Padanan penuh menetapkan tiga fakta sekali gus:
- Benih yang didedahkan mencincang menjadi tepat komitmen yang diterbitkan sebelum lemparan pertama
- Setiap lemparan dalam permainan terbit daripada benih itu melalui HMAC-SHA256, jadi tiada apa-apa dilempar semula atau ditukar
- Dadu tidak pernah disesuaikan dengan kedudukan papan, mata perlawanan atau pemain
Apa yang akan dibuktikan oleh ketidakpadanan?
Ketidakpadanan bukanlah kesilapan paparan. Ia satu bukti. Jika benih yang didedahkan tidak mencincang menjadi komitmen itu, dadu telah diubah selepas permainan bermula. Jika satu lemparan pun gagal pemeriksaan HMAC, dadu yang anda lihat bukanlah dadu yang telah dijanjikan. Kedua-dua kerosakan itu ialah bukti gangguan yang boleh dihasilkan semula oleh sesiapa sahaja daripada rekod yang sama, pada mana-mana mesin, selama-lamanya.
Dan justeru itulah anda sepatutnya tidak akan pernah melihatnya. Komitmen diterbitkan dahulu, sebelum satu buah pun bergerak. Rumah yang mahu memesong permainan ini terpaksa menerbitkan bukti penipuannya sendiri terlebih dahulu, kemudian menghulurkan kepada setiap pemain alat untuk menemuinya. Kami tidak meminta anda percaya kami jujur. Kami membina sistem ini supaya anda tidak perlu.
Tiada siapa boleh membidik lemparan yang telah dimeterai sebelum permainan bermula.
Jika dadu terbukti adil, mengapa lemparan saya tetap buruk?
Kerana dadu yang adil tetap dadu. Anda akan tersekat di bar. Anda perlukan apa-apa sahaja selain 2-1, dan 2-1 itulah yang datang. Merentasi beribu permainan nombor akan mendatar ke arah taburan sebenar, tetapi satu malam tidak menjanjikan apa-apa. Yang dibuang oleh pengesahan ialah soalan di bawah kegusaran itu. Lemparan ajaib itu sudah terkunci sebelum sesiapa antara kamu berdua menyentuh buah, dan ia tidak membidik anda. Mengetahuinya tidak melembutkan lemparan itu. Tetapi ia membenarkan anda berhenti menyiasat alam semesta dan kembali kepada kedudukan papan.
Dadu ialah syak yang paling besar, tetapi bukan satu-satunya. Pelayan yang sama yang mengikat dirinya kepada lemparan anda turut mengesahkan setiap gerakan di puncanya, jadi aplikasi yang diubah suai tidak boleh menyeludup satu buah ke tempat yang tidak dibenarkan peraturan. Lemparan yang adil dan gerakan yang sah datang daripada kuasa yang sama.
Bolehkah saya mencuba pengesahan itu sekarang?
Boleh. Pengesahan itu sudah beroperasi hari ini di orion.arthea.ai/verify dan mengandungi main semula demo, jadi anda boleh melihat satu pengesahan penuh berjalan pada permainan contoh tanpa memasang apa-apa dan tanpa membuka akaun. Pintu di orion.arthea.ai/go membawa pautan App Store dan Google Play serta sentiasa menunjukkan apa yang tersedia sekarang.