Module membership

Structs

• MembershipWitness

Functions

• check_membership
  Check whether a leaf exists in the tree with the given root. membership_witness is a hint to prove that the leaf exists in the tree with the given root.
• check_membership_with_hasher
  Check whether a leaf exists in the tree with the given root. Same as check_membership but uses a custom hasher. membership_witness is a hint to prove that the leaf exists in the tree with the given root.
• check_non_membership
  Check a key's non-existence in the indexed tree with the given tree_root. low_leaf_preimage is the preimage for the low leaf of the key. The key should be larger than the low leaf's key, and smaller than the low leaf's next key. low_leaf_membership_witness is a hint to prove that the low leaf exists in the tree with the given tree_root.
• conditionally_check_membership
  Check either membership or non-membership depending on the value of exists:

  • If exists == true, key is in the tree. leaf_preimage is for the key itself.
  • If exists == false, key is not in the tree. leaf_preimage is for the low leaf of the key. membership_witness is the hint to prove that the leaf_preimage exists in the tree with the given tree_root.