Module tallytree::proof[][src]

Expand description

Generate and validate proofs using the merkle tally tree.


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


Data structures for merkle tally tree proofs.

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

Helper functions for creating merkle tree proofs.

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.