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
Una elección necesita más que una pantalla.
Explora el diseño de SEVA revisado en código para elecciones locales supervisadas. Sigue previo al lanzamiento y aún no es adecuado para ninguna elección.
Elegibilidad y acreditación
Separar responsabilidades. Validar el recorrido completo.
Selección y cifrado de la papeleta
Cerrar, conciliar y revisar
La seguridad depende de la implementación completa, operaciones de confianza y evidencia revisada. No se afirma ninguna certificación ni auditoría independiente.
Las elecciones formales tienen otro modelo operativo.
Separar responsabilidades. Revisar conexiones.
Explore el modelo previsto Master y Kiosk, los servicios locales, la separación de datos y la verificación todavía incompleta.
Explorar SEVA¿Buscas votación pública para premios?
SparkGlim Awards & Digital Voting tiene sus propias campañas, nominados y proceso de pago. SEVA se evalúa por separado para elecciones institucionales supervisadas.
SparkGlim Awards & Digital VotingUn propósito distinto
SEVA aborda elecciones controladas. Premios públicos, votos de pago y recaudación usan otros productos SparkGlim.
Responsabilidades distintas
La arquitectura separa configuración, elegibilidad, voto, autoridades y revisión de evidencia. Cada límite necesita pruebas de integración.
Entender lo existente
Existen componentes criptográficos en código. La verificación de pruebas de artefactos y recuento sigue incompleta; los diagramas no garantizan el conjunto.
Empezar con una conversación técnica
Solo los equipos de Seguridad y Técnica de SparkGlim autorizan acceso operativo. Una consulta no aprueba implementación ni 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.
Proceso
Un ciclo electoral con decisiones explícitas.
Preparar la elección
Acuerda gobernanza, ubicaciones, elegibilidad y evidencia con los equipos autorizados.
Asignar roles y dispositivos
Separa administración, acreditación, quiosco, custodios y supervisión.
Revisar el padrón elegible
Resuelve elegibilidad, duplicados y excepciones supervisadas antes de participar.
Configurar y sellar la papeleta
Revisa contiendas, candidatos, orden y selecciones permitidas con la autoridad electoral.
Autorizar la apertura
La apertura es una decisión supervisada de la autoridad tras revisar preparación, no un botón público.
Seleccionar, revisar, emitir o auditar
El recorrido previsto separa la papeleta emitida de la abierta para auditoría.
Supervisar y gestionar incidentes
Revisa participación y alertas operativas; mantén los totales por candidato fuera de la vista de votación.
Cerrar y conciliar
Detén la participación y concilia evidencia en papel, dispositivos y operaciones según el procedimiento de la autoridad.
Revisar artefactos de resultados autorizados
Los componentes de custodios y escrutinio apoyan el proceso posterior al cierre. La verificación independiente completa sigue inacabada.
Conservar evidencia y revisar
Acuerda custodia, retención, acceso de observadores y recuperación antes de cualquier despliegue propuesto.
Versión preliminar
Una vista fiel de la aplicación.
El quiosco forma parte de un diseño supervisado. Código y capturas no demuestran una aplicación publicada y lista.
Instituciones
Empiece por las responsabilidades de la elección.
Un escenario de evaluación, no un despliegue aprobado.
Las elecciones estudiantiles empiezan por la elegibilidad.
Evaluar representación estudiantil mediante registros, revisión de papeletas y participación supervisada.
Una elección de entidad necesita gobierno responsable.
Preparar elecciones organizativas sin confundirlas con recaudación o votos de popularidad.
Una elección interna necesita un mandato definido.
Evaluar elecciones internas con autoridad, elegibilidad y responsabilidades de evidencia claras.
Una elección institucional requiere más que una pantalla.
Evaluar representación educativa mediante autoridad, operaciones controladas y accesibilidad.
La afiliación es elegibilidad, no un inicio de sesión.
Evaluar elecciones de asociaciones con responsabilidad del censo y participación supervisada.
Distintas jurisdicciones. Un modelo local controlado.
Evaluar necesidades entre lugares sin implicar voto remoto por internet ni aprobación normativa.
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.