pyrios

README

Pyrios-UChile

Pyrios es una herramienta que ejecuta la verificación de elecciones realizadas en Participa UChile. Esta herramienta está basada en el proyecto Pyrios que verifica cualquier elección realizada en el sistema de votación Helios.

Las elecciones en Participa UChile utilizan criptografía para proteger las papeletas secretas y permitir la verificación pública: cualquier persona puede comprobar que los resultados de una elección fueron calculados de manera correcta.

Descargar compilado

Ir a "Releases" en la barra lateral y bajar la última versión ejecutable existente para tu arquitectura y sistema operativo.

Cómo Compilar

Si lo deseas, puedes compilar el programa usando el código fuente del repositorio.

1. Instalar Go
2. instalar el comando git, o descargar y descomprimir el código fuente listado en "Releases" a mano.
   1. Si usas el comando git, clona el repositorio con git clone https://github.com/clcert/pyrios.
3. En la carpeta del código fuente, ejecutar go build

Verificación de Elección

Para verificar una elección, primero, debes identificar la elección y descargar el archivo (bundle filename) de la elección en el siguiente link: https://participa.uchile.cl/elecciones

Luego de eso, debes correr el siguiente comando:

pyrios -bundle=<bundle_filename> -download=false -write=false -verify

Documentation

Overview

Package pyrios implements Helios verification. This is for version 3 of the Helios cryptographic voting protocol. See https://vote.heliosvoting.org for more details on Helios. And see http://documentation.heliosvoting.org/verification-specs/helios-v3-verification-specs for the actual v3 data structures and the algorithm specification.

The types in the helios package are translations of the JSON Helios types given by the Helios v3 specification.