Por Tom Burt: Vicepresidente corporativo de seguridad y confianza del cliente.
En mayo pasado, Satya Nadella, CEO de Microsoft, anunció ElectionGuard, un kit de desarrollo de software (SDK, por sus siglas en inglés) gratuito y de código abierto de nuestro Programa Defending Democracy. ElectionGuard es accesible por diseño y hará las votaciones más seguras, verificables y eficientes en cualquier lugar que sea utilizado en Estados Unidos o en las naciones democráticas alrededor del mundo. ahora, anunciamos que ElectionGuard ahora está disponible en GitHub para que los grandes proveedores de tecnología de elecciones puedan comenzar a integrar ElectionGuard en sus sistemas de votación.
Los recursos de ElectionGuard disponibles hoy en GitHub se extienden a través de cuatro repositorios GitHub, o espacios de almacenamiento, cada uno descrito a continuación.
Especificación ElectionGuard. La especificación ElectionGuard incluye mapas de ruta tanto “informales” como “formales” para cómo funciona ElectionGuard. La especificación informal es autoría del doctor Josh Benaloh de Microsoft Research y brinda las bases conceptuales y matemáticas para elecciones verificables de extremo a extremo con ElectionGuard. La especificación formal contiene una guía detallada que los fabricantes necesitarán para incorporar ElectionGuard en sus sistemas, incluida un descripción completa de la API – que es la manera en que los sistemas de votación se comunican con el software de ElectionGuard – y las etapas de una elección verificable de extremo a extremo.
Código de software. Este repositorio contiene el código fuente actual que los vendedores utilizarán para construir sus implementaciones de ElectionGuard. Está escrito en C, un lenguaje estándar utilizado de manera común por los desarrolladores de software de código abierto e incluye una versión construible de la API. Esta documentación también es visible aquí. Este código fue construido en conjunto con Galois, nuestro socio de desarrollo.
Verificador y especificación de referencia. Como anunciamos en mayo de 2019, ElectionGuard permite a entidades de gobierno, organizaciones de noticias, organizaciones de derechos humanos, o a cualquier otro, construir verificadores adicionales que puedan certificar de manera independiente que los resultados de una elección han sido contados de manera precisa y no han sido alterados. Los recursos disponibles hoy en GitHub incluyen un verificador en funcionamiento así como las especificaciones necesarias para construir su propio verificador independiente.
Referencia de implementación de dispositivo de marcado de boletas. Los fabricantes de sistemas de votación serán libres de integrar ElectionGuard dentro de sus sistemas en diferentes maneras. En el Aspen Security Forum en julio de 2019, demostramos un sistema muestra de votación, construido con la ayuda del diseñador industrial Tucker Viemeister, que creemos mostró una gran manera en la que las funciones habilitadas por ElectionGuard pueden ser utilizadas en los sistemas de votación. El dispositivo de marcado de boleta que demostramos incluyó funciones de accesibilidad construidas bajo el consejo del Centro para el Diseño Cívico, autores del original “Anywhere Ballot”, e incorporamos un Xbox Adaptive Controller como un dispositivo opcional para marcar las boletas. El repositorio de código abierto del dispositivo de marcado de boletas lanzado recién incluye una variedad de herramientas y visuales necesarios para construir o incrementar los sistemas de elección del mundo real a través de utilizar lo mejor de ElectionGuard.
Estos son unos emocionantes pasos que permiten a los votantes individuales confirmar que su voto fue contado de manera apropiada, y garantiza a esos votantes que utilizan un sistema ElectionGuard en la votación más segura y confiable en la historia de los Estados Unidos. Como anunciamos de manera previa, todos los grandes fabricantes de sistemas de votación en los Estados Unidos trabajan con nosotros para explorar maneras de incorporar ElectionGuard en sus sistemas, incluidos Clear Ballot, Democracy Live, Election Systems & Software, Dominion Voting Systems, Hart InterCivic, BPro, MicroVote, Smartmatic y VotingWorks. Hemos trabajado de manera profunda con muchas de estas compañías durante el verano para prepararlos para el lanzamiento de hoy del SDK.
Por último, hemos continuado con el progreso hacia programas piloto, incluido el trabajo con la Universidad de Columbia, Columbia World Projects, que pondrá en funcionamiento los sistemas de votación ElectionGuard en las manos de los votantes para las elecciones de 2020 o antes. Esperamos compartir más sobre estos pilotos en breve.
