Ինչպես են աշխատում RNG իրական ստուգումները

RNG-ի ստուգումը (պատահական թվերի գեներատոր) ոչ թե մեկ կախարդական թեստ է, այլ ինժեներական ընթացակարգերի շղթա։ Նրա նպատակն է ապացուցել երեք բան ՝ (1) թվերի հոսքը վիճակագրորեն նման է կատարյալ պատահական, (2) նա ճիշտ «դիմահարդարվում» խաղային իրադարձությունների մեջ (խորհրդանիշներ, քարտեր, մուլտիպլիկատորներ), (3) ստուգված տարբերակը անընդհատ պտտվում է։ Ներքևում 'ինչպես է կազմված ամբողջական ցիկլը։

1) Ի՞ նչ են ստուգում (երեք մակարդակ)

1. RNG-ի հում ելքերը հոսքի մաքուր վիճակագրությունն են (առանց խաղային ինտերֆեյսի)։

2. Mapping RNG-ը բացատրում է խաղի իրադարձությունները 'հայտարարված մաթեմատիկայի համադրությունների հաճախականությունները (RTP/անկայունություն)։

3. Կյանքի ցիկլը և ամբողջականությունը, որ վաճառքում աշխատում է հենց այն հավաքածուն, որը սերտիֆիկացվել է, և դուք չեք կարող անտեսել այն։

2) Մինչև թողարկումը 'լաբորատոր հավաստագրում

A. Սպիտակ բոքսը (կոդով և ճարտարապետությամբ)

Ալգորիթմը 'PRNG/CSPRNG դասը, «ցանքս» մեթոդը, անցնելով (reseeding), հոսքերի մեկուսացումը, խաղերի միջև ընդհանուր պայմանների բացակայությունը։

Էնտրոպիայի աղբյուրները 'համակարգային փամփուշտը/ապարատային աղմուկը։ ստուգվում է բիթային էնտրոպիայի հավանականությունը սկսելու համար։

Պետության ղեկավարությունը 'nonce/հաշվիչ, պաշտպանություն կրկնվող օգտագործումից, հոսքերի անկախությունը տարբեր խաղերի/սեղանների համար։

Բ. Սև բոքսը (ելույթի ժամանակ)

Նրանք ստեղծում են շատ մեծ նմուշներ (հարյուր միլիոն միլիարդավոր բիթ/թվեր)։

Նրանք դուրս են գալիս թեստերի մարտկոցից

NIST SP 800-22 'մոնոբիտ, հաճախականություններ բլոկներով, ռան թեստեր, անհավասարակշռություն զրո/միավորներ, ապրոքսներ։ էնտրոպիա, գծային բարդություն, սպեկտրալ (DFT) և այլն։

Disehard/Eureharder: Ծննդյան օրերը (birthday spacings), մոլորությունները (randultwalks), համընկնումները, մատրիցների վնասվածքները և այլն։

TestU01 (SmallCrush/Crush/BigCrush) 'ամենաուժեղ շարքը; բռնում է բարակ կախվածություններ և կարճ ժամանակահատվածներ։

Հիպոթեզները և p-values: Ոչ "որպեսզի բոլորը 0 լինեն։ 5", որպեսզի դրանք հավասարաչափ բաժանվեն [0; 1]; հաշվի է առնվում թեստերի բազմազանությունը (կեղծ աշխատանքի ուղղումը)։

Սայթաքող պատուհանները 'նույն թեստերը հոսքերի ենթամարմնավորման վրա (տարբեր բլոկներ), որպեսզի բռնի անկայունությունը։

C. Վերիֆիկացում խաղի մաթեմատիկայի

Միլիոնավոր/միլիարդ «վիրտուալ սպինների/դեգրադների» մոդելավորումը 'էմպիրիկ RTP-ը գնում է դիմումի (օրինակ ՝ 96։ 00 տոկոսը 71)։

Հազվագյուտ իրադարձությունների ստուգումը 'ջեքպոտների հաճախականությունը, բոնուսային փուլերը, մուլտիպլիկատորները, քվանտներում հաղթողների բաշխումը։

Մեպպինգի ստուգումը '«RNG-ի թիվը հաստատեց խորհրդանիշը/քարտեզը» առանց խաչմերուկի, որը հավասար է «դեկի/հարվածային» բոլոր դիրքերի հավանականությանը։

