fairnessprovably fairexplainer
Certificirani generator znači da je neovisni laboratorij u nekom trenutku ispitao generator slučajnih brojeva i njegov izlaz ocijenio statistički čvrstim. Dokazivo pošteno znači da igra svakom igraču pruža kriptografsku potvrdu o njegovoj vlastitoj partiji, pa se svako bacanje može preračunati bez vjerovanja ikome. Jedan model revidira stroj. Drugi dokazuje tvoju partiju.
Oba izraza pojavljuju se na stranicama o povjerenju kod igara na mreži koje za tebe bacaju kockice i zvuče zamjenjivo. Nisu. Odgovaraju na različita pitanja, pucaju na različite načine, a razlika odlučuje što se od tebe traži da vjeruješ kad sjedneš igrati.
Što certificirani generator zapravo certificira?
Certifikacijski laboratorij uzme generator, provuče njegov izlaz kroz nizove statističkih testova i lovi pristranost: brojeve koji dolaze prečesto, uzorke koji se ponavljaju, nizove koji odlutaju. Ako milijuni uzoraka izgledaju nerazlučivo od slučajnosti, laboratorij potpisuje certifikat. Taj je posao stvaran i traži umijeće. On utvrđuje da je generator, onakav kakav je ispitan, toga dana proizvodio čvrstu slučajnost.
Primijeti što certifikat ne može vidjeti. Izdan je u laboratoriju, a tvoje se kockice bacaju na poslužitelju.
- Je li ispitani kod ujedno i onaj koji je postavljen, mjesecima i mnogim ažuriranjima poslije.
- Ožičenje između generatora i tvoje partije: kod koji sirovi slučajni broj pretvara u tvoju šesticu i četvorku.
- Bilo koje pojedino bacanje u bilo kojoj pojedinoj partiji. Certifikacija govori o generatoru općenito, nikada o tvojoj partiji u utorak navečer.
Certifikacija stoga nosi tihu drugu odredbu: vjeruj da se ništa nije promijenilo od ispitivanja i vjeruj da je certificirani put onaj kojim je tvoja partija doista prošla. Većina studija to ispunjava. Bit je u tome da ti ne možeš provjeriti. Taj model je pregled stroja u jednom trenutku, popraćen vjerom u postavljanje u svim trenucima poslije.
Što znači dokazivo pošteno?
Dokazivo pošteno drukčiji je dogovor. Umjesto da pokazuje na reviziju koju nikad nisi vidio, igra se obvezuje na vlastitu slučajnost prije početka, a poslije otkriva dovoljno da sam preračunaš svako bacanje. Dokaz putuje s partijom. U praksi to radi kao zapečaćena omotnica.
Obveza. Prije prvog poteza poslužitelj stvara tajno sjeme i objavljuje njegov SHA-256 otisak. Otisak ne otkriva ništa o budućim bacanjima, ali pribija sjeme. Promijeni poslije i jedan bit u sjemenu i otisak više ne odgovara.
Bacanja. Tijekom igre svako se bacanje izvodi iz sjemena pomoću HMAC-SHA256, jedan izračun po bacanju. Kockice su odlučene u istom trenutku u kojem je omotnica zapečaćena. Ljubazniji broj ne može se ubaciti usred partije bez kršenja već objavljene obveze.
Otkrivanje. Nakon partije sjeme se otkriva. Svatko ga može sažeti, usporediti s obvezom, preračunati svako bacanje i rezultate staviti uz kockice koje su se pojavile na ploči. Ako se sve slaže, partijom se nije moglo upravljati. Ako je nešto dirano, aritmetika će to reći.
Povjerenje se seli s tvrtke na aritmetiku. Više ne moraš vjerovati da je revizija bila temeljita ni da je postavljanje bilo vjerno. Trebaš da SHA-256 izdrži, a to je ista pretpostavka na koju se ostatak interneta oslanja svakoga dana.
Certifikat kaže da je novčić bio pošten onoga dana kad smo gledali. Potvrda kaže da je tvoje bacanje bilo pošteno i pokazuje račun.
Znači li certifikacija onda još uvijek nešto?
Da. Commit-reveal dokazuje da si dobio točno onu slučajnost na koju se obvezalo. Ne dokazuje da je ono na što se obvezalo uopće bilo dobro. Slab ili predvidljiv izvor sjemena i dalje bi proizvodio potvrde koje se savršeno provjeravaju: dokaziva isporuka loših kockica. Prosuđivanje kakvoće izvora upravo je ono čemu revizije i statističko ispitivanje služe, a u reguliranim djelatnostima certifikat je jednostavno obvezan.
Dva modela odgovaraju na različita pitanja. Revizija pita: je li ta slučajnost dobra? Potvrda pita: je li je moja partija doista upotrijebila? Sustav koji ima samo prvo živi od vječne vjere u postavljanje. Sustav koji ima samo drugo mogao bi vjerno isporučivati loše kockice i to dokazati. Najjači sustavi zatvaraju oba vrata.
Zašto je javna provjera važna?
Zato što potvrda koju nitko ne može pročitati nikoga ne štiti. Neke igre objavljuju obveze, ali igračima ne daju praktičan način da ih provjere, ili provjeru skrivaju unutar upravo one aplikacije o kojoj je riječ. Tada se nijedan krug ne zatvara. Ako je jedini alat koji može jamčiti za sustav u vlasništvu tog sustava, vratio si se na vjeru, sada uz dodatne korake.
Najjače postave objavljuju tri stvari. Obvezu, prije partije. Sjeme, poslije nje. I neovisan, javan način preračunavanja bacanja koji radi izvan aplikacije. Zato provjera Oriona živi u pregledniku, na orion.arthea.ai/verify: bez računa, bez instalacije, a naša riječ nije dio te provjere.