Crate incrementalmerkletree_testing

Traits and types used to permit comparison testing between tree implementations.

Modules

complete_tree

Sample implementation of the Tree interface.

Structs

CombinedTree

SipHashable

Enums

Operation

Traits

TestCheckpoint

TestHashable

Tree

A Merkle tree that supports incremental appends, marking of leaf nodes for construction of witnesses, checkpoints and rollbacks.

Functions

append_str

apply_operation

arb_marking

Returns a strategy for creating a uniformly-distributed Marking value.

arb_operation

arb_retention

Returns a strategy for creating a uniformly-distributed Retention value.

check_append

This test expects a depth-4 tree and verifies that the tree reports itself as full after 2^4 appends.

check_checkpoint_rewind

check_operations

check_remove_mark

check_rewind_remove_mark

check_root_hashes

This checks basic append and root computation functionality

check_witness_consistency

check_witnesses

compute_root_from_witness

unmark

witness