Module tallytree::proof::util

Helper functions for creating merkle tree proofs.

Enums

CollapseBranchConstrains

Set constraints on how branch is allowed to collapse the branches.

TraverseDirection

The direction traversed when parsing a merkle proof branch

Functions

are_neighboors

Given two vote references and merkle tally proof of their inclusion, check if they are next to each other in the tree (neighbors). They do not need to share same parent.

collapse_branches

Collapse merkle proof branches into a single hash and tally.

create_merkle_proof

Given a path to a node, create a merkle proof.

derive_wrapper_branch

Given the deepest proof branch, derive the above wrapper nodes.

derive_wrapper_hash

Given a leaf hash and tally, calculate the hash of its wrapper node in a merkle tally tree.

directions_to_node_index

Calculate a index to a node given traverse directions to it in the merkle tree.

find_node_index

Find the index of a vote in a merkle tree using the merkle proof for the vote. Use collapse_branches on the proof to get the directions parameter. leaf_branch is the zero-indexed branch in the merkle proof.

is_vote_in_proof

Check if vote reference is in proof

tally_and_hash

Get the tally and hash for parent node of two sibling nodes.