Type Members

1.  case class ByteLevel(level: Byte) extends Level with Product with Serializable
2.  case class IntLevel(level: Int) extends Level with Product with Serializable
3.  trait InternalNode extends AnyRef
4.  case class Leaf(key: ADKey, _value: ADValue, _nextLeafKey: ADKey)(implicit hf: CryptographicHash[_ <: Digest]) extends ProverNodes with VerifierNodes with Product with Serializable
5.  trait Level extends Ordered[Level]
6.  sealed trait Node extends ToStringHelper
7.  case class ProverNode(key: ADKey, _left: ProverNodes, _right: ProverNodes)(implicit hf: CryptographicHash[_ <: Digest], levelFunc: LevelFunction) extends ProverNodes with InternalNode with Product with Serializable
8.  sealed trait ProverNodes extends Node
9.  class Treap[HF <: CryptographicHash[_ <: Digest]] extends TwoPartyDictionary

   Authenticated data structure, representing both treap and binary tree, depending on level selection function

10.  case class TreapModifyProof(key: ADKey, proofSeq: Seq[WTProofElement])(implicit hf: CryptographicHash[_ <: Digest], levelFunc: LevelFunction) extends TwoPartyProof with Product with Serializable
11.  case class VerifierNode(_leftLabel: Digest, _rightLabel: Digest, level: Level)(implicit hf: CryptographicHash[_ <: Digest]) extends VerifierNodes with InternalNode with Product with Serializable
12.  sealed trait VerifierNodes extends Node