تاسی که لازم نیست حرف ما را دربارهٔ آن باور کنی

آن قسمتی که یک تولیدکنندهٔ تصادفی خوب هم حلش نمی‌کند

تاس‌های ما از تولیدکنندهٔ رمزنگاری سیستم‌عامل می‌آیند — همان منبعی که ورود به حساب بانکی را محافظت می‌کند، نه میان‌بری که بیشتر بازی‌ها استفاده می‌کنند. این تکلیف «چقدر تصادفی است» را روشن می‌کند. اما دربارهٔ سؤالی که بازیکن‌ها واقعاً می‌پرسند هیچ نمی‌گوید.

تاسی که صادقانه انداخته شده و تاسی که عمداً انتخاب شده، بعدش عین هم به نظر می‌رسند. هر دو فقط یک عددند در یک گزارش.

پس سؤال به‌دردبخور این نیست که «تولیدکنندهٔ شما خوب است؟» بلکه این است که «من می‌توانم بررسی کنم؟» هر چه پایین‌تر می‌آید برای این است که جواب بله باشد، بدون اینکه لازم باشد حرف ما را باور کنی.

1. 1

   مهر

   پیش از اولین تاس، سرور یک عدد سرّی ۳۲ بایتی می‌سازد — بذر سرور — و اثر انگشت SHA-256 آن را به هر دو بازیکن می‌دهد. اثر انگشت چیزی لو نمی‌دهد، ولی از این لحظه بذر قفل است: هر بذر دیگری اثر انگشت دیگری می‌سازد.

   commit0df0916cb0…2904e706
2. 2

   آمیختن

   اپ تو هم بذر تصادفی خودش را می‌سازد و موقع نشستن سر میز می‌فرستد. بذر هر دو بازیکن در تک‌تک تاس‌ها اثر دارد. پس نمی‌توانیم از قبل دنبال بذری بگردیم که تاس‌هایش به نفع ما باشد — لحظه‌ای که مهر می‌زنیم، نمی‌دانیم تو چه چیزی قرار است اضافه کنی.

   clientSeeda26460084a0ef89b:d4f28bac6efd1b6e
3. 3

   استخراج

   هر تاس از دل HMAC-SHA256 بذرها و شمارهٔ آن تاس بیرون کشیده می‌شود. چیزی ذخیره نمی‌شود و چیزی انتخاب نمی‌شود: همان سه ورودی همیشه همان تاس را می‌دهد، و هیچ ورودی دیگری آن را نمی‌دهد.

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

   باز کردن

   وقتی بازی تمام شد، بذر سرور را منتشر می‌کنیم. هش‌اش کن و با اثر انگشتی که پیش از اولین تاس گرفتی مقایسه کن، بعد همهٔ تاس‌ها را دوباره حساب کن. سروری که حتی یک تاس را انتخاب کرده باشد، یکی از این دو بررسی را رد می‌شود.

   serverSeed5cde3365be…7b6b2bd5

مقدارهای بالا اثبات واقعی بازی #148 است، بازی‌ای تمام‌شده که هر کسی می‌تواند نگاهش کند. همان شماره را در جعبهٔ پایین بگذار و ببین درست درمی‌آید.

چرا هیچ وجهی حتی ذره‌ای محتمل‌تر نیست

یک بایت عددی است از ۰ تا ۲۵۵ — ۲۵۶ حالت. ۲۵۶ مضرب شش نیست؛ ۶ × ۴۲ است با ۴ باقی‌مانده. اگر باقی‌ماندهٔ تقسیم بایت بر شش را برداری، چهار وجه بی‌سروصدا ۴۳ شانس از ۲۵۶ می‌گیرند و آن دو تای دیگر ۴۲. سوگیری ریزی است، و در یک میلیون تاس تبدیل به برتری واقعی می‌شود. پس آن چهار مقدار دور ریخته می‌شوند.

۲۵۲ = ۶ × ۴۲. هر وجه دقیقاً به همان تعداد بایت می‌رسد، پس هر وجه دقیقاً یک‌ششم است.

• تلگرامتاسی که در چت ربات انداخته می‌شوداگر با انیمیشن تاس خود تلگرام بیندازی، آن عدد از تلگرام می‌آید نه از ما؛ هیچ بذری از ما آن را بازتولید نمی‌کند. اثبات منتشرشده دقیقاً می‌گوید کدام موقعیت‌ها این‌طور بوده‌اند و دفتر تاس به‌جای وجه تاس، نماد تلگرام را آنجا نشان می‌دهد. برای بازی کاملاً قابل بررسی، در اپ تاس بینداز.
• تمرینبازی با کامپیوتربازی تمرینی آفلاین روی دستگاه خودت تاس می‌اندازد، بدون بذر و بدون اثبات. حریفی در کار نیست و شرطی هم نیست، پس چیزی برای اثبات و چیزی برای از دست دادن وجود ندارد.

هر چیز دیگری — ۱v۱ آنلاین، اتاق دوستانه و تورنومنت، رایگان یا شرطی — روی همین زنجیره اجرا می‌شود.

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;
  }
}

هر اثبات به‌صورت عمومی روی /fair/<id> هست — بدون کلید، بدون حساب، بدون نام بازیکن و بدون مبلغ. فقط تاس‌ها.

سؤال‌هایی که واقعاً پرسیده می‌شود