Componentes revisados en el código
Criptografía de papeletas
Existe código de ElGamal exponencial sobre Ristretto255, suma homomórfica y combinación por umbral. Su presencia no prueba la seguridad del proceso electoral completo.
Versión preliminar · diseño revisado en el código
La preparación se demuestra, no se fecha.
Distinga componentes revisados, carencias de integración y pruebas, y trabajo futuro de SEVA, sin fechas de lanzamiento prometidas.
SEVA está en versión preliminar. Esta hoja de ruta distingue lo que puede examinarse, lo que debe demostrarse y lo previsto. Ninguna etapa autoriza una elección real ni sustituye la aceptación institucional.
Preparación actual
Evidencia y límites
La revisión del código confirma que existe un componente. No demuestra una garantía de seguridad independiente, pruebas de despliegue completas ni autorización para celebrar una elección.
Componentes revisados en el código
Primitivas de prueba y custodios
Las pruebas Chaum–Pedersen, las comprobaciones primitivas de suma de selecciones y los componentes de generación distribuida de claves tienen pruebas en el código. No se ejecutaron durante esta auditoría del sitio.
Componentes revisados en el código
Límites de elegibilidad y credenciales
La emisión de credenciales ciegas y el almacenamiento de anuladores usados están implementados. La identidad, reemisión y acreditación simultánea requieren aún pruebas de integración.
Componentes revisados en el código
Reglas explícitas del ciclo
La máquina de estados restringe transiciones e impide salida de red en Open y Paused. Las sesiones, ceremonias y controles de red deben validarse juntos.
Componentes revisados en el código
Registros separados y cadenas de auditoría
Los permisos de base de datos por rol y los registros enlazados por hash apoyan la separación de funciones. La confianza del host, custodia, registros y recuperación siguen en el modelo de amenazas.
Pruebas de integración necesarias
Verificación independiente de resultados
El verificador de artefactos aún no completa las comprobaciones integradas de pruebas de papeleta y escrutinio. Su resultado no constituye garantía electoral completa.
Pruebas de integración necesarias
Identidad de operadores y custodia de claves
Existen adaptadores de autenticación, firma y claves de hardware, pero su integración operativa está incompleta. No se afirma garantía universal de FIDO2, custodia HSM no exportable ni biometría.
Pruebas de integración necesarias
Ensayos de despliegue y evidencia
El bloqueo del hardware, impresión y custodia, recuperación, elecciones simuladas integradas y revisión externa requieren evidencia de aceptación. Los manuales y módulos no son certificación.
Previsto o en desarrollo
Empaquetado Master y Kiosk
La dirección de dos aplicaciones instaladas es propuesta. El código aún contiene varias interfaces y ejecutables; no se acredita un despliegue publicado de dos aplicaciones.
Previsto o en desarrollo
Tecnologías de papeleta adicionales
El procesamiento por mezcla y las opciones ordenadas o de escritura libre siguen aplazados. Una opción de compilación o una hoja de ruta no acredita un protocolo o tipo de papeleta compatible.
Componentes revisados en el código
El código revisado incluye primitivas de cifrado y prueba, credenciales ciegas, umbrales, registros enlazados y controles locales. Existen pruebas unitarias definidas. Esta revisión no las ejecutó ni estableció una versión validada independientemente; presencia y funcionamiento verificado son evidencias distintas.
Integración y pruebas pendientes
Complete verificación independiente, identidad persistente y autorización de custodios. Demuestre reglas selladas, emisión concurrente, recuperación y operaciones autenticadas. Después ensaye con hardware real, conciliación en papel y participantes supervisados antes de solicitar aceptación independiente.
Lo previsto no es capacidad disponible
La dirección propuesta Master/Kiosk necesita integración operativa coherente y aceptación. Mixnet, voto clasificado y candidaturas escritas siguen aplazados; una etiqueta no demuestra otro motor de curvas implementado. Las novedades requieren revisión, vectores de prueba y decisiones explícitas de soporte.
Criterios de aceptación abiertos
Las revisiones externas de criptografía y seguridad, los ensayos representativos y las aprobaciones operativas son requisitos. No se afirma certificación, auditoría independiente completada, despliegue electoral ni fecha. Solicite una evaluación de requisitos y evidencias; no supone aprobación electoral.
Solicitar una consulta
Definir el alcance antes del compromiso
Solo para evaluación. Aún no es apto para ninguna elección real. El despliegue y la operación requieren los equipos de Seguridad y Técnicos autorizados de SparkGlim.
El contexto del país orienta la consulta. No demuestra aprobación jurisdiccional, cumplimiento normativo ni disponibilidad del producto.