Type Members

1.  trait AuthenticatedTreeOps[D <: Digest] extends BatchProofConstants with ToStringHelper

   Code common to the prover and verifier of https://eprint.iacr.org/2016/994 (see Appendix B, "Our Algorithms")

2.  class BatchAVLProver[D <: Digest, HF <: CryptographicHash[D]] extends AuthenticatedTreeOps[D] with ToStringHelper with SparkzLogging

   Implements the batch AVL prover from https://eprint.iacr.org/2016/994 Not thread safe if you use with ThreadUnsafeHash

3.  class BatchAVLVerifier[D <: Digest, HF <: CryptographicHash[D]] extends AuthenticatedTreeOps[D] with ToStringHelper

   Implements the batch AVL verifier from https://eprint.iacr.org/2016/994

4.  trait BatchProofConstants extends AnyRef
5.  case class Insert(key: ADKey, value: ADValue) extends Modification with Product with Serializable
6.  case class InsertOrUpdate(key: ADKey, value: ADValue) extends Modification with Product with Serializable
7.  sealed trait InternalNode[D <: Digest] extends Node[D]
8.  class InternalProverNode[D <: Digest] extends ProverNodes[D] with InternalNode[D]
9.  class InternalVerifierNode[D <: Digest] extends VerifierNodes[D] with InternalNode[D]
10.  trait KeyInVar extends AnyRef
11.  class LabelOnlyNode[D <: Digest] extends VerifierNodes[D]
12.  sealed trait Leaf[D <: Digest] extends Node[D] with KeyInVar
13.  case class Lookup(key: ADKey) extends Operation with Product with Serializable
14.  trait Modification extends Operation with SparkzEncoding
15.  sealed trait Node[D <: Digest] extends ToStringHelper
16.  sealed trait Operation extends AnyRef
17.  abstract class PersistentBatchAVLProver[D <: Digest, HF <: CryptographicHash[D]] extends AnyRef
18.  class ProverLeaf[D <: Digest] extends Leaf[D] with ProverNodes[D]
19.  sealed trait ProverNodes[D <: Digest] extends Node[D] with KeyInVar
20.  case class Remove(key: ADKey) extends Modification with Product with Serializable
21.  case class RemoveIfExists(key: ADKey) extends Modification with Product with Serializable
22.  trait ToStringHelper extends SparkzEncoding
23.  case class Update(key: ADKey, value: ADValue) extends Modification with Product with Serializable
24.  case class UpdateLongBy(key: ADKey, delta: Long) extends Modification with Product with Serializable

    If the key exists in the tree, add delta to its value, fail if the result is negative, and remove the key if the result is equal to 0.

    If the key exists in the tree, add delta to its value, fail if the result is negative, and remove the key if the result is equal to 0. If the key does not exist in the tree, treat it as if its value is 0: insert the key with value delta if delta is positive, fail if delta is negative, and do nothing if delta is 0.

25.  class VerifierLeaf[D <: Digest] extends Leaf[D] with VerifierNodes[D]
26.  sealed trait VerifierNodes[D <: Digest] extends Node[D]
27.  trait VersionedAVLStorage[D <: Digest] extends AnyRef

    Interface for persistent versioned