Təsadüfi RNG ardıcıllığı haqqında faktlar

Təsadüfi ardıcıllıq «xaos» deyil, yoxlanılan xüsusiyyətləri olan dəyərlərin axınıdır. Oyun sistemlərində spin, paylama, multiplikatorların dürüstlüyü bu axının keyfiyyətindən asılıdır. Aşağıda - RNG ardıcıllığının nə olması və necə yoxlanılması barədə əsas faktlar.

1) Müstəqillik «gözəllikdən» daha vacibdir

i.i.d. (müstəqil və bərabər paylanmış) - qızıl standart.

Görünən nümunələrin olmaması qəzaya zəmanət vermir; korrelyasiya və seriya testləri «göz» deyil, vacibdir.

2) Paylama protokolla verilir

«Xam» axının tez-tez vahid olması ehtimal olunur (məsələn, 32-bit sözlər bərabərdir).

Oyunda vahid ədədlər hadisələrə tapılır: slot simvolları, «virtual destə» kartları, təkər sektoru. Düzgün mappinq = «ölü zonalar» və qüsurların olmaması.

3) zaman həmişə var - onun uzunluğu sual

PRNG-nin son dövrü (dövrü) var. Yaxşı generatorun müddəti o qədər uzundur ki, real istismarda onu keçə bilməzsiniz.

«Vəziyyətin» (state/nonce reuse) üst-üstə düşməməsi vacibdir, əks halda alt ardıcıllıqlar təkrarlanacaqdır.

4) Led (seed) - gözlənilməzliyin kökü

Yanlış sid başlanğıc təkrarlanan və ya proqnozlaşdırıla bilən çıxışlar verir.

Etibarlı sistem çox kanallı entropiya və dövri reseeding (sənədləşdirilmiş) istifadə edir.

5) Entropiya «səs-küy» ilə eyni deyil

Bitli entropiya axının nə qədər gözlənilməz olduğunu ölçür.

Hardware entropy (səs-küy) adətən sürətli və davamlı axını almaq üçün kriptoqrafik DRBG (CSPRNG) tərəfindən həzm edilir.

6) p-values «gözəl» olmamalıdır

Test batareyalarında (tezliklər, seriyalar, «ad günləri», matris dərəcələri və s.) p-values [0; 1], yox "təxminən yığmaq 0. 5».

Bir «qırmızı» test problemi sübut etmir: yoxlamaların çoxluğunu nəzərə alır və qaçışı təkrarlayır.

7) Lokal «zolaq» - səhv deyil

Hər hansı bir təsadüfi ardıcıllıqda klasterlər (uzun sıfır/vahid seriyası, simvol təkrarları) yaranır.

Zolaqlar - normaldır; sistemli risk - böyük pəncərələr üçün davamlı pozuntular.

8) Lineer - gizli düşmən

LCG növünün sadə xətti generatorları əsas testlərdən keçə bilər, lakin mürəkkəb (matris dərəcəsi, xətti mürəkkəblik, DFT) «tökülür».

Oyun sənayesində standart - kriptovalyutaya davamlı DRBG (məsələn, blok şifrələri/hash).

9) Mapping sabit və versiyalı olmalıdır

Uyğunluq cədvəllərində hər hansı bir dəyişiklik «sayı → hadisə» = oyunun yeni versiyası və yenidən yoxlama.

Yaxşı təcrübə - heş məbləğləri və rəqəmsal imzalarla sərt mappinq fiksasiyası.

10) «Demək olar ki, qazanmaq» - interfeys haqqında, axın haqqında deyil

Near-miss - vizual dramaturgiyanın bir hissəsi; pay və davranış oyun riyaziyyat tərəfindən verilir.

RNG bir rəqəm verir və interfeys bir hekayə danışır - bu təbəqələr boşaldılmalıdır.

11) Reproduktivlik ≠ proqnozlaşdırıla bilənlik

Audit üçün hər raund nəticəni (raundun ID-si, led/nonce, heşi) oynatmaq üçün nəzərdə tutulur.

