Class DeepMerkleSubTree<V>

DeepMerkleSubTree is a deep merkle subtree for working on only a few leafs.

Type Parameters

  • V

Hierarchy

  • DeepMerkleSubTree

Constructors

constructor

Properties

hashValue hasher height nodeStore root valueStore valueType

Methods

addBranch getHeight getRoot getValueField has prove update

Constructors

constructor

  • Creates an instance of DeepMerkleSubTree.

    Memberof

    DeepMerkleSubTree

    Type Parameters

    • V

    Parameters

    • root: Field
    • height: number
    • valueType: Provable<V>
    • Optional options: {
          hashValue: boolean;
          hasher: Hasher;
      } = ...
      • hashValue: boolean
      • hasher: Hasher

    Returns DeepMerkleSubTree<V>

Properties

Private hashValue

hashValue: boolean

Private hasher

hasher: Hasher

Private height

height: number

Private nodeStore

nodeStore: Map<string, Field[]>

Private root

root: Field

Private valueStore

valueStore: Map<string, Field>

Private valueType

valueType: Provable<V>

Methods

addBranch

  • Add a branch to the tree, a branch is generated by smt.prove.

    Returns

    Memberof

    DeepMerkleSubTree

    Parameters

    • proof: BaseMerkleProof
    • index: bigint
    • Optional value: V
    • Optional ignoreInvalidProof: boolean = false

    Returns void

getHeight

getRoot

Private getValueField

has

  • Check whether there is a corresponding key and value in the tree

    Returns

    {boolean}

    Memberof

    DeepMerkleSubTree

    Parameters

    • index: bigint
    • value: V

    Returns boolean

prove

update

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

    Returns

    {Field}

    Memberof

    DeepMerkleSubTree

    Parameters

    • index: bigint
    • Optional value: V

    Returns Field

Settings

Member Visibility

Theme

Generated using TypeDoc