AvlTreeVerifier
Related Doc:
package sigma
Returns Some[the current digest of the authenticated data structure], where the digest contains the root hash and the root height Returns None if the proof verification failed at construction or during any of the operations.
Returns Some[the current digest of the authenticated data structure], where the digest contains the root hash and the root height Returns None if the proof verification failed at construction or during any of the operations.
- Some[digest] or None
If operation.key exists in the tree and the operation succeeds, returns Success(Some(v)), where v is the value associated with operation.key before the operation.
If operation.key exists in the tree and the operation succeeds, returns Success(Some(v)), where v is the value associated with operation.key before the operation. If operation.key does not exists in the tree and the operation succeeds, returns Success(None). Returns Failure if the operation fails or the proof does not verify. After one failure, all subsequent operations will fail and digest is None.
an operation descriptor
- Success(Some(old value)), Success(None), or Failure
Returns the max height of the tree extracted from the root digest.
Represents operations of AVL tree verifier in an abstract (implementation independent) way which allows declaration of the AvlTree.createVerifier() method.