Արդյունքը 'զեկույց RNG-ից, թեստերի ցուցակով/տվյալների ծավալի/անցման շեմերի, խաղի բինարիայի հեշի և նպատակային RTP-ի միջոցով։

3) Վաճառքի վրա 'շարունակական վերահսկողություն

Telemetria և alerta

RTP-ի նմանությունը համախմբված տվյալներով (օրեր/շաբաթ/ամիս) վստահելի ընդմիջումների հետ։

Բաշխման անոմալիաներ 'կրկնօրինակներ, սիմվոլներ, ցրման փոփոխություններ։
RNG-ի առցանց առողջությունը 'թեթև ներկառուցված սամոտեստները (frequency/runs) ընթացիկ հոսքի վրա + պարբերական «ծանր» բացակայում են լոգարանների նկարներում։
Սայթաքող պատուհանները և սեզոնայնությունը 'համեմատություններ «հին» ստանդարտ ժամանակահատվածների հետ։

Արտեֆակտների ամբողջականությունը

Հաշիվ գումարները և թվային ստորագրությունները, որոնք ունեն «ոսկե» մոդել հավաստագրությունից։

Քաղաքականությունը «միայն ստորագրված օրինագծեր», կրկնակի հավանություն դոպլայի վրա, ադմինների գործողությունների աուդիտ։

Արձագանք միջադեպերին

Շեմի արժեքները պլանավորվում են մեկուսացնել խաղը, ներառել «maintenae», կատարել rollback, ամրացնել կեղևը, տեղեկացնել կարգավորիչին/գործընկերներին, պատրաստել logs։

4) Ինչպե՞ ս են հիմնական թեստերը (մարդկային առումով)

Մոնոբիթ/հաճախականություն 'զրո և միավորներ պետք է մոտավորապես հավասար լինեն։

Runs/շարքը 'անընդմեջ 0/1 երկարությունները համապատասխանում են տեսությանը։
DFT/սպեկտրալ 'չկա թաքնված ժամանակահատվածներ/ներդաշնակ։
Գծային բարդությունը/մատրիցի աստիճանը 'հոսքը չի նկարագրվում կարճ գծային սխեմայով։
Birthday spacings/colisia 'համընկնումների բաշխումը կատարյալ պատահական է։
Approx. Entropy/Serial: ավելորդ կարճ փամփուշտներ չկան։
Autocorrelation: Հարևան տարրերը անկախ են։

Կարևոր է, որ մի «կարմիր» թեստ չի ապացուցում խնդիրը, նրանք նայում են փաթեթը, հաշվի առնելով բազմաթիվ ստուգումներ և վերաարտադրություն։

5) Սիդներ, անցնելով հոսքերի անկախությունը և անկախությունը

Seed-ը ձևավորվում է էնտրոպիայի մի քանի աղբյուրներից։ ստուգում են մեկնարկի գործընթացը և հետազոտման հաճախությունը։

Տարբեր խաղեր/սեղաններ - RNG տարբեր վիճակներ։ Միասին արգելք։

Նա սովորում է nonce/հաշվիչ, յուրաքանչյուր դիմում եզակի է, բացառված է կրկնվող նմուշը։

6) Մեպինգը և ներկայացումը. Որտեղ հաճախ շփոթում են «ազնվությունը»։

RNG-ն տալիս է թիվը, իսկ խաղը այն փոխանցում է իրադարձությանը։ Ստուգում են, որ Mepping-ը։

չունի «մեռած» գոտիներ, հավասարաչափ ծածկում է տարածքը, ֆիքսված տարբերակում (փոփոխություն = նոր հավաստագրում)։

Near-miss-ը ինտերֆեյսի տեսողական ազդեցություն է։ Նրա մասնաբաժինը և տրամաբանությունը խիստ սահմանված են մաթեմատիկայի կողմից։ նա չի «նետում» RNG-ն։

7) Լոգներն ու վերարտադրողականությունը

Յուրաքանչյուր շրջանակ ստանում է ID, ժամանակի պարամետրեր, sid/nonce, մուտքային պարամետրեր, RNG արդյունքը և մեպպինգից հետո արդյունքը։

Լաբորատորիան/օպերատորը կարող է վերարտադրել արդյունքը և համոզվել, որ այն համապատասխանում է ալգորիթմին և տվյալները։

Լոգները անփոփոխ են, պահվում են տարիներ, գլխարկներ։ հասանելիությունը խողովակաշարով է։

8) Live-Games, որը փոխարինում է RNG թեստերը։

Ռուլետկա/քարտեզներ 'սարքավորումների վերահսկում (անիվի, հավասարակշռության, տրամաչափման), դիլերի, Avto-shuflers, օղակների փոփոխություն, ամբողջական տեսագրություններ։

Վաճառքում թվերի/քարտերի վիճակագրական գրանցումը բռնում է մաշվածությունը/թերությունները և մարդկային գործոնը։

9) «Provably fox» ՝ ինչ իսկապես ստուգում է խաղացողը։

Սերվերը նախապես հրապարակում է սերվերային սիդի հեշ։ Դրանից հետո այն բացահայտում է սիդը։

Խաղացողը տալիս է հաճախորդների սիդը։ արդյունքը համարվում է փաստագրված բանաձևի (հաճախ HMAC/AES + nonce)։
Յուրաքանչյուրը կարող է հաշվել և համոզվել, որ արդյունքը չի փոխարինվել տոկոսադրույքից հետո։
Բայց սա բարձր RTP-ի երաշխիք չէ, խաղի մաթեմատիկան դեռ պահանջում է առանձին։

10) Բնորոշ սխալներ և ինչպես են նրանց բռնում

Սիդայի վատ նախաձեռնությունը առաջին պատուհաններում բռնում է վաղ թեստերով և անոմալիաներով։

Կրկնվող վիճակ/nonce reuse-ը բացատրում է կրկնօրինակները/հարաբերակցությունները, մանկությունը Corehard/TestU01-ում։
Դրեյֆը, ապդեյտից հետո (տաք աջ), մեջբերում է ալերտները հեշի/մետրի տարբերության համար։
Թույլ PRNG-ը բացատրում է BigCrush-ի «ձախողումները», հաճախականության աճը, կառուցվածքը DFT-ում։

Chek-lists

Ստուդիայի/պրովայդերի համար

Փաստաթղթավորված է RNG ալգորիթմը, սիդինգը, հետազոտությունը, հոսքերի բաժանումը։
Progons NIST/Wineharder/TestU01 բավարար ծավալով և զեկույցներով p-values։
Զանգվածային սիմուլյացիան 'RTP, ցրումը, շահումը, հազվագյուտ իրադարձությունները։
Տարբերակումը/ստորագրությունը/արտեֆակտների հեշը; արգելք չգրված օրինագծերի համար։
Կրակոցային ալյուրները RTP/բաշխման/կրկնության վրա; մեկուսացման պլան/ռոլբեկ։

Օպերատորի համար

Ես ստուգում եմ RNG/խաղերի հավաստագրերը և վաճառքի իրական տարբերակները (հեշ վերահսկողություն)։
Ես վերահսկում եմ RTP-ի և անոմալիայի նմանությունը բոլոր գաղտնիքներով։ կան շեմեր և մեքենաներ։
Ես պահում եմ անփոփոխ լույսեր; պատրաստ է արագ արտահանել տիկետով։
Ընթացակարգը հաստատվում է. Խաղի կանգառը rollback-ը հաստատվում է հանրային զեկույցով։

Խաղացողի համար

Ես դիտում եմ խաղի նախկին էկրանը 'RTP/կանոնները/տարբերակը/maks-trach։
Ես խաղում եմ RG տեսանելի գործիքներով (limits/պատմություն/թայմաութ)։
Բանավիճում եմ ID-ի համար։ արդյունքը պետք է վերարտադրվի։
Ես չեմ շփոթում RNG ազնվությունը ալատիլությամբ. «չոր» շերտերը նորմալ են։

RNG իրական ստուգումները խիստ վիճակագրություն են + մեպինգի վերահսկումը + տարբերակների և լոգարանների կարգապահությունը։ Լաբորատորիան ապացուցում է, որ հոսքը հավասար է և անխուսափելի։ սիմուլյացիան ապացուցում է RTP հայտարարման համապատասխանությունը։ acchen-international-ը երաշխավորում է, որ ստուգված հավաքումը չի փոխվել և վարվում է այնպես, ինչպես թեստերի վրա։ Երբ բոլոր երեք մակարդակները միասին են աշխատում, «ազնվությունը» դադարում է լինել խոստում և դառնում է համակարգի հատկություն։