Merkle tree-based system to improve transparency and auditability of elections.
This prototype is applied to the Brazilian election. It transparently stores election critical information, such as logs and "Boletins de Urna" (the result from each polling station). Thus any user can verify their integrity.
Instruction to install and use here.
Verify BU integrity
Allows users to inspect a desired BU (e.g., votes recorded) and verify its inclusion proof. The color of the lock icon represent the result.
| Valid Proof | Invalid Proof |
|---|---|
 |
 |
Global tree roots
Allows monitors to see all published global roots and check their consistency.
