Sözümüze güvenmek zorunda olmadığın zarlar

İyi bir rastgele sayı üretecinin düzeltemediği kısım

Zarlarımız işletim sisteminin kriptografik üretecinden gelir — banka girişini koruyan kaynağın aynısı, çoğu oyunun kullandığı kestirme yol değil. Bu, sayıların ne kadar rastgele olduğunu çözer. Oyuncuların asıl sorduğu soruya dair hiçbir şey çözmez.

Dürüstçe atılmış bir zarla kasten seçilmiş bir zar sonradan bakınca aynı görünür. İkisi de bir kayıttaki sayıdan ibarettir.

Yani işe yarar soru "üreteciniz iyi mi?" değil, "kontrol edebilir miyim?" Aşağıdaki her şey, tek kelimemize inanmanı istemeden bu cevabı evet yapmak için var.

1. 1

   Mühürle

   İlk atıştan önce sunucu 32 baytlık gizli bir sayı çeker — sunucu tohumu — ve SHA-256 parmak izini iki oyuncuya da yayımlar. Parmak izi hiçbir şey vermez ama tohum artık sabittir: başka her tohum başka bir parmak izi üretir.

   commit0df0916cb0…2904e706
2. 2

   Karıştır

   Uygulaman da kendi rastgele tohumunu üretip masaya oturduğunda gönderir. Her zara iki oyuncunun tohumu birden girer; yani atışları işimize gelen bir tohumu önceden arayamayız — mühürlediğimiz anda senin ne ekleyeceğini bilmiyoruz.

   clientSeeda26460084a0ef89b:d4f28bac6efd1b6e
3. 3

   Türet

   Her zar, tohumların ve atış numarasının HMAC-SHA256’sından okunur. Hiçbir şey saklanmaz, hiçbir şey seçilmez: aynı üç girdi hep aynı zarı verir, başka hiçbir girdi onu vermez.

   die(n) = (HMAC-SHA256(serverSeed, "clientSeed:n:round")[0] < 252) % 6 + 1
4. 4

   Aç

   Oyun bitince sunucu tohumunu yayımlarız. Özetini al, ilk atıştan önce sana verilen parmak iziyle karşılaştır, sonra her zarı yeniden hesapla. Tek bir atışı bile seçmiş bir sunucu bu iki kontrolden birinde düşer.

   serverSeed5cde3365be…7b6b2bd5

Yukarıdaki değerler, herkesin bakabileceği bitmiş bir oyunun — #148 numaralı oyunun — gerçek kanıtıdır. O numarayı aşağıdaki kutuya yaz ve doğru çıkışını izle.

Neden hiçbir yüz azıcık bile daha olası değil

Bir bayt 0 ile 255 arası bir sayıdır — 256 olasılık. 256 altının katı değildir; 6 × 42 ve 4 artar. Baytın altıya bölümünden kalanı alırsan dört yüz sessizce 256’da 43 şans alır, diğer ikisi 42. Küçücük bir yanlılık, ama bir milyon atışta gerçek bir avantaj. Bu yüzden o dört değer atılır.

252 = 6 × 42. Her yüze tam olarak aynı sayıda bayt düşer, yani her yüz tam olarak altıda birdir.

• TelegramBot sohbetinde atılan zarlarTelegram’ın kendi zar animasyonuyla atarsan o sayı Telegram’dan gelir, bizden değil; hiçbir tohumumuz onu yeniden üretmez. Yayımlanan kanıt hangi konumların böyle olduğunu tam olarak listeler, defter de oraya zar yüzü yerine Telegram simgesini koyar. Tümüyle denetlenebilir bir oyun için uygulamada at.
• AlıştırmaBilgisayara karşı oyunlarÇevrimdışı alıştırma oyunu kendi cihazında zar atar; tohum da yok kanıt da. Rakip yok, bahis yok; kanıtlanacak bir şey de riskte olan bir şey de yok.

Geri kalan her şey — çevrimiçi 1v1, arkadaş odaları ve turnuvalar, ücretsiz ya da bahisli — yukarıdaki zincirde çalışır.

const enc = new TextEncoder();
const hex = (b) => [...new Uint8Array(b)].map((x) => x.toString(16).padStart(2, '0')).join('');

// 1. the seed we revealed must hash to the commitment you were given first
const commitOk = hex(await crypto.subtle.digest('SHA-256', enc.encode(serverSeed))) === commit;

// 2. every die, re-derived from that seed
const key = await crypto.subtle.importKey(
  'raw', enc.encode(serverSeed), { name: 'HMAC', hash: 'SHA-256' }, false, ['sign']);

async function die(n) {
  for (let round = 0; round < 16; round++) {
    const mac = new Uint8Array(
      await crypto.subtle.sign('HMAC', key, enc.encode(`${clientSeed}:${n}:${round}`)));
    for (const b of mac) if (b < 252) return (b % 6) + 1;
  }
}

Her kanıt /fair/<id> adresinde herkese açık — anahtar yok, hesap yok, oyuncu adı yok, tutar yok. Sadece zarlar.

İnsanların gerçekten sorduğu sorular