Prueba de la exactitud del voto en el sistema de votación por Internet IVXV

Área de la Ciencia:

• Ciencias de la computación
• Criptografía
• La gobernanza electrónica

Sus antecedentes:

• Los sistemas de votación por Internet requieren mecanismos sólidos para garantizar la corrección y la verificabilidad de los votos.
• Los sistemas existentes pueden carecer de herramientas criptográficas avanzadas para la verificación de extremo a extremo.
• El sistema IVXV de Estonia emplea actualmente el cifrado ElGamal para la seguridad del voto.

Objetivo del estudio:

• Investigar la integración práctica de pruebas de conocimiento cero para mejorar la corrección de los votos en el sistema de votación por Internet IVXV.
• Evaluar el rendimiento y la viabilidad del uso de sistemas a prueba de balas dentro de la infraestructura criptográfica existente.
• Para abordar el desafío de integrar pruebas de conocimiento cero eficientes (Bulletproofs) con el sistema criptográfico actual de ElGamal.

Principales métodos:

• Implementación de pruebas de conocimiento cero utilizando el protocolo Bulletproofs.
• Análisis comparativo de la instanciación a prueba de balas dentro del sistema IVXV.
• Desarrollo y prueba de una solución de conmutación de grupos para unir ElGamal y la criptografía de curva elíptica.

Principales resultados:

• La solución de prueba de conocimiento cero desarrollada es de alto rendimiento.
• El sistema demuestra la capacidad de manejar cargas elevadas de envío de votos, incluso durante los períodos pico.
• La evaluación comparativa confirmó la eficacia de los sistemas a prueba de balas aplicados y del mecanismo de cambio de grupo.

Conclusiones:

• Las pruebas de conocimiento cero, específicamente las Bulletproof, se pueden integrar de manera práctica y eficiente en los sistemas de votación por Internet existentes, como el IVXV de Estonia.
• La solución implementada mejora la verificación de la exactitud de los votos sin comprometer el rendimiento del sistema.
• El estudio valida la viabilidad del uso de técnicas criptográficas avanzadas para reforzar la seguridad y la transparencia de las elecciones en línea.