El orden en que cada parte elige sus bienes determina con qué bienes acaba quedándose. Por eso fijar ese orden de manera demostrablemente neutral es crítico. Un sorteo manual — sacar un papelito de un bombo — funciona, pero su valor probatorio depende totalmente de quién estuvo presente y de cómo se documentó. Un sorteo criptográficamente verificable resuelve el problema convirtiendo la neutralidad en algo comprobable matemáticamente a posteriori.
El problema del sorteo manual
Un sorteo manual ante notario o letrado de la administración de justicia es jurídicamente válido, pero deja un rastro pobre. Si meses después una parte alega que el sorteo no fue limpio, la única defensa es testimonial: los presentes deben recordar y declarar lo ocurrido. La memoria es frágil y los testigos no siempre están disponibles. Un sorteo verificable, en cambio, deja un rastro matemático que cualquier tercero puede recomprobar años después.
Qué es HMAC-SHA256
HMAC-SHA256 es una función criptográfica que combina una semilla (un número aleatorio) con un mensaje (los datos de entrada del sorteo) y produce un hash determinista de 256 bits. Dos propiedades clave: dada la misma semilla y mensaje, el resultado es siempre el mismo (reproducible); y es computacionalmente imposible predecir el resultado sin conocer la semilla, o alterarlo sin que se note.
Cómo se articula un sorteo verificable
- Antes del sorteo se fija el conjunto de partes (con su identificador) y la fecha-hora del sorteo. Esos datos forman el mensaje.
- Se genera una semilla aleatoria de 256 bits y se publica su hash (commitment) a todas las partes.
- En el momento del sorteo, se publica la semilla original. Cualquier parte puede comprobar que coincide con el commitment previo.
- Se calcula HMAC-SHA256(semilla, mensaje). El resultado es un hash de 256 bits.
- Ese hash se usa como entrada determinista de un algoritmo de barajado (Fisher-Yates, por ejemplo) que produce el orden definitivo de las partes.
- Todo se publica: semilla, mensaje, hash y orden resultante. Cualquier tercero puede recalcular y verificar.
Reproducibilidad: el verdadero valor probatorio
La diferencia clave es esta: si dos años después una parte impugna el sorteo, basta con tomar los datos publicados (semilla, mensaje), aplicar el mismo algoritmo y comprobar si el resultado coincide. Si coincide, el sorteo es indiscutible. Si no, se demuestra manipulación. No hay que llamar a testigos ni reconstruir el momento: la verificación es matemática.
Aplicabilidad real
Esta técnica es estándar en aplicaciones donde la verificabilidad es crítica: loterías, asignaciones académicas, sorteos administrativos. Llevarla al ámbito de la partición es natural y, en nuestra opinión, debería convertirse en práctica estándar cuando el procedimiento se gestiona digitalmente. El esfuerzo adicional para implementarla bien es mínimo; la robustez probatoria que añade, enorme.