fairnessprovably fairdice
Evet, olabilir. Çevrimiçi zarlar göremediğiniz bir sunucuda atılır ve bir işletmecinin, sayı tahtanıza ulaşmadan önce onu değiştirmesini fiziksel olarak hiçbir şey engellemez. Sonuçlar tek başına bunu hiçbir yönde kanıtlayamaz. Dürüst soru şu değildir: hile mümkün mü? Dürüst soru şudur: bir oyun, hilenin yapılmadığını kanıtlayabilir mi?
Biz bir tavla oyunu yapıyoruz, yani bu konuda tarafsız değiliz. İşte tam da bu yüzden bu soruya düzgün, rahatsız edici kısımlarını da atlamadan cevap vermek istiyoruz.
Zarlar neden her sitede hileli hissettiriyor?
Çünkü tavlanın varyansı acımasız, insan hafızası ise taraflıdır. İki zarın düşebileceği otuz altı yol vardır; seriler bir hata değil, bir garantidir ve bu gece bir yerlerde dürüst bir sunucu, her pulu doğru oynayan birine karşı üst üste dört çift atacaktır. Açığınızı vuran 5-5'i hatırlarsınız. Geçen salı sizi kurtaran mucize atışı hatırlamazsınız. Kayıplar akılda kalır, kurtuluşlar buharlaşır ve üst üste üç kötü oyundan sonra zarlar kişisel bir meseleye dönüşür. Gerçek bir kahvede, gerçek bir tahtada da kişisel hissettirirler. Kırk yıldır tahta pul süren birine sorun.
İşte tuzak burada. Hileli bir oyun da tamamen aynı hissettirirdi. Seriler hiçbir yönde hiçbir şey kanıtlamaz; kanıtınız zarların size hissettirdikleriyse, dürüst bir sunucuyu hileli olandan ayıramazsınız. Biz de ayıramayız. Bu, çevrimiçi zarların savunması değil. Bu, onların sorunu.
Bir site zarlarını gerçekten manipüle edebilir mi?
Teknik olarak evet, üstelik zor bile olmazdı. Sunucu, zar atmadan önce tüm tahtayı görür. Hile yapmak isteyen bir işletmeci şunları yapabilirdi:
- Yüzde birkaç atışı en çok önem taşıyan anlarda eğmek: vuran atış, giremeyen pul, kaybedilmiş oyunu çeviren çift.
- Maçları yapay olarak yakın tutmak; böylece oturumlar uzar ve kayıplar kıl payı kaçmış gibi hissettirir.
- İşletmecinin çıkarı olan bir oyunda bir tarafı sessizce kayırmak.
- Bunu o kadar seyrek yapmak ki zarlar, bir oyuncunun çalıştırabileceği her istatistik testinden yine de geçsin.
Belirli bir sitenin bunu yaptığını iddia etmiyoruz. Mimarinin buna izin verdiğini söylüyoruz. Kapalı bir sunucu kilitli bir odadır: işletmeci zarı gizlice atar, bir sayı bildirir ve buna güvenmenizi ister. Kapının dışından bakınca dürüst ve hileli işletmeciler birbirinin aynısıdır.
Sertifikalı RNG zarların adil olduğunu kanıtlamaz mı?
Sertifikanın gerçekte neyi kapsadığını okuyun. Bir laboratuvar bir üreteci test eder: tezgahtaki bir algoritma, istatistik kontrollerinden geçen milyonlarca sayı üretir. Bu, bileşeni sertifikalandırır. Teslimat hakkında hiçbir şey söylemez; yani tahtanıza ulaşan sayının o üreteçten, o anda, arada hiçbir şey tarafından değiştirilmeden gelip gelmediği hakkında. Arka odadaki sertifikalı bir terazi, ekmeğinizin onda tartıldığını kanıtlamaz.
Sertifika ayrıca bir anlık görüntüdür. Canlı sunucular sürekli yeniden dağıtılır ve üreteç ile oyununuz arasındaki kod yolu, laboratuvar gittikten çok sonra da değişmeye devam eder. Yani sertifikalı RNG, kimsenin gerçekte sormadığı bir soruya cevap verir. Önemli olan soru, binada bir yerlerde iyi zarların var olup olmadığı değildir. Sizin oyununuzun onları alıp almadığıdır; her atışta, bu gece.
Commit-reveal gerçekte neyi değiştirir?
Adaleti bir vaatten bir kanıta dönüştürür. Oyun başlamadan önce sunucu gizli bir tohum çeker ve onun parmak izini, SHA-256 özeti olan taahhüdü yayınlar. Oyundaki her atış daha sonra bu tohumdan türetilir; atış başına bir HMAC-SHA256 hesabı, sırayla. Oyun bitince sunucu tohumu açıklar.
Artık herkes iki şeyi kontrol edebilir. Açıklanan tohumu özetleyin: ilk hamleden önce yayınlanan taahhütle eşleşmek zorundadır. Atışları yeniden hesaplayın: tahtada görünen her sayıyla eşleşmek zorundadır. Sunucu, pozisyonunuzu gördükten sonra tek bir zarı bile değiştirmiş olsaydı, hesap tutmazdı. Hile, test edilemeyen bir şüphe olmaktan çıkar; yakalanabilen bir yalana dönüşür.
Oyundan önce mühürlenmiş zarlar oyuna tepki veremez.
İşin özü bu. İşe yarayan hile tepkiseldir: açığı gör, vuran zarı at. Commit-reveal sunucunun gözlerini alır; çünkü dizinin tamamı açılış hamlesinden önce sabitlenmiştir ve taahhütten sonraki her oynama matematiksel olarak tespit edilebilir. Yapmadığı şey ise zarları nazikleştirmek. Dizi dürüsttü, merhametli değil. Yine en kötü anda barda oturacaksınız; ama artık bunun adil olduğunu kanıtlayabileceksiniz.
Pratikte bir oyun nasıl doğrulanır?
Orion'da bunu şöyle inşa ettik. Sunucularımızda oynanan her oyun, ilk atıştan önce oluşturulmuş bir taahhüt taşır; sunucu her canlı hamleyi kaynağında doğrular ve bitmiş bir oyunu kontrol etmek yaklaşık bir dakika sürer:
Doğrulayıcıyı açın. Herhangi bir tarayıcıdan orion.arthea.ai/verify adresine gidin. Kurulacak bir şey yok, açılacak hesap yok.
Oyun kimliğini girin. Orion'daki her sunucu oyununun bir kimliği vardır. Yapıştırın.
Hesabı tarayıcınız yapsın. Sayfa, taahhüdü ve her atışı Web Crypto ile yeniden hesaplar; yerel olarak, sizin tarayıcınızda. Bizim sözümüz kontrolün parçası değildir. Tek bir sayı değiştirilmiş olsaydı, yeniden hesaplama bunu söylerdi.
Doğrulayıcı bugün yayında. Oyunun kendisi tamamlandı. 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. Her hâlükârda dürüst cevap geçerli. Evet, çevrimiçi tavlada hile olabilir. Çare daha güzel bir vaat değil. Hesabını gösteren zarlardır.