Class ProvableDeepSparseMerkleSubTree<K, V>

ProvableDeepSparseMerkleSubTree is a deep sparse merkle subtree for working on only a few leafs in circuit.

ProvableDeepSparseMerkleSubTree

Type Parameters

  • K
  • V

Constructors

constructor

Properties

config hasher keyType nodeStore root valueStore valueType

Methods

addBranch getHeight getKeyField getRoot getValueField prove update

Constructors

constructor

  • new ProvableDeepSparseMerkleSubTree<K, V>(root, keyType, valueType, options?): ProvableDeepSparseMerkleSubTree<K, V>

  • Creates an instance of ProvableDeepSparseMerkleSubTree.

    Type Parameters

    • K
    • V

    Parameters

    • root: Field

      merkle root

    • keyType: Provable<K>
    • valueType: Provable<V>
    • Optional options: {
          hashKey: boolean;
          hashValue: boolean;
          hasher: Hasher;
      } = ...

      hasher: The hash function to use, defaults to PoseidonHasherFunc; hashKey: whether to hash the key, the default is true; hashValue: whether to hash the value, the default is true.

      • hashKey: boolean
      • hashValue: boolean
      • hasher: Hasher

    Returns ProvableDeepSparseMerkleSubTree<K, V>

    Memberof

    ProvableDeepSparseMerkleSubTree

Properties

Private config

config: {
    hashKey: boolean;
    hashValue: boolean;
}

Type declaration

  • hashKey: boolean
  • hashValue: boolean

Private hasher

hasher: Hasher

Private keyType

keyType: Provable<K>

Private nodeStore

nodeStore: Map<string, Field[]>

Private root

root: Field

Private valueStore

valueStore: Map<string, Field>

Private valueType

valueType: Provable<V>

Methods

addBranch

getHeight

Private getKeyField

getRoot

Private getValueField

prove

update

  • update(key, value?): Field

  • Update a new value for a key in the tree and return the new root of the tree.

    Parameters

    • key: K
    • Optional value: V

    Returns Field

    {Field}

    Memberof

    ProvableDeepSparseMerkleSubTree

Settings

Member Visibility

Theme

On This Page

constructorconfighasherkeyTypenodeStorerootvalueStorevalueTypeaddBranchgetHeightgetKeyFieldgetRootgetValueFieldproveupdate