Module tallytree::proof::inclusion

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

Functions

create_inclusion_exclusion_proof

Create proof of a vote references’ existence or non-existance in a merkle tree.

verify_exclusion_proof

Verify that an exclusion proof is valid for a vote reference. Returns error if proof fails to validate.

verify_inclusion_proof

Verify that a inclusion proof is valid for a vote reference.

Type Definitions

ExclusionProof

A proof that a node does not exist in a merkle tally tree.

InclusionProof

A proof that a node exists in a merkle tally tree.