provably faircertified RNGfairness
RNG certificado significa que un laboratorio independiente examinó un generador de números aleatorios en un momento dado y juzgó su salida estadísticamente sólida. Justo demostrable significa que el juego entrega a cada jugador un recibo criptográfico de su propia partida, de modo que cada tirada puede recomprobarse sin confiar en nadie. Un modelo audita la máquina. El otro demuestra tu partida.
Ambas expresiones aparecen en las páginas de confianza de los juegos online que tiran los dados por ti, y suenan intercambiables. No lo son. Responden a preguntas distintas, fallan de maneras distintas, y la diferencia decide qué te están pidiendo que creas cuando te sientas a jugar.
¿Qué certifica realmente un RNG certificado?
Un laboratorio de certificación toma un generador, pasa su salida por baterías de pruebas estadísticas y caza sesgos: números que aparecen demasiado, patrones que se repiten, secuencias que derivan. Si millones de muestras resultan indistinguibles del azar, el laboratorio firma un certificado. Ese trabajo es real y exige oficio. Establece que el generador, tal como se probó, aquel día, producía aleatoriedad sólida.
Fíjate en lo que el certificado no puede ver. Se emitió en un laboratorio, y tus dados se tiran en un servidor.
- Si el código probado es el código desplegado, meses y muchas actualizaciones después.
- El cableado entre el generador y tu partida: el código que convierte un número aleatorio en bruto en tu 6 y tu 4.
- Cualquier tirada concreta de cualquier partida concreta. La certificación habla del generador en general, nunca de tu partida del martes por la noche.
Así que la certificación lleva una segunda cláusula silenciosa: confía en que nada cambió desde la prueba, y confía en que el camino certificado es el que tu partida tomó de verdad. La mayoría de los estudios lo cumplen. La cuestión es que no puedes comprobarlo. El modelo es una inspección de la máquina en un momento, seguida de fe en el despliegue en todos los momentos posteriores.
¿Qué significa justo demostrable?
Justo demostrable es otro trato. En lugar de señalar una auditoría que nunca viste, el juego se compromete con su aleatoriedad antes de empezar y luego revela lo suficiente para que recalcules cada tirada tú mismo. La prueba viaja con la partida. En la práctica funciona como un sobre sellado.
Comprometer. Antes del primer movimiento, el servidor genera una semilla secreta y publica su huella SHA-256. La huella no revela nada de las tiradas por venir, pero fija la semilla en su sitio. Cambia después un solo bit de la semilla y la huella ya no coincide.
Tirar. Durante el juego, cada tirada se deriva de la semilla con HMAC-SHA256, un cálculo por tirada. Los dados quedaron decididos en el instante en que se selló el sobre. No se puede colar un número más amable a mitad de partida sin romper el compromiso ya publicado.
Revelar. Tras la partida, la semilla se revela. Cualquiera puede aplicarle un hash, compararla con el compromiso, recalcular cada tirada y poner los resultados junto a los dados que aparecieron en el tablero. Si todo cuadra, la partida no pudo dirigirse. Si algo se manipuló, las matemáticas lo dicen.
La confianza se traslada de la empresa a la aritmética. Ya no necesitas creer que la auditoría fue minuciosa ni que el despliegue fue fiel. Necesitas que SHA-256 aguante, que es el mismo supuesto sobre el que se apoya el resto de internet cada día.
Un certificado dice que la moneda era justa el día que la miramos. Un recibo dice que tu lanzamiento fue justo, y enseña las cuentas.
¿Sigue importando la certificación?
Sí. El commit-reveal demuestra que recibiste exactamente la aleatoriedad comprometida. No demuestra que lo comprometido fuera bueno de entrada. Una fuente de semilla débil o predecible seguiría produciendo recibos que validan a la perfección: entrega demostrable de dados malos. Juzgar la calidad de la fuente es justo para lo que sirven las auditorías y las pruebas estadísticas, y en industrias reguladas un certificado es sencillamente obligatorio.
Los dos modelos responden a preguntas distintas. Una auditoría pregunta: ¿es buena la aleatoriedad? Un recibo pregunta: ¿la usó de verdad mi partida? Un sistema con solo lo primero funciona sobre una fe permanente en el despliegue. Un sistema con solo lo segundo podría entregar fielmente dados malos y demostrarlo. Los sistemas más fuertes cierran las dos puertas.
¿Por qué importa un verificador público?
Porque un recibo que nadie puede leer no protege a nadie. Algunos juegos publican compromisos pero no dan a los jugadores ninguna forma práctica de comprobarlos, o esconden la verificación dentro de la propia app en cuestión. Eso no cierra ningún círculo. Si la única herramienta capaz de avalar un sistema pertenece al sistema, vuelves a la fe, ahora con pasos de más.
Los montajes más sólidos publican tres cosas. El compromiso, antes de la partida. La semilla, después. Y una manera pública e independiente de recalcular las tiradas: una página web sencilla, criptografía estándar que todo navegador ya trae, sin inicio de sesión delante. Un escéptico que nunca jugó la partida puede auditarla igualmente.
Ese es el modelo sobre el que construimos Orion. Cada partida respaldada por servidor se compromete con sus dados en SHA-256 antes de la primera tirada, deriva cada tirada con HMAC-SHA256 y revela la semilla cuando la partida termina. El verificador en orion.arthea.ai/verify está en línea hoy. Recalcula la cadena entera en tu navegador con Web Crypto y no pide cuenta alguna, porque una prueba que exige permiso no es una prueba. El servidor también valida cada movimiento del juego en vivo en origen. Unos dados honestos merecen un tablero honesto.
La puerta en orion.arthea.ai/go lleva los enlaces del App Store y de Google Play y siempre muestra lo que está disponible ahora mismo. Detrás de ella, cada partida, desde la primera, lleva su propio recibo.