Module tallytree::proof

Generate and validate proofs using the merkle tally tree.

Re-exports

pub use crate::proof::define::*;

pub use crate::proof::inclusion::*;

pub use crate::proof::votecount::*;

Modules

define

Data structures for merkle tally tree proofs.

inclusion

Create and verify proof of a vote being included OR excluded in/from a merkle tally tree.

util

Helper functions for creating merkle tree proofs.

votecount

Create and verify proofs of vote count in a merkle tally tree. This can be used to check that there is no mismatch between tallied votes and votes in the merkle tally tree.