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.

• SBSeg 2022: (Article) (Video)

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.