RNG кокустук ырааттуулугу жөнүндө маалымат

Кокус ырааттуулук - бул "башаламандык" эмес, текшерилүүчү касиеттери бар маанилердин агымы. Оюн системаларында бул агымдын сапаты спиндердин, бөлүштүрүүлөрдүн, мультипликаторлордун чынчылдыгына жараша болот. Төмөндө RNG ырааттуулугу кандай болушу керектиги жана аны кантип текшерүү керектиги жөнүндө негизги фактылар бар.

1) Көз карандысыздык "сулуулукка" караганда маанилүү

i.i.d. (көз карандысыз жана бирдей бөлүштүрүлгөн) - алтын стандарт.

Көрүнгөн үлгүлөрдүн жоктугу кокустукка кепилдик бербейт; "көзгө" эмес, корреляция жана сериялык тесттер маанилүү.

2) бөлүштүрүү протокол менен берилген

"Чийки" агымдын көп учурда бир калыпта болушу болжолдонууда (мисалы, 32-биттүү сөздөр бирдей болушу мүмкүн).

Оюнда бирдей сандар окуяларга: слоттун символдоруна, "виртуалдык каскаддын" карталарына, дөңгөлөк секторуна мапылдашат. Туура мэппинг = "өлүк зоналардын" жана кыйшаюулардын жоктугу.

3) Мезгил дайыма бар - анын узундугу боюнча маселе

PRNG акыркы мезгил (цикл) бар. Жакшы генератордун мөөнөтү ушунчалык узун болгондуктан, иш жүзүндө аны "кыйгап өтө албайсыз".

"Мамлекеттин" (state/nonce reuse) дал келүүсүнөн качуу маанилүү, антпесе субтекстүүлүк кайталанат.

4) Led (seed) - күтүүсүздүктүн тамыры

Туура эмес баштоо кайра-кайра же алдын ала чыгаруу берет.

Ишенимдүү система көп каналдуу энтропия жана мезгилдүү reseeding (документтештирилген) колдонот.

5) Энтропия - ошол эле эмес, "ызы-чуу"

Биттин энтропиясы агымдын канчалык күтүүсүз экенин өлчөйт.

Аппараттык энтропия (ызы-чуу) адатта тез жана туруктуу агымын алуу үчүн крипто DRBG (CSPRNG) менен сиңирилет.

6) p-values "сулуу" болушу керек

Тесттин батареяларында (жыштыктар, сериялар, "туулган күндөр", матрица рангдары ж.б.) p-values бирдей бөлүштүрүлүшү керек [0; 1] эмес, "тегерегинде чогулуш 0. 5».

Бир "кызыл" тест көйгөйдү далилдебейт: текшерүүлөрдүн көптүгүн эске алып, прогонду кайталашат.

7) Жергиликтүү "тилке" - туура эмес

Ар кандай чыныгы кокустук ырааттуулукта кластерлер пайда болот (нөлдөрдүн/бирдиктердин узун сериялары, символдордун кайталануулары).

тилкелери - нормалдуу; системалык тобокелдик - чоң терезелер үчүн туруктуу бурмалоолор.

8) Сызыктуулук - жашыруун душман

Жөнөкөй сызыктуу LCG түрүндөгү генераторлор негизги сыноолордон өтүшү мүмкүн, бирок татаал (матрица даражасы, сызыктуу татаалдыгы, DFT) боюнча "төгүлөт".

Оюн тармагында стандарт - крипто туруктуу DRBG (мисалы, блоктук шифрлерде/хэштерде).

9) Mapping туруктуу жана версия болушу керек

Ар кандай шайкештик таблицаларын өзгөртүү "саны → окуя" = оюндун жаңы версиясы жана кайра текшерүү.

Жакшы практика - хэш-суммалар жана санариптик кол тамгалар менен мэппингди катуу бекитүү.

10) "Дээрлик утуш" - агым жөнүндө эмес, интерфейс жөнүндө

Near-miss - визуалдык драматургиянын бир бөлүгү; үлүшү жана жүрүм-туруму оюн математикасы тарабынан берилет.

RNG санды берет, ал эми интерфейс окуяны баяндайт - бул катмарлар ажырашып кетиши керек.

11) Кайталануучулук ≠ алдын ала айтуу

