Module validate

Validation checks to ensure that Trees are well-formed.

Structs

• IndexMalformed
  The index for the tree contained at least one error.
• InvalidCachedHash
  An mismatch between a cached hash and the hash it ought to have been.
• InvalidCachedHashes
  The tree contained at least one internal cached hash that was incorrect.
• InvalidForgotten
  The tree contained at least one discrepancy in the internal forgotten versions of its nodes.
• InvalidForgottenVersion
  A mismatch between the expected maximum forgotten version and the actual one.
• InvalidWitnesses
  At least one proof generated by the tree failed to verify against the root.

Enums

• IndexError
  An error occurred when verifying the tree’s index.
• WitnessError
  An error occurred when verifying the tree’s contained witnesses.

Functions

• all_proofs
  Verify that every witnessed commitment can be used to generate a proof of inclusion which is valid with respect to the current root.
• cached_hashes
  Verify that every internally cached hash matches what it should be, by re-hashing all of them.
• forgotten
  Verify that the internal forgotten versions are consistent throughout the tree.
• index
  Verify that the inner index of the tree is correct with respect to the tree structure itself.