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.
SparkGlim SEVA · Previo al lanzamiento
Un modelo de seguridad que revisar.
Lee componentes revisados junto a brechas y trabajo previsto. SEVA no tiene garantía general de seguridad o preparación electoral.
Lee componentes revisados junto a brechas y trabajo previsto. SEVA no tiene garantía general de seguridad o preparación electoral.
Seguridad
Criptografía, con límites claros.
Conozca las primitivas de cifrado y de custodios implementadas en SEVA y la verificación pendiente antes de una elección.
Un registro que pueda examinarse.
Cómo la configuración sellada, los registros enlazados, las firmas y los controles de repetición sustentan la integridad prevista de SEVA.
Separar la identidad de la papeleta.
Revise la separación prevista entre identidad y papeleta, las credenciales ciegas, la conservación y los límites de privacidad de SEVA.
La seguridad también está en la sala.
Evalúe los límites de dispositivos, operadores, transporte y recuperación antes de planificar un entorno electoral supervisado.
Separar criptografía y garantías
Existen implementaciones criptográficas. Las pruebas de artefactos y verificación de recuento están incompletas; su presencia no garantiza integridad completa.
Evaluar privacidad en todo el flujo
Separar identidad es un objetivo. Servicios, registros, tiempos y dispositivos requieren revisión antes de afirmar que no se puede vincular voto y votante.
Examinar equipos y operaciones
No anuncies HSM, FIDO2, WORM físico ni aislamiento universal completos basándote en planes. La evidencia real determina lo afirmable.
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.
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.