Bu oyun zamanı axın proqnozlaşdırıla bilməz: sirləri (LED) və dövlət qorunur.

12) «Yaxşı» ardıcıllıqlar müşahidə altında proda yaşayır

Buraxılışdan sonra monitorinq vacibdir: RTP sertifikatlı bir-birinə uyğun gəlirmi, simvollar, təkrarlamalar, «isti» nömrələr tezliyi sürüklənirmi.

Astanalar üzrə alyertlər → title izolyasiya və texniki araşdırma.

13) Vəziyyət və axınlar - ayrı-ayrılıqda

Müxtəlif oyunlar/masalar/instansiyalar müstəqil RNG şərtlərindən istifadə edir.

Bir axını bir neçə məhsula bölmək olmaz - çarpaz korrelyasiya yaranır.

14) Forward/Backward-security göründüyündən daha vacibdir

Mövcud vəziyyətin güzəştində yaxşı CSPRNG ardıcıllığın keçmişini (backtracking resistance) və gələcəyini (forward security) açıqlamamalıdır.

Bu kriptoprimitivlər və müntəzəm reseeding ilə əldə edilir.

15) «Provably fair» düzgün dəyişdirilmədiyini sübut edir

Commit-revil (hash server cid → açıqlama) + müştəri led oyunçuya nəticəni yenidən hesablamaq imkanı verir.

Bu ardıcıllığın bütövlüyünü təmin edir, lakin oyun riyaziyyatı və mapping auditini əvəz etmir.

Pis ardıcıllıq necə görünür (əlamətlər)

Sids/nonce → eyni girişlərdə təkrarlanan nəticələr.

Böyük pəncərələrdə sabit tezliklər (tək klaster deyil).

DFT-də müəyyən edilən dövrlər, TestU01/BigCrush-da «uğursuzluqlar».

Empirik RTP-nin ağlabatan həcmlər üçün iddia edilən sürüklənməsi.

Yaxşı ardıcıllıq necə görünür

Etibarlı intervallar daxilində bərabər tezliklər və seriya; p-values vahid.

Qonşu və müdafiə elementləri arasında heç bir korrelyasiya yoxdur.

Empirik RTP/hadisə tezliklərinin modelə uyğunluğu.

Məhsuldar binar və sertifikatlı arasında sıfır fərq (heş nəzarəti).

Mini şparqalkalar

Studiyalar/provayderlər üçün

Çox kanallı entropiyadan CSPRNG + sənədli reseeding istifadə edin.

Halları axınlar/oyunlar üzrə bölün; nonce jurnalı.

NIST/Dieharder/TestU01 sürün, artı RTP yığıncağına mapping massimulyasiyası.

Rəqəmsal imza altında mapping və binarium qeyd; imzasız buraxılışları qadağan edin.

Alertləri prodda metrik sürüklənməyə uyğunlaşdırın; izolyasiya və rollback planı.

Operatorlar üçün

Oyunların versiyalarını və heşlərini sertifikatlı ilə müqayisə edin.

RTP/tezlik/təkrarları izləyin; eşik və avto alert saxlayın.

Sürətli bilet ixracı imkanı ilə dəyişməz tur qeydləri saxlayın.

Oyunçular üçün

Məlumat ekranını yoxlayın: RTP, qaydalar, versiya, max win.

Klasterləri «fırlatma» ilə qarışdırmayın: zolaqlar normaldır.

Mübahisədə bir tur ID və çıxarış istəyin - nəticə təkrarlanmalıdır.

Təsadüfi RNG ardıcıllığı yoxlanılan xüsusiyyətlərə malik mühəndis artefaktıdır: müstəqillik, düzgün paylanma, uzun müddət, səlahiyyətli sidinq və güzəştə dözümlülük. Oyunlarda dürüstlük keyfiyyət axınının düzgün mappinq və nəzarət prosedurları ilə birləşdirildiyi yerlərdə yaranır: buraxılışdan əvvəl sertifikatlaşdırma, log və sonra monitorinq. Hər üç təbəqə yerində olduqda, «təsadüf» vəddən etibarlı təcrübəyə çevrilir.