Cómo funciona la verificación
La mayoría de los sitios de ruletas te piden que confíes en ellos. SpinProof te da una forma de comprobarlo. Cada resultado queda fijado y sellado antes de que la ruleta gire, y la página de prueba permite que cualquiera repita el cálculo.
La versión corta
- Pulsas Girar. Nuestro servidor congela tus entradas y crea un secreto aleatorio.
- El servidor envía a tu navegador un candado: una huella del secreto. El candado se muestra en pantalla mientras la ruleta gira.
- El secreto decide el ganador. Después del giro, el secreto se revela.
- Cualquiera puede comprobar que el secreto revelado coincide con el candado y que elige exactamente a ese ganador.
Como el candado existe antes de que se muestre el resultado, el secreto no se puede cambiar después por otro que elija a un ganador distinto. Esta técnica se llama compromiso y revelación (commit and reveal).
Las matemáticas exactas
Cada paso usa SHA-256, una función hash estándar que cualquier lenguaje de programación y muchas herramientas en línea pueden calcular.
- Huella = SHA-256 de todas las entradas unidas con un salto de línea, en el orden de la ruleta.
- Secreto = 32 bytes aleatorios de un generador criptográfico de números aleatorios, escritos como 64 caracteres hexadecimales en minúscula.
- Candado = SHA-256 de esos 64 caracteres.
- Ganador j (contando desde 0): calcula el SHA-256 de
secret:fingerprint:j, lee sus primeros 12 caracteres hexadecimales como un número y divídelo entre el número de entradas que siguen en el sorteo. El resto es la posición del ganador entre las entradas restantes, contando desde 0. Después, esa entrada sale del sorteo antes de elegir al siguiente ganador. - Ruletas enlazadas: la ruleta 2 (premios, tareas…) tiene su propia huella y se sortea igual con el mismo secreto, usando el SHA-256 de
secret:wheel-2-fingerprint:j. El ganador j recibe el sorteo j de la ruleta 2, así que un solo candado cubre ambas ruletas y ninguna se puede volver a girar por separado.
La página de prueba ejecuta estos pasos en tu propio navegador en cuanto se abre, y otra vez cuando pulsas Repetir las comprobaciones. No le pregunta a nuestro servidor si el resultado es correcto.
Los giros repetidos se ven
Un candado impide que se cambie un resultado, pero alguien podría girar muchas veces y mostrar solo el resultado que le guste. Para evitarlo, cada giro se guarda en nuestro servidor con un número, y cada página de prueba muestra todos los giros de la misma ruleta. "Giro 1 de 1" significa que hubo exactamente un giro.
Quienes giran una ruleta que alguien compartió reciben su propia copia, así que no pueden añadir giros al historial del dueño.
Sorteos programados: decididos por aleatoriedad pública
En los sorteos, el anfitrión puede programar el sorteo para una hora fija. El candado se publica en cuanto se programa el sorteo, las entradas pueden cambiar hasta la hora del sorteo y nunca después, y el ganador sale de SHA-256(secret:randomness), donde la aleatoriedad es la ronda de la baliza drand publicada a la hora del sorteo. drand lo gestiona un grupo independiente de organizaciones y nadie puede conocer una ronda antes de que se publique, así que ni el anfitrión ni SpinProof pueden elegir ni predecir al ganador. La página de prueba compara la ronda con la propia red drand.
Resultados que nadie reveló
Si un anfitrión bloquea un giro y cierra la página antes de la revelación, la página de prueba revela el resultado automáticamente cinco minutos después de que se bloqueó. Un resultado no se puede bloquear y luego ocultar.
Privacidad
Las entradas se guardan con el giro para que el resultado se pueda comprobar después. En las páginas de prueba públicas aparecen parcialmente ocultas, como A•••a, salvo que el anfitrión decida mostrarlas completas. Los ganadores siempre se muestran.
Cuando los nombres están ocultos, los visitantes pueden comprobar igualmente el candado y los ganadores con la huella. Comprobar que la propia lista estaba completa requiere los nombres completos.
Lo que SpinProof no afirma
SpinProof demuestra que un resultado se fijó antes del giro y no se cambió después. No puede demostrar que el anfitrión incluyó a todas las personas que debían estar en el sorteo, así que en los sorteos conviene mostrar la lista completa. En los giros instantáneos, nuestro servidor crea el secreto; los sorteos programados además mezclan aleatoriedad pública de la red drand, para que ni siquiera SpinProof pueda predecir su resultado.