Provably fair slotlar: hash neyi kanıtlar, neyi kanıtlamaz

Bir kripto kazino oyuncusuna makaralara neden güvendiğini sorun; alacağınız cevap büyük ihtimalle iki kelime olur: “provably fair”. Aynı soruyu bir stüdyonun matematik sorumlusuna sorun, cevap uzar — çünkü bu mekanizma zar ve yazı tura için, yani tek bir rastgele sayı üreten ve makara şeridi bulunmayan oyunlar için tasarlandı. Bonus merdiveni olan beş makaralı bir slotu kanıtlamak çok daha zordur. Mekanizmanın gerçekte ne güvence verdiğine, modern mimaride nerede kırıldığına ve işin nereye gittiğine bakalım.

Mekanizma tek paragrafta

Tur başlamadan önce operatör bir sunucu tohumu seçer ve size onun hash’ini gösterir. Siz bir istemci tohumu verirsiniz. Sonuç, sunucu tohumu, sizin tohumunuz ve bahislerinizi sayan bir nonce’tan oluşan anahtarlı bir hash’ten — genelde HMAC-SHA256 — türetilir. Tohumu değiştirdiğinizde sunucu özgün değeri açıklar; siz hash’i yeniden hesaplar ve aldığınız sonucun gerçekten o tohumların ürettiği sonuç olduğunu doğrularsınız. Hile tespit edilebilir kılan şey hash taahhüdüdür: sunucu, önceden yayımladığı hash’i bozmadan tohumunu sonradan değiştiremez.

Güvence gerçekten güçlü, ama sınırını dürüstçe çizmek gerekir. Operatörün bahsinizi gördükten sonra sayıyı değiştirmediğini kanıtlar. RTP’yi, makara şeritlerini, ödeme tablosunu ya da sayıdan sonuca geçişin yansız olduğunu kanıtlamaz. Bunların hepsi oyun mantığında yaşar ve tohum doğrulaması oraya dokunmaz.

Neden slot zardan zordur

Bir zar atışı bilinen aralıkta tek bir sayı tüketir. Bir slot turu onlarca sayı tüketebilir: her makara duruşu için biri, zincirleme düşüşler için birkaç tane daha, özellik adımları için, para sembollerinin değerleri için. Doğrulanabilir kalmak isteyen oyun, belirlenimci bir akış tanımlamak zorundadır — birinci sayı birinci makara, ikinci sayı ikinci makara — ve bu eşlemeyi yayımlamalıdır. Aksi hâlde oyuncu baytları yeniden üretir ama çevrimi üretemez.

Bundan üç pratik sorun doğar. Ölçekleme: 256 bitlik bir hash’i modül sapması olmadan makara konumuna çevirmek dikkat ister; saf bir uygulama olasılıkları yüzde birin kesirleri kadar kaydırır — oyuncuya görünmez, laboratuvar raporunda ölümcül. Önceden hesaplanmış sonuçlar: simüle edilmiş turları saklayıp ağırlığa göre birini çeken mimariler (Stake Engine ve birkaç yeni RGS modeli) klasik şemaya oturmaz, çünkü sonuç sizin tohumunuzdan önce vardır. Orada taahhüt edilebilecek şey turun inşası değil, kümeden çekiliştir. Üçüncüsü özellik ağacı: bir bonus değişken sayıda değer tüketiyorsa doğrulama aracı bütün karar ağacını yeniden oynatmak zorundadır; yani ağacın yayımlanması gerekir.

Standartlar ne diyor, ne demiyor

GLI-19 gibi laboratuvar standartları RNG kalitesi, tohumlama, ölçekleme ve sayı akışının bütünlüğüyle ilgilenir. Kamuya açık commit-reveal şart koşmazlar ve provably fair uygulaması sertifikasyonun yerine geçmez: laboratuvar yine algoritmayı, istatistiksel bataryaları ve RTP doğrulamasını ister. Lisanslı Avrupa pazarlarında operatörün istediği şey sertifikadır; provably fair ise oyuncuya dönük bir güven özelliğidir. İkisi tamamlayıcıdır ve birini diğerinin yerine koyan stüdyolar aradaki boşluğu genelde geç fark eder.

Parçaları birlikte okumak

Dört şeyi yan yana koyun: taahhüt şeması, modern bir slotun rastgeleliği tüketme biçimi, kripto-yerel platformlarda yaygınlaşan önceden hesaplanmış mimari ve laboratuvarların fiilen test ettiği şeyler. Bir yön beliriyor: doğrulanabilirlik “şu sayıyı kanıtla”dan “bu turun taahhüt edilmiş bir kümeden geldiğini kanıtla”ya kayıyor. İlginç mühendislik sorusu artık hash değil; tam olarak neyin taahhüt edildiği ve oyuncunun bunu matematik diploması olmadan kontrol edip edemediği.

Davranışa dair dürüst bir gözlem de var: neredeyse kimse doğrulamıyor. Çevrimiçi kumarda güven üzerine araştırmalar, herhangi bir operatörün kayıtlarıyla aynı şeyi söylüyor — aracın varlığı adalet algısını, kullanımından çok daha fazla değiştiriyor. Bu, aracı atlamak için değil, gerçekten kontrol eden azınlık için iyi yapmak için bir sebep; çünkü forum mesajlarını yazan ve herkesin okuduğu kesim tam olarak onlar.

Bundan sonrası

• Taahhüt bir seviye yukarı çıkacak. Önceden hesaplanmış platformların sonuç havuzunun Merkle kökünü yayından önce yayımlaması ve sunulan turun bu havuza ait olduğunu kanıtlaması beklenebilir. Tespit edilebilirlik korunur, turun sizin tohumunuzdan doğduğu iddiasına gerek kalmaz.
• Doğrulama oyunun değil platformun işlevi olacak. Her stüdyonun kendi doğrulayıcısını yazması ekonomik değil; bu iş platform RNG sertifikasyonunda olduğu gibi RGS katmanına kayacak.
• Düzenlenmiş pazarlar mekanizmayı değil sözlüğü alacak. Şeffaflık oraya commit-reveal olarak değil, zorunlu RTP gösterimi ve yayımlanmış maksimum kazanç olasılığı olarak gelecek: düzenleyici bir sertifikayı denetleyebilir, oyuncunun hash hesaplama isteğini denetleyemez.

Stüdyo bununla ne yapmalı

Hedef kripto-yerel bir platformsa erken karar verin: matematik modülü belirlenimci olsun, sayı akışı açıkça tanımlansın, eşleme belgelensin ve doğrulayıcı kendi testleri olan bir teslim kalemi sayılsın. Hedef lisanslı operatörlerse önce sertifikasyon paketi gelir, provably fair isteğe bağlı bir sunum katmanı olarak kalır. Her iki durumda da etiketin, kodun yapmadığı işi yapmasına izin vermeyin: yayımlanmış eşlemesi olmayan bir rozet, tam da bu konuyla ilgilenen kitleyi kaybetmenin en hızlı yoludur.

Devamı için: sertifikasyon gerçekte neyi test eder ve bir HTML5 slot nasıl kurulur. Her iki tür oyun da slot geliştirme hizmetimizin parçası.