Аудит үчүн ар бир раунд натыйжаны (раунддун ID, led/nonce, хеш) ойнотууга болот деп эсептелинет.

Бул оюн учурунда агым алдын ала эмес: сырлар (LED) жана мамлекеттик корголгон.

12) "Жакшы" ырааттуулугу көзөмөлү астында тукум жашайт

Релизден кийин мониторинг жүргүзүү маанилүү: RTP күбөлөндүрүлгөн менен дал келеби, символдордун, кайталоолордун, "ысык" номерлердин жыштыктарынын дрейфтери барбы.

чектери боюнча Alerty → Титл изоляция жана техникалык изилдөө.

13) Абалы жана агымдары - өзүнчө

Ар кандай оюндар/столдор/бийлик көз карандысыз RNG абалын колдонот.

Бир агымды бир нече продукцияга "бөлүүгө" болбойт - кайчылаш корреляциялар пайда болот.

14) Forward/Backward-security көрүнгөндөн маанилүү

Учурдагы абалын бузууда жакшы CSPRNG өткөн (backtracking resistance) жана келечек (forward security) ырааттуулугун ачыкка чыгарбашы керек.

Бул kriptoprimitives жана үзгүлтүксүз reseeding жетишилет.

15) "Provably fair" туура эмес алмаштыруу далилдейт

Commit-Revil (хеш Server Sid → ачуу) + кардар Led оюнчу натыйжасын кайра эсептөөгө мүмкүнчүлүк берет.

Бул ырааттуулуктун бүтүндүгүн кепилдейт, бирок оюн жана мэппинг математика аудит ордуна эмес.

Жаман ырааттуулук кандай көрүнөт (белгилер)

Sides/nonce → бирдей кириштер менен кайталанган натыйжалар.

Чоң терезелерде туруктуу жыштык кыйшаюусу (жалгыз кластер эмес).

DFT аныкталган мезгилдер, TestU01/BigCrush "ийгиликсиз".

Эмпирикалык RTP дрейф акылга сыярлык көлөмдөр үчүн жарыяланган.

Жакшы ырааттуулук кандай көрүнөт

Так жыштыктар жана ишенимдүү аралыктардын чегинде сериясы; бир калыпта p-values.

кошуна жана корголгон элементтердин ортосунда эч кандай байланыш жок.

Эмпирикалык RTP/окуялардын жыштыктарынын моделге жакындыгы.

өндүрүмдүү бинар жана күбөлөндүрүлгөн ортосундагы нөлдүк айырма (хеш контролдоо).

Мини шпаргалкалар

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

Көп каналдуу энтропиядан CSPRNG + документтештирилген reseeding колдонуңуз.

агымдар/оюндар боюнча байлыктарды бөлүү; журнал nonce.

NIST/Dieharder/TestU01 кууп, плюс RTP чогулушуна чейин мэппинг массимуляциялары.

Сандык кол менен Mapping жана Binaries чечүү; кол коюлбаган релиздерге тыюу салыңыз.

Прод-дрейф метрикасына алерттерди орнотуу; жылуулоо жана rollback планы.

Операторлор үчүн

Оюндардын версияларын жана хэштерин сертификатталган менен салыштырыңыз.

Мониторинг RTP/жыштык/кайталоо; босоголорду жана автомашиналарды кармаңыз.

Тикет аркылуу тез экспорттоо мүмкүнчүлүгү менен турлардын өзгөрүлбөс логторун сактаңыз.

Оюнчулар үчүн

маалымат экран текшерүү: RTP, эрежелер, версия, max win.

Кластерлерди "бурмалоо" менен чаташтырбаңыз: тилкелер нормалдуу.

талаш-жылы ID раунд жана көчүрмө сурап - натыйжасы ойнотулат керек.

Кокус ырааттуулугу RNG текшерилүүчү касиеттери менен инженердик артефакт болуп саналат: көз карандысыздык, туура бөлүштүрүү, узак мезгил, компетенттүү сидинг жана компромисске туруктуулук. Оюндарда чынчылдык сапаттык агым туура мэппинг жана контролдоо жол-жоболору менен байланышкан жерде пайда болот: релизге чейин тастыктоо, кийин логи жана мониторинг. Үч катмар тең өз ордунда болгондо, "кокустук" убададан ишенимдүү практикага айланат.