Versión preliminar · diseño revisado en el código
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 privacidad depende del entorno electoral completo. SEVA separa registro y papeletas en su modelo, pero los metadatos, dispositivos y accesos privilegiados siguen formando parte de la evaluación de amenazas.
Elegibilidad y acreditación
Operaciones autorizadas del padrón y excepciones supervisadas. Los datos de identidad pertenecen a este lado del límite.
Separar responsabilidades. Validar el recorrido completo.
Selección y cifrado de la papeleta
Un quiosco vinculado presenta las contiendas configuradas. Los componentes criptográficos procesan las selecciones; la garantía integrada sigue en evaluación.
Cerrar, conciliar y revisar
Los controles del ciclo, componentes de custodios, conciliación en papel y artefactos de resultados tienen funciones distintas. El verificador independiente está incompleto.
La seguridad depende de la implementación completa, operaciones de confianza y evidencia revisada. No se afirma ninguna certificación ni auditoría independiente.
Etapas distintas, datos distintos
El registro trata elegibilidad; las papeletas usan credenciales y selecciones cifradas. Los permisos separados limitan el acceso directo entre roles. Es una separación real del código, no prueba de que ningún componente, registro o administrador pueda correlacionar actividad.
Credenciales ciegas de elegibilidad
Los componentes Schnorr ciegos permiten emitir una credencial sin mostrar al emisor su forma final. Un identificador derivado controla su uso. Proteger emisión, entrega de tarjetas y votación requiere revisión y pruebas operativas; la primitiva no garantiza anonimato universal.
Planificar el ciclo de los datos
La evaluación debe definir qué datos de elegibilidad hacen falta, quién los ve, cuánto se conservan y cómo se eliminan. Los permisos excluyen censo y papeletas del canal restringido de copia en nube. Confirme permisos, exportaciones y recuperación desplegados; no presuponga límites idénticos en cada copia.
Expresar los límites con claridad
Dispositivos comprometidos, correlación temporal, hosts privilegiados, metadatos y observación física requieren controles explícitos. El flujo de prueba también incluye una suma de selecciones declarada. No se garantiza resistencia a coacción, borrado total de memoria ni desvinculación universal verificada. Ensaye las explicaciones al votante y los procedimientos en papel.
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.