Нақты RNG тексерулері қалай жұмыс істейді

RNG (кездейсоқ сандар генераторын) тексеру - бұл бір «сиқырлы тест» емес, инженерлік рәсімдер тізбегі. Оның мақсаты үш нәрсені дәлелдеу: (1) сандар ағыны статистикалық тұрғыдан кездейсоқ сандар ағынына ұқсас, (2) ол ойын оқиғаларына (символдар, карталар, мультипликаторлар) дұрыс «мапталады», (3) тексерілген нұсқа үнемі өнімде айналады. Төменде - толық цикл қалай жұмыс істейді.

1) Нені тексереді (үш деңгей)

1. RNG шикі шығыстары - ағынның таза статистикасы (ойын интерфейсінсіз).

2. Mapping RNG → ойын оқиғалары - мәлімделген математика комбинацияларының жиіліктерінің сәйкестігі (RTP/құбылмалылық).

3. Өмірлік цикл және тұтастық - сынамада дәл сертификатталған құрастыру жұмыс істейді және оны байқамай ауыстыру мүмкін емес.

2) Релизге дейін: зертханалық сертификаттау

A. Ақ бокс (код және сәулет бойынша)

Алгоритм: PRNG/CSPRNG класы, «себу» әдісі, қайта себу (reseeding), ағындарды оқшаулау, ойындар арасындағы ортақ жағдайлардың болмауы.

Энтропия көздері: жүйелік пул/аппараттық шу; бастауға биттік энтропияның жеткіліктілігі тексеріледі.

Күйді басқару: nonce/санақ, қайта пайдаланудан қорғау, әр түрлі ойындар/үстелдер үшін ағындардың тәуелсіздігі.

B, Қара бокс (шығу бойынша)

Өте үлкен іріктемелер шығарады (жүздеген миллион-миллиардтаған бит/сандар).

Тесттердің батареясы арқылы айдап өтеді:

NIST SP 800-22: монобит, блоктар бойынша жиіліктер, ран-тестілер, нөлдер/бірліктер теңгерімсіздігі, аппрокс. энтропия, сызықтық күрделілік, спектралдық (DFT) және т.б.
Diehard/Dieharder: туған күндер (birthday spacings), адасу (random walks), сәйкестіктер, матрица дәрежелері және т.б.
TestU01 (SmallCrush/Crush/BigCrush): ең қатаң серия; жұқа тәуелділіктер мен қысқа кезеңдерді ұстайды.
Гипотезалар және p-values: "барлығы 0 болуы керек. 5", ал олар біркелкі [0; 1]; тестілердің көптігі ескеріледі (жалған іске қосылуларды түзету).
Жылжымалы терезелер: тұрақсыздықты ұстап қалу үшін ағындар жиынында (әр түрлі блок-сайзалар) сол тестілер.

C. Ойын математикасын тексеру

Миллиондаған/миллиардтаған «виртуалды спиндерді/таратуларды» модельдеу: эмпирикалық RTP мәлімделгенге сәйкес келеді (мысалы, 96. 00% ± рұқсат).

Сирек кездесетін оқиғаларды: джекпот жиілігін, бонус-раундтарды, мультипликаторларды, ұтыстарды квантильдер бойынша бөлуді тексеру.

Мэппингті тексеру: сәйкестік кестесі «саны RNG → символ/карта» қисықсыз, «деки/барабанның» барлық позицияларының ықтималдығына тең.

Нәтижесі: RNG параметрлері, тесттер/деректер/өту шектері тізімі, ойын бинарийлерінің хеш-сомалары және мақсатты RTP.

3) Сынамада: үздіксіз бақылау

Телеметрия және алерталар

Біріктірілген деректер бойынша RTP үйлесімділігі (күндер/апталар/айлар) сенімді аралықтармен.

Бөлу аномалиялары: қайталау жарылыстары, символдардың қисаюы, дисперсияның өзгеруі.

RNG онлайн денсаулығы: ағымдық ағындағы жеңіл кіріктірілген өзін-өзі тексеру (frequency/runs) + логин суреттеріндегі мерзімді «ауыр» өту.

Сырғанайтын терезелер және маусымдылық: «ескі» эталондық кезеңдермен салыстыру.

Артефактілердің тұтастығы

Хеш-сомаларды және орындалатын файлдардың цифрлық қолтаңбаларын сертификаттаудың «алтын» үлгісімен салыстыру.

«Тек қол қойылған релиздер» саясаты, деплода қосарланған мақұлдау, әкімшілік іс-әрекеттерінің аудиті.

Оқыс оқиғаларға реакция

Шекті мәндер → ойынды оқшаулау, «maintenance» қосу, роллбэк орындау, снапшотты бекіту, реттеушіні/серіктестерді хабардар ету, логтардың репликасын дайындау.

4) Негізгі тестілер қалай ұйымдастырылған (адамгершілікпен)

Монобит/жиілік: нөлдер мен бірліктер шамамен тең болуы тиіс.

Runs/series: қатарынан 0/1 ұзындығы теорияға сәйкес келеді.

DFT/спектральды: жасырын кезеңдер/гармониктер жоқ.

Матрицаның сызықтық күрделілігі/дәрежесі: ағын қысқа сызықтық схемамен сипатталмайды.

Birthday spacings/коллизиялар: кездейсоқ кездейсоқ кездейсоқ үйлесімділіктерді бөлу.

Approx. Entropy/Serial: артық қысқа үлгілер жоқ.

Autocorrelation: көршілес элементтер тәуелсіз.

Маңызды: бір «қызыл» тест проблеманы дәлелдемейді - бірнеше тексеруді және қайта басып өтуді ескере отырып, топтап қарайды.

5) Сидтер, қайта себу және ағындардың тәуелсіздігі

Seed бірнеше энтропия көздерінен қалыптастырылады; бастау рәсімін және reseeding жиілігін құжаттайды.

Әртүрлі ойындар/үстелдер - әртүрлі RNG жағдайлары; ортақ күйге тыйым салу.

Nonce/санауышты есепке алу: Әрбір өтініш бірегей, қайталама іріктелмейді.

6) Мэппинг және презентация: «адалдық» жиі шатастырылатын жерде

RNG санды береді және ойын оны оқиғаға аударады. Мэппинг кестесінің:

«өлі» аймақтары жоқ, кеңістікті біркелкі жабады, нұсқада тіркелген (өзгеріс = жаңа сертификаттау).
Near-miss - интерфейстің визуалды әсері. Оның үлесі мен логикасы математикамен қатаң берілген; ол RNG «бұрамайды».

7) Логтар және өсімін молайту

Әрбір раунд ID, уақыт белгілері, led/nonce, кіріс параметрлері, RNG қорытындысы және мэппингтен кейінгі нәтиже алады.

Зертхана/оператор логы бойынша нәтижені ұсына алады және оның алгоритм мен раунд деректеріне сәйкес келетініне көз жеткізе алады.

Логтар өзгермейді, жылдар бойы сақталады, бэкапталады; кіру - регламент бойынша.

8) Live ойындары: RNG тесттерін немен ауыстырады

Рулетка/карталар: жабдықты бақылау (доңғалақты соғу, баланс, калибрлеу), дилердің рәсімдері, авто-шуфлерлер, қалыптарды ауыстыру, толық бейнетіркеу.

Өнімдегі нөмірлердің/карталардың статистикалық мониторингі - тозуды/кемшіліктерді және адам факторын ұстайды.

9) «Provably fair»: ойыншы нақты не тексереді

Сервер алдын ала сервер жиегінің хешін жариялайды; раундтан кейін светодиодты ашады.

Ойыншы клиенттік жарық береді; қорытынды құжатталған формула бойынша есептеледі (көбінесе HMAC/AES + nonce).

Кез келген адам қайта санай алады және бағадан кейін нәтиженің ауыстырылмағанына көз жеткізе алады.

Бірақ бұл жоғары RTP кепілі емес - ойын математикасы әлі де жеке аудитті талап етеді.

10) Типтік қателер және оларды қалай ұстайды

Сидтің нашар инициализациясы бірінші терезелерде ерте тестілермен және аномалиялармен ұсталады.

Қайталау күйі/nonce reuse → дубликаттар/корреляциялар, Diehard/TestU01 деталь.

Апдейттен кейінгі дрейф (ыстық түзету) → хеш/метриктердің айырмашылығына арналған алерта.

BigCrush-тегі әлсіз PRNG → «сәтсіздіктер», жиілік жарылыстары, DFT-тегі құрылым.

Чек парақтары

Студия/провайдер үшін

RNG алгоритмі, siding, reseeding, ағындарды бөлу құжатталған.
Жеткілікті көлемде және p-values туралы есептермен NIST/Dieharder/TestU01.
Ойын масс-симуляциялары: RTP, дисперсия, ұтыс квантилдері, сирек оқиғалар.
Артефактілерді нұсқалау/қолтаңбалар/хештер; қол қойылмаған релиздерге тыйым салу.
RTP-дегі шығарылым алдындағы тәуекелдер/таратулар/қайталаулар; оқшаулау/роллбэк жоспары.

Оператор үшін

RNG/ойындар сертификаттарын және өнімдегі нақты нұсқаларын (хеш-бақылау) салыстырып тексеремін.
Мониторға RTP үйлесімділігі және барлық тайтлдар бойынша аномалиялар; авто-алерттер де бар.
Өзгермейтін логдарды сақтаймын; тикет бойынша жылдам экспорт дайын.
Оқиға рәсімі: ойынды тоқтату → роллбэк → хабарландыру → жария есеп.

Ойыншы үшін

Ойынның ақпараттық экранын көремін: RTP/ережелер/нұсқа/макс-ұтыс.
Көрінетін РГ құралдарымен операторларда ойнаймын (лимиттер/тарих/таймаут).
Дауда раундтың ID және үзінді көшірмені сұраймын; нәтижесі ойнатылуы тиіс.
Мен RNG әділдігін құбылмалылықпен шатастырмаймын: «құрғақ» жолақтар қалыпты.

Нақты RNG тексерулер - бұл қатаң статистика + мэппингті бақылау + нұсқалар мен логтардың тәртібі. Зертхана ағынның тең құқықты және тәуелсіз екенін растайды; симуляциялар мәлімделген RTP-ге сәйкестігін дәлелдейді; продакшен-мониторинг тексерілген құрастырудың өзгермегеніне кепілдік береді және сынақтардағы сияқты әрекет етеді. Барлық үш деңгей бірге жұмыс істегенде, «адалдық» уәде болудан қалады және жүйенің қасиетіне айналады.