fairnessprovably fairexplainer
Generador certificat vol dir que un laboratori independent va examinar en algun moment un generador de números aleatoris i en va trobar la sortida estadísticament sòlida. Demostrablement just vol dir que el joc dona a cada jugador un rebut criptogràfic de la seva pròpia partida, de manera que cada tirada es pot recalcular sense refiar-se de ningú. Un model audita la màquina. L'altre demostra la teva partida.
Tots dos termes apareixen a les pàgines de confiança dels jocs en línia que tiren daus per tu, i sonen intercanviables. No ho són. Responen preguntes diferents, es trenquen de maneres diferents, i la diferència decideix què et demanen que et creguis quan seus a jugar.
Què certifica realment un generador certificat?
Un laboratori de certificació agafa un generador, passa la seva sortida per bateries de proves estadístiques i busca biaix: números que surten massa sovint, patrons que es repeteixen, seqüències que se'n van. Si milions de mostres semblen indistingibles de l'atzar, el laboratori signa un certificat. Aquesta feina és real i demana ofici. Estableix que el generador, tal com es va provar, aquell dia produïa aleatorietat sòlida.
Fixa't en què no pot veure el certificat. Es va emetre en un laboratori, i els teus daus es tiren en un servidor.
- Si el codi provat és el codi desplegat, mesos i moltes actualitzacions després.
- El cablejat entre el generador i la teva partida: el codi que converteix un número aleatori en brut en el teu 6 i el teu 4.
- Cap tirada concreta de cap partida concreta. La certificació parla del generador en general, mai de la teva partida de dimarts a la nit.
Així que la certificació porta una segona clàusula silenciosa: refia't que res no ha canviat des de la prova, i refia't que el camí certificat és el que va fer realment la teva partida. La majoria d'estudis la compleixen. La qüestió és que tu no ho pots comprovar. El model és una inspecció de la màquina en un instant, seguida de fe en el desplegament en tots els instants posteriors.
Què vol dir demostrablement just?
El just demostrable és un altre tracte. En lloc d'assenyalar una auditoria que no has vist mai, el joc es compromet amb la seva pròpia aleatorietat abans de començar i després revela prou perquè puguis recalcular cada tirada tu mateix. La prova viatja amb la partida. A la pràctica funciona com un sobre segellat.
Compromís. Abans del primer moviment, el servidor genera una llavor secreta i en publica l'empremta SHA-256. L'empremta no revela res de les tirades que vindran, però clava la llavor. Canvia-hi un sol bit després i l'empremta ja no encaixa.
Tirades. Durant el joc, cada tirada es deriva de la llavor amb HMAC-SHA256, un càlcul per tirada. Els daus van quedar decidits en el mateix instant en què es va segellar el sobre. No es pot colar un número més amable a mitja partida sense trencar el compromís ja publicat.
Revelació. Després de la partida, la llavor es revela. Qualsevol pot fer-ne el hash, comparar-lo amb el compromís, recalcular cada tirada i posar els resultats al costat dels daus que van sortir al tauler. Si tot quadra, la partida no es podia dirigir. Si s'hi ha tocat res, l'aritmètica ho diu.
La confiança es desplaça de l'empresa a l'aritmètica. Ja no cal que et creguis que l'auditoria va ser rigorosa ni que el desplegament va ser fidel. Necessites que SHA-256 aguanti, i és la mateixa hipòtesi sobre la qual s'aguanta la resta d'internet cada dia.
Un certificat diu que la moneda era justa el dia que la vam mirar. Un rebut diu que la teva tirada va ser justa, i ensenya els càlculs.
Vol dir que la certificació encara compta?
Sí. El commit-reveal demostra que has rebut exactament l'aleatorietat compromesa. No demostra que allò compromès fos bo d'entrada. Una font de llavors feble o predictible continuaria produint rebuts que validen perfectament: lliurament demostrable de mals daus. Jutjar la qualitat de la font és precisament per al que serveixen les auditories i les proves estadístiques, i en sectors regulats un certificat és senzillament obligatori.
Els dos models responen preguntes diferents. Una auditoria pregunta: aquesta aleatorietat és bona? Un rebut pregunta: la meva partida la va fer servir de debò? Un sistema amb només el primer viu de fe perpètua en el desplegament. Un sistema amb només el segon podria lliurar fidelment mals daus i demostrar-ho. Els sistemes més forts tanquen totes dues portes.
Per què compta una verificació pública?
Perquè un rebut que ningú no pot llegir no protegeix ningú. Alguns jocs publiquen compromisos però no donen als jugadors cap manera pràctica de comprovar-los, o amaguen la verificació dins de la mateixa aplicació de la qual es tracta. Llavors no es tanca cap cercle. Si l'única eina que pot avalar un sistema és propietat del sistema, tornes a la fe, ara amb passos extra.
Els muntatges més forts publiquen tres coses. El compromís, abans de la partida. La llavor, després. I una manera pública i independent de recalcular les tirades, que funcioni fora de l'aplicació. Per això la verificació d'Orion viu al navegador, a orion.arthea.ai/verify: sense compte, sense instal·lació, i la nostra paraula no forma part de la comprovació.