Cómo funciona la imparcialidad aquí

Cómo funciona un sorteo verificable

Un sorteo verificable fija el orden del cuadro con una aleatoriedad que nadie implicado puede elegir. Primero el torneo se compromete —con sus datos de entrada y con una ronda de una baliza pública de aleatoriedad que aún no se ha publicado— y después esa ronda decide el orden.

1. Antes del sorteo, el torneo se compromete con sus datos de entrada —los participantes y el procedimiento exacto— y con una ronda futura de una baliza pública de aleatoriedad.
2. Esa ronda todavía no se ha publicado, así que en ese momento su aleatoriedad es desconocida para todos: para el organizador y para Arena tanto como para ti.
3. Cuando la ronda se publica, su valor decide el orden de forma determinista. Ninguna persona lo elige, y volver a reproducir la revelación no lo cambia.
4. Cualquiera puede volver a derivar ese orden a partir de la misma ronda publicada y de los mismos datos comprometidos, y compararlo con el cuadro que se publicó.

Lo que esto demuestra es concreto y limitado: la aleatoriedad que fijó el orden se publicó después del compromiso, así que no se pudo predecir ni elegir. No dice nada sobre cómo se arbitraron después los partidos ni sobre cómo se registraron los resultados.

Qué vuelve a comprobar el verificador abierto

El verificador se ejecuta en tu navegador, sobre las pruebas publicadas para una revisión de Arena concreta, y vuelve a comprobar lo siguiente al margen de Arena:

• que el registro de eventos guardado se reproduce exactamente hasta el estado final del motor que se afirma, de modo que el estado de la página es el que produce ese registro y no un resumen escrito aparte;
• que el hash de la definición y el hash de estado del motor coinciden con la identidad publicada junto al registro;
• que cada transcripción del sorteo es coherente en sí misma y produce el orden que se publicó;
• que cada ronda de baliza vinculada lleva una firma válida de su fuente pública, de modo que la aleatoriedad es la ronda publicada real y no un sustituto.

Cada informe de verificación declara su propio alcance. Las comprobaciones de sorteo, baliza y notario solo se ejecutan en un torneo que las reclama; una comprobación fuera del alcance no se ejecutó y el informe no afirma nada sobre ella. Cuando una prueba obligatoria falta, no se divulga o no está admitida, el resultado se informa como incompleto, nunca como verificado.

Límites honestos

Cada afirmación del registro es un enunciado limitado sobre pruebas concretas. Los límites que siguen forman parte de una afirmación tanto como la afirmación misma.

Un sello no significa que hacer trampas sea imposible. Un sello dice que existe un compromiso sobre el estado publicado. No dice que las comprobaciones hayan pasado, que el arbitraje fuera correcto ni que los resultados introducidos fueran honestos. Arena puede mostrar que un registro no se alteró después; no puede mostrar que el registro fuera cierto cuando se escribió.

La siembra manual no lleva ninguna afirmación de no manipulabilidad. Cuando el orden lo fija una persona o se importa desde fuera, el registro lo dice tal cual: el orden es manual y no se afirma nada sobre su impredecibilidad. Un orden manual también se puede reproducir y comprobar, pero eso solo muestra que se aplicó sin cambios.

La recuperación manual es una rebaja visible, no un arreglo. Si un sorteo verificable falla o caduca y el organizador lo termina a mano, el intento fallido permanece en el registro, el orden pasa a ser manual en una nueva revisión de Arena y la afirmación de no manipulabilidad se retira en lugar de arrastrarse.

Que una repetición sea reproducible no es una afirmación de no manipulabilidad. La repetición muestra que el registro de eventos comprometido conduce al estado que ves en pantalla. Si el orden que hay detrás de ese estado era impredecible es otra cuestión, y solo la responde una vinculación válida con la baliza.

Un torneo cuyo número de participantes queda fuera del tamaño admitido pasa a siembra manual. La ceremonia funciona sobre una cantidad acotada de participantes. Fuera de ese rango el torneo se siembra a mano en lugar de quedarse bloqueado, y el registro muestra el orden manual como siempre.

Cada afirmación está ligada a una revisión exacta. Un resultado de verificación nombra la instantánea, la revisión de Arena, la revisión de eventos del motor, la versión del motor y el hash de estado del motor que comprobó. Una revisión posterior no queda cubierta y necesita su propio resultado.

La brecha entre el compromiso y la publicación

Una baliza pública significa que la aleatoriedad no se pudo predecir. Por sí sola no demuestra que solo se hiciera un compromiso. Sin un testigo independiente, el momento del compromiso respecto a la ronda de la baliza es el propio registro de Arena, y un organizador podría, en principio, repetir la ceremonia en privado y publicar solo el resultado que le conviniera.

Un notario independiente cierra esa brecha en un sorteo. El notario contrafirma el compromiso único antes de que se publique la ronda de la baliza, de modo que el orden ya no depende solo de la palabra de Arena. La contrafirma se comprueba contra una clave fijada en el verificador publicado; una clave que el verificador no reconoce no produce ninguna afirmación de notarización, en lugar de producir una más débil.

Si un sorteo fue notarizado se indica en ese sorteo, no se promete aquí. La notarización se aplica de sorteo en sorteo. Un sorteo lleva la afirmación de notarizado solo cuando se comprobó y pasó una contrafirma reconocida; si no, dice con claridad que no está notarizado, y se le aplica la brecha descrita arriba.

Compruébalo tú mismo

No des nada de esto por bueno sin comprobarlo. Abre la página de verificación de un torneo para ejecutar las comprobaciones en tu propio navegador, o ejecuta tú mismo el verificador abierto sobre las pruebas publicadas para la revisión exacta que te interese.