Propósito
Este documento describe la línea prevista para producir totales electorales agregados manteniendo protegidas las selecciones individuales hasta el cierre. El conteo cifrado se documenta como investigación técnica; no debe confundirse con un servicio de producción disponible.
Separación de responsabilidades
La recepción conserva y valida el material protegido. El proceso de conteo trabaja con agregados del conjunto aceptado y opera separado de la capa de elegibilidad y autorización. La documentación establece que la cadena de compromisos y evidencia no es el motor de descifrado electoral.
Dirección de conteo cifrado
La investigación contempla agregación homomórfica BGV y una prueba aislada en Go/Lattigo. También identifica como pendientes la validación de cifrado en navegador o WASM, integración, rendimiento y pruebas de seguridad. No se especifican todavía formatos de ciphertext, parámetros, serialización, circuitos ni interfaces productivas.
Esquema de custodia
La propuesta considera tres custodios: autoridad electoral, observador cívico y auditor técnico. Dos de los tres participarían para autorizar el descifrado de resultados agregados después del cierre. Este umbral define una condición de operación, no una garantía frente a dos custodios que coludan.
Operación de claves y shares
Antes de una operación real deben definirse generación, distribución, almacenamiento, rotación y recuperación de claves; formato y validación de shares; rechazo de aportes inválidos; tolerancia a un custodio no disponible; y registro auditable de las autorizaciones. La documentación disponible identifica estos temas como gates de validación, no como protocolos concluidos.
Secuencia de cierre
1) Congelar el conjunto de participaciones aceptadas según las reglas. 2) Publicar o fijar los manifiestos correspondientes. 3) Ejecutar la agregación cifrada del conjunto válido. 4) Obtener las autorizaciones requeridas de custodios. 5) Validar los aportes de descifrado. 6) Publicar totales agregados y evidencia verificable. La secuencia exacta y sus transacciones deben especificarse y probarse antes de un despliegue.
Propiedades y limitaciones
El resultado debe corresponder al conjunto validado, la elección y cada dignidad. No se deben publicar papeletas o selecciones individuales. El modelo no reclama privacidad frente a dos custodios coludidos; el análisis de metadatos, recuperación, rendimiento y fallos de custodia permanece abierto.
Criterios de validación
Se requieren pruebas de corrección de agregación, shares inválidos, ausencia de custodios, recuperación, límites de conteo, consistencia entre manifiestos y totales, y comportamiento ante cierre incompleto. Hasta completar estas validaciones, la línea de conteo cifrado sigue siendo una dirección de investigación.