Class ProvableCSMTUtils

Collection of utility functions for compact sparse merkle tree in the circuit.

Hierarchy

  • ProvableCSMTUtils

Constructors

constructor

Methods

checkMembership checkNonMembership

Constructors

constructor

Methods

Static checkMembership

  • Returns true if the value is in the tree and it is at the index from the key

    Static

    Returns

    {Bool}

    Memberof

    ProvableCSMTUtils

    Type Parameters

    • K

    • V

    Parameters

    • proof: CompactSparseMerkleProof
    • expectedRoot: Field
    • key: K
    • keyType: Provable<K>
    • value: V
    • valueType: Provable<V>
    • Optional options: {
          hashKey: boolean;
          hashValue: boolean;
          treeHasher: TreeHasher<K, V>;
      } = ...
      • hashKey: boolean
      • hashValue: boolean
      • treeHasher: TreeHasher<K, V>

    Returns Bool

Static checkNonMembership

  • Returns true if there is no value at the index from the key

    Static

    Returns

    {Bool}

    Memberof

    ProvableCSMTUtils

    Type Parameters

    • K

    • V

    Parameters

    Returns Bool

Settings

Member Visibility

Theme

Generated using TypeDoc