Versión preliminar · diseño revisado en el código
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.
SEVA incluye componentes para papeletas cifradas y recuento controlado por custodios. Una primitiva funcional es solo una parte: el protocolo completo, los dispositivos y los artefactos publicados aún requieren validación independiente.
Selecciones cifradas
El código implementa ElGamal exponencial sobre Ristretto255. Cada texto cifrado contiene dos puntos de curva; puntos y escalares se codifican en 32 bytes. Cada selección usa aleatoriedad criptográfica nueva. Esa longitud no equivale a seguridad de 256 bits.
Pruebas sobre la estructura de la papeleta
Las primitivas Chaum–Pedersen comprueban selecciones binarias y una suma declarada. Su transcripción Fiat–Shamir usa SHA-512 con separación de dominios. Vincularlas a la contienda sellada correcta y sus límites requiere integración adicional; no se deduce de la primitiva.
Un umbral de custodios
Los componentes de claves distribuidas generan participaciones polinómicas, verifican compromisos y resuelven reclamaciones. El descifrado combina aportaciones mediante interpolación de Lagrange. El umbral depende de la elección; tres de cinco es un ejemplo de prueba, no una configuración universal ni garantía de custodia física.
Agregación antes del descifrado
La suma homomórfica puede combinar totales cifrados antes de recuperar sus valores. El código incluye recuperación acotada y combinación de custodios. Aún se necesitan pruebas validadas, integración de ceremonias y ensayos representativos para un recuento público verificado independientemente.
Lo pendiente en la verificación independiente
El verificador independiente en Go aún no comprueba por completo las pruebas y el recuento. Siguen pendientes la revisión criptográfica externa, vectores comunes Rust/Go y un flujo electoral íntegramente probado. Mixnet, voto clasificado y candidaturas escritas no son capacidades disponibles.
La seguridad depende de la implementación completa, operaciones de confianza y evidencia revisada. No se afirma ninguna certificación ni auditoría independiente.
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.