Propósito y alcance
El paquete público busca permitir que una persona independiente compruebe que el resultado agregado corresponde a las participaciones aceptadas y a las reglas del proceso, sin revelar identidad civil ni selección individual. La especificación de este paquete aún no está cerrada.
Elementos previstos
Raíces o compromisos de elegibilidad que permitan verificar el conjunto autorizado sin publicar datos personales.
Manifiestos de participaciones aceptadas y rechazadas, con criterios de inclusión y rechazo trazables.
Evidencia del conjunto de material cifrado y del proceso de agregación.
Pruebas criptográficas o firmas asociadas a las etapas de validación y cierre.
Totales finales agregados por elección y dignidad, junto con los datos públicos necesarios para recalcularlos.
Ciclo de verificación
1) Confirmar elección, dignidades y versión de reglas. 2) Verificar integridad y correspondencia de raíces y manifiestos. 3) Comprobar que los elementos agregados pertenecen al conjunto aceptado. 4) Validar firmas, pruebas y autorizaciones requeridas. 5) Recalcular o contrastar los totales agregados. 6) Confirmar que la publicación no contiene identidad civil ni papeletas individuales. Los algoritmos, serialización y formatos concretos todavía necesitan definición.
Consistencia y auditabilidad
La evidencia debe vincular cada artefacto a una elección y dignidad, identificar versiones de reglas y permitir detectar alteraciones entre recepción, cierre, agregación y publicación. Las participaciones rechazadas deben permanecer distinguibles de las aceptadas sin exponer datos innecesarios.
Privacidad del paquete
La auditabilidad no debe transformar el paquete en un canal de publicación de elecciones individuales. Se deben revisar tamaños, tiempos, identificadores y metadatos que podrían facilitar correlación con datos externos. Un resultado agregado no elimina automáticamente los riesgos de inferencia en grupos pequeños.
Estado y validación pendiente
La evidencia pública prevista incluye raíces, manifiestos, agregación cifrada, pruebas o firmas y totales. El paquete de prueba agregada no se describe como listo para producción. Quedan por validar su formato, reproducibilidad, disponibilidad de datos, manejo de errores y verificación independiente.