fairnessprovably fairexplainer
Penjana bertauliah bermaksud sebuah makmal bebas pernah pada satu ketika memeriksa penjana nombor rawak dan mendapati keluarannya kukuh dari segi statistik. Terbukti adil bermaksud permainan itu menghulurkan kepada setiap pemain satu resit kriptografi bagi permainannya sendiri, supaya setiap lemparan boleh dikira semula tanpa mempercayai sesiapa. Satu model mengaudit mesin. Satu lagi membuktikan permainan anda.
Kedua-dua istilah ini muncul di halaman kepercayaan permainan dalam talian yang melempar dadu untuk anda, dan kedengarannya boleh ditukar ganti. Ia tidak boleh. Ia menjawab soalan yang berbeza, ia rosak dengan cara yang berbeza, dan bezanya menentukan apa yang anda diminta percaya apabila anda duduk untuk bermain.
Apa sebenarnya yang ditauliahkan oleh penjana bertauliah?
Sebuah makmal pentauliahan mengambil penjana, menjalankan keluarannya melalui deretan ujian statistik, dan memburu kepincangan: nombor yang datang terlalu kerap, corak yang berulang, urutan yang hanyut. Jika berjuta sampel kelihatan tidak dapat dibezakan daripada kerawakan, makmal itu menandatangani sijil. Kerja itu nyata dan menuntut kemahiran. Ia menetapkan bahawa penjana itu, sebagaimana ia diuji, pada hari itu menghasilkan kerawakan yang kukuh.
Perhatikan apa yang sijil itu tidak dapat lihat. Ia dikeluarkan di dalam makmal, dan dadu anda dilempar pada sebuah pelayan.
- Sama ada kod yang diuji ialah kod yang disebar, berbulan dan berbelas kemas kini kemudian.
- Pendawaian antara penjana dengan permainan anda: kod yang menukar nombor rawak mentah menjadi 6 dan 4 anda.
- Mana-mana satu lemparan dalam mana-mana satu permainan. Pentauliahan bercakap tentang penjana secara umum, tidak pernah tentang permainan anda pada malam Selasa.
Jadi pentauliahan membawa satu fasal kedua yang senyap: percayalah bahawa tiada apa-apa berubah sejak ujian itu, dan percayalah bahawa laluan bertauliah itu ialah laluan yang benar-benar dilalui permainan anda. Kebanyakan studio memenuhinya. Intinya ialah anda tidak boleh memeriksa. Model ini ialah pemeriksaan mesin pada satu saat, diikuti kepercayaan kepada penyebaran pada setiap saat selepasnya.
Apa maksud terbukti adil?
Terbukti adil ialah perjanjian yang berbeza. Daripada menunjuk kepada audit yang anda tidak pernah lihat, permainan itu mengikat dirinya kepada kerawakannya sendiri sebelum bermula dan mendedahkan selepasnya cukup banyak untuk membolehkan anda mengira semula setiap lemparan sendiri. Bukti itu mengembara bersama permainan. Dalam praktiknya ia berfungsi seperti sampul yang dimeterai.
Komitmen. Sebelum gerakan pertama, pelayan menjana satu benih rahsia dan menerbitkan cap jari SHA-256 nya. Cap jari itu tidak mendedahkan apa-apa tentang lemparan yang akan datang, tetapi ia memaku benih itu. Tukar satu bit sahaja dalam benih itu kemudian, dan cap jari itu tidak lagi muat.
Lemparan. Semasa permainan, setiap lemparan diterbitkan daripada benih itu dengan HMAC-SHA256, satu pengiraan bagi setiap lemparan. Dadu itu sudah ditentukan pada saat sampul itu dimeterai. Nombor yang lebih baik hati tidak boleh diselitkan di tengah permainan tanpa memecahkan komitmen yang sudah diterbitkan.
Pendedahan. Selepas permainan, benih itu didedahkan. Sesiapa sahaja boleh mencincangnya, membandingkannya dengan komitmen, mengira semula setiap lemparan, dan meletakkan hasilnya bersebelahan dadu yang muncul di papan. Jika semuanya menjadi, permainan itu tidak mungkin dipesong. Jika ada yang diganggu, matematik akan memberitahunya.
Kepercayaan berpindah daripada syarikat kepada aritmetik. Anda tidak lagi perlu percaya bahawa auditnya menyeluruh atau penyebarannya setia. Anda perlukan SHA-256 bertahan, dan itulah andaian yang sama yang disandari seluruh internet setiap hari.
Sijil berkata syiling itu adil pada hari kami melihatnya. Resit berkata lemparan anda adil, dan menunjukkan kiraannya.
Jadi adakah pentauliahan masih bermakna?
Ya. Commit-reveal membuktikan bahawa anda menerima tepat kerawakan yang dikomitkan. Ia tidak membuktikan bahawa apa yang dikomitkan itu baik pada mulanya. Sumber benih yang lemah atau boleh diramal tetap akan menghasilkan resit yang lulus dengan sempurna: penghantaran dadu buruk yang boleh dibuktikan. Menilai mutu sumber itu memang itulah tugas audit dan ujian statistik, dan dalam industri berkawal selia sijil itu memang diwajibkan.
Kedua-dua model menjawab soalan yang berbeza. Audit bertanya: adakah kerawakan itu baik? Resit bertanya: adakah permainan saya benar-benar menggunakannya? Sistem yang hanya ada yang pertama hidup dengan kepercayaan abadi kepada penyebaran. Sistem yang hanya ada yang kedua boleh dengan setia menghantar dadu buruk dan membuktikannya. Sistem yang paling kuat menutup kedua-dua pintu.
Mengapa pengesahan awam itu penting?
Kerana resit yang tidak boleh dibaca sesiapa tidak melindungi sesiapa. Sesetengah permainan menerbitkan komitmen tetapi tidak memberi pemain cara praktikal untuk memeriksanya, atau mereka menyembunyikan pengesahan itu di dalam aplikasi yang menjadi persoalan itu sendiri. Maka tiada bulatan yang tertutup. Jika satu-satunya alat yang boleh menjamin sesebuah sistem dimiliki oleh sistem itu, anda kembali kepada kepercayaan, kini dengan langkah tambahan.
Susunan yang paling kuat menerbitkan tiga perkara. Komitmen, sebelum permainan. Benih, selepasnya. Dan satu cara awam yang bebas untuk mengira semula lemparan, yang berjalan di luar aplikasi. Itulah sebabnya pengesahan Orion tinggal dalam pelayar, di orion.arthea.ai/verify: tiada akaun, tiada pemasangan, dan kata-kata kami bukan sebahagian daripada pemeriksaan itu.