provably fairdiceguide
Tavla zarlarını, oyundan önce verilen ve oyundan sonra kontrol edilen bir sözle doğrularsınız. Orion, ilk atışınızdan önce gizli bir tohuma SHA-256 taahhüdü yayınlar, oyun bitince tohumu açıklar ve yalnızca oyun kimliğiyle orion.arthea.ai/verify adresinde tarayıcınızın her atışı yeniden hesaplamasına izin verir. Her şey uyuşuyorsa zarlar oyun başlamadan önce sabitlenmişti ve biz dahil hiç kimse onları yönlendirmedi.
Her çevrimiçi oyuncu bu duyguyu bilir. Üç tur boyunca barda beklersiniz. Rakibiniz hem vuran hem kapatan tek sayıyı bulur. Ahşap bir tahtada omuz silkerdiniz, çünkü zarların zar kabından çıktığını görmüştünüz. Çevrimiçi ortamda ise üretimini hiç görmediğiniz bir sayıya güvenmeniz istenir. Biz bu güveni istemek istemedik. Onu kontrol edilebilir kılmak istedik.
Commit-reveal gerçekte ne demek?
Mühürlü bir zarf düşünün. Siz oturmadan önce ev, akşamın bütün zarlarını içine yazar, mühürler ve size mührün fotoğrafını verir. Oyun bitince zarf açılır. İçerik mühürle uyuşuyorsa, atışlar oyundan önce vardı ve size zarar vermek için oyunun ortasında hiçbir şey seçilemezdi. Commit-reveal, aritmetikten yapılmış o zarftır. Mühür bir SHA-256 özetidir ve kimse ona uyan başka bir tohum üretemez. Dört adım, kanıtı sunucumuzdan tarayıcınıza taşır.
Oyundan önce. Sunucu gizli bir rastgele tohum çeker ve onu SHA-256 ile özetler. Bu özet taahhüttür ve ilk atıştan önce oyununuza iliştirilir. O andan itibaren oyunun tüm zarları zaten belirlenmiştir. Sunucu, artık düzenleyemeyeceği bir söz yayınlamıştır.
Oyun sırasında. Her atış tohumdan HMAC-SHA256 ile türetilir: girdi olarak tohum ve atış numarası, çıktı olarak iki zar. Pozisyon, skor, dabıl zarı, kimin kazanmak üzere olduğu: bunların hiçbiri hesaba girmez. Sunucu atışları seçmiyor. Siz oynamadan önce bağlandığı bir listeyi okuyor.
Oyun bittiğinde. Tohum açıklanır ve oyun kaydıyla birlikte saklanır. Bu, zarfın açılmasıdır. Herkes açıklanan tohumu özetleyip ilk hamleden önce yayınlanan taahhütle karşılaştırabilir ve ikisi birebir aynı olmak zorundadır.
Kendiniz doğrulayın. Herhangi bir tarayıcıda orion.arthea.ai/verify adresini açın ve oyun kimliğini girin. Sayfa her şeyi yerel olarak Web Crypto ile, yani tarayıcının kendi içindeki kriptografiyle yeniden hesaplar: önce açıklanan tohumun SHA-256'sını özgün taahhütle, sonra oyunun her atışını, zar zar. Hesap yok, uygulama yok, yaklaşık bir dakika.
Tam bir uyuşma aynı anda üç olguyu ortaya koyar:
- Açıklanan tohum, ilk atıştan önce yayınlanan taahhüdün tam olarak aynısını verir
- Oyunun her atışı o tohumdan HMAC-SHA256 ile türer, yani hiçbir şey yeniden atılmamış ya da değiştirilmemiştir
- Zarlar hiçbir zaman pozisyona, skora ya da oyuncuya göre uyarlanmamıştır
Bir uyuşmazlık neyi kanıtlardı?
Uyuşmazlık bir görüntü hatası olmazdı. Kanıt olurdu. Açıklanan tohum taahhüdü vermiyorsa, zarlar oyun başladıktan sonra değiştirilmiştir. Tek bir atış HMAC kontrolünden geçmiyorsa, gördüğünüz zarlar taahhüt edilen zarlar değildir. Bu iki başarısızlıktan her biri, aynı kayıttan herhangi bir makinede, sonsuza dek yeniden üretilebilecek bir müdahale kanıtıdır.
Aynı sebeple bunu asla görmemeniz gerekir. Taahhüt önce yayınlanır, tek bir pul bile oynamadan. Bu oyunda hile yapmak isteyen bir ev, kendi hilesinin kanıtını önceden yayınlamak ve sonra her oyuncuya onu bulacak araçları vermek zorunda kalırdı. Sizden dürüst olduğumuza inanmanızı istemiyoruz. Sistemi, inanmak zorunda kalmayasınız diye kurduk.
Oyun başlamadan mühürlenmiş bir atışı kimse nişanlayamaz.
Zarlar kanıtlanabilir şekilde adilse neden hâlâ kötü atışlar geliyor?
Çünkü adil zarlar hâlâ zardır. Barda kapatılacaksınız. 2-1 dışında her şeye ihtiyacınız olacak ve 2-1 atacaksınız. Binlerce oyun boyunca sayılar gerçek dağılıma doğru düzleşir, ama tek bir akşam hiçbir şey vaat etmez. Doğrulamanın ortadan kaldırdığı şey, sinirin altındaki sorudur. O mucize atış, ikiniz de bir pula dokunmadan önce sabitlenmişti ve size nişan almamıştı. Bunu bilmek atışı yumuşatmaz. Ama evreni denetlemeyi bırakıp pozisyona dönmenizi sağlar.
Zarlar en gürültülü şüphedir, ama tek şüphe değildir. Atışlarınıza bağlanan aynı sunucu, her canlı hamleyi de kaynağında doğrular; böylece değiştirilmiş bir istemci, kuralların izin vermediği bir yere pul kaydıramaz. Adil atışlar ve kurallı hamleler aynı otoriteden gelir.
Oyun çıkmadan doğrulayıcıyı deneyebilir miyim?
Evet. Doğrulayıcı bugün orion.arthea.ai/verify adresinde yayında ve içinde bir demo tekrarı var; böylece kendi oyununuz olmadan önce örnek bir oyun üzerinde tam bir doğrulamayı izleyebilirsiniz: taahhütten tohuma, oradan her atışa. Orion'un kendisi için: orion.arthea.ai/go kapısı App Store ve Google Play bağlantılarını taşır ve şu anda neyin mevcut olduğunu her zaman gösterir.
Adil zarlar, tüm yolculuğun üzerinde durduğu zemindir. On iki durak, on lig ve her şeyin altında tek bir kural: bir oyun bittiğinde bize asla güvenmek zorunda değilsiniz.