Class MerkleTree<V>

Merkle Tree.

Type Parameters

Hierarchy

MerkleTree

Index

Constructors

`Private` constructor

new MerkleTree<V>(root: Field, store: Store<V>, height: number, valueType: Provable<V>, hasher: Hasher, hashValue: boolean): MerkleTree<V>
Type Parameters
- V
Parameters
- root: Field
- store: Store<V>
- height: number
- valueType: Provable<V>
- hasher: Hasher
- hashValue: boolean
Returns MerkleTree<V>
- Defined in src/lib/merkle/merkle_tree.ts:124

Properties

`Protected` `Readonly` hashValue

hashValue: boolean

`Protected` hasher

hasher: Hasher

`Protected` `Readonly` height

height: number

`Protected` `Readonly` maxNumIndex

maxNumIndex: bigint

`Protected` root

root: Field

`Protected` store

store: Store<V>

`Protected` valueType

valueType: Provable<V>

Methods

clear

clear(): Promise<void>
Clear the tree.

Returns
{Promise}

Memberof
MerkleTree

Returns Promise<void>
- Defined in src/lib/merkle/merkle_tree.ts:261

delete

delete(index: bigint): Promise<Field>
Delete a value from tree and return the new root of the tree.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- index: bigint
Returns Promise<Field>
- Defined in src/lib/merkle/merkle_tree.ts:272

depth

depth(): number
Get the depth of the tree.

Returns
{number}

Memberof
MerkleTree

Returns number
- Defined in src/lib/merkle/merkle_tree.ts:175

`Protected` digest

digest(data: Field[]): Field
Parameters
- data: Field[]
Returns Field
- Defined in src/lib/merkle/merkle_tree.ts:337

get

get(index: bigint): Promise<null | V>
Get the value for an index from the tree.

Returns
{(Promise<V | null>)}

Memberof
MerkleTree
Parameters
- index: bigint
Returns Promise<null | V>
- Defined in src/lib/merkle/merkle_tree.ts:219

getHasher

getHasher(): Hasher
Get the hasher function used by the tree.

Returns
{Hasher}

Memberof
MerkleTree

Returns Hasher
- Defined in src/lib/merkle/merkle_tree.ts:208

getRoot

getRoot(): Field
Get the root of the tree.

Returns
{Field}

Memberof
MerkleTree

Returns Field
- Defined in src/lib/merkle/merkle_tree.ts:154

getStore

getStore(): Store<V>
Get the data store of the tree.

Returns
{Store}

Memberof
MerkleTree

Returns Store<V>
- Defined in src/lib/merkle/merkle_tree.ts:198

has

has(index: bigint): Promise<boolean>
Check if the index exists in the tree.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- index: bigint
Returns Promise<boolean>
- Defined in src/lib/merkle/merkle_tree.ts:246

isEmpty

isEmpty(): boolean
Check if the tree is empty.

Returns
{boolean}

Memberof
MerkleTree

Returns boolean
- Defined in src/lib/merkle/merkle_tree.ts:164

prove

prove(index: bigint): Promise<BaseMerkleProof>
Create a merkle proof for an index against the current root.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- index: bigint
Returns Promise<BaseMerkleProof>
- Defined in src/lib/merkle/merkle_tree.ts:321

proveCompact

proveCompact(index: bigint): Promise<CompactMerkleProof>
Create a compacted merkle proof for an index against the current root.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- index: bigint
Returns Promise<CompactMerkleProof>
- Defined in src/lib/merkle/merkle_tree.ts:332

`Protected` proveForRoot

proveForRoot(root: Field, key: bigint): Promise<BaseMerkleProof>
Parameters
- root: Field
- key: bigint
Returns Promise<BaseMerkleProof>
- Defined in src/lib/merkle/merkle_tree.ts:468

setRoot

setRoot(root: Field): Promise<void>
Set the root of the tree.

Memberof
MerkleTree
Parameters
- root: Field
Returns Promise<void>
- Defined in src/lib/merkle/merkle_tree.ts:185

`Protected` sideNodesForRoot

sideNodesForRoot(root: Field, path: Field): Promise<{
    leafData: Field;
    pathNodes: Field[];
    sideNodes: Field[];
}>
Parameters
- root: Field
- path: Field
Returns Promise<{
    leafData: Field;
    pathNodes: Field[];
    sideNodes: Field[];
}>
- Defined in src/lib/merkle/merkle_tree.ts:426

update

update(index: bigint, value?: V): Promise<Field>
Update a new value for an index in the tree and return the new root of the tree.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- index: bigint
- Optional value: V
Returns Promise<Field>
- Defined in src/lib/merkle/merkle_tree.ts:284

updateAll

updateAll(ivs: {
index: bigint;
value?: V;
}[]): Promise<Field>
Update multiple leaves and return the new root of the tree.

Returns
{Promise}

Memberof
MerkleTree
Parameters
- ivs: {
  index: bigint;
  value?: V;
  }[]
Returns Promise<Field>
- Defined in src/lib/merkle/merkle_tree.ts:301

`Protected` updateForRoot

updateForRoot(root: Field, key: bigint, value?: V): Promise<Field>
Parameters
- root: Field
- key: bigint
- Optional value: V
Returns Promise<Field>
- Defined in src/lib/merkle/merkle_tree.ts:341

`Protected` updateWithSideNodes

updateWithSideNodes(sideNodes: Field[], pathNodes: Field[], oldLeafData: Field, path: Field, value?: V): Field
Parameters
- sideNodes: Field[]
- pathNodes: Field[]
- oldLeafData: Field
- path: Field
- Optional value: V
Returns Field
- Defined in src/lib/merkle/merkle_tree.ts:368

`Static` build

build<V>(store: Store<V>, height: number, valueType: Provable<V>, options??: {
hashValue?: boolean;
hasher?: Hasher;
}): Promise<MerkleTree<V>>
Build a new merkle tree.

Static

Returns
{Promise<MerkleTree>}

Memberof
MerkleTree
Type Parameters
- V
Parameters
- store: Store<V>
- height: number
- valueType: Provable<V>
- Optional options: {
  hashValue?: boolean;
  hasher?: Hasher;
  } = ...
  - Optional hashValue?: boolean
  - Optional hasher?: Hasher
Returns Promise<MerkleTree<V>>
- Defined in src/lib/merkle/merkle_tree.ts:43

`Static` import

import<V>(store: Store<V>, height: number, valueType: Provable<V>, options??: {
hashValue?: boolean;
hasher?: Hasher;
}): Promise<MerkleTree<V>>
Import a merkle tree via existing store.

Static

Returns
{Promise<MerkleTree>}

Memberof
MerkleTree
Type Parameters
- V
Parameters
- store: Store<V>
- height: number
- valueType: Provable<V>
- Optional options: {
  hashValue?: boolean;
  hasher?: Hasher;
  } = ...
  - Optional hashValue?: boolean
  - Optional hasher?: Hasher
Returns Promise<MerkleTree<V>>
- Defined in src/lib/merkle/merkle_tree.ts:98

Class MerkleTree<V>

Type Parameters

V

Hierarchy

Index

Constructors

Properties

Methods

Constructors

Private constructor

Type Parameters

V

Parameters

root: Field

store: Store<V>

height: number

valueType: Provable<V>

hasher: Hasher

hashValue: boolean

Returns MerkleTree<V>

Properties

Protected Readonly hashValue

Protected hasher

Protected Readonly height

Protected Readonly maxNumIndex

Protected root

Protected store

Protected valueType

Methods

clear

Returns

Memberof

Returns Promise<void>

delete

Returns

Memberof

Parameters

index: bigint

Returns Promise<Field>

depth

Returns

Memberof

Returns number

Protected digest

Parameters

data: Field[]

Returns Field

get

Returns

Memberof

Parameters

index: bigint

Returns Promise<null | V>

getHasher

Returns

Memberof

Returns Hasher

getRoot

Returns

Memberof

Returns Field

getStore

Returns

Memberof

Returns Store<V>

has

Returns

Memberof

Parameters

index: bigint

Returns Promise<boolean>

isEmpty

Returns

Memberof

Returns boolean

prove

Returns

Memberof

Parameters

index: bigint

`Private` constructor

`Protected` `Readonly` hashValue

`Protected` hasher

`Protected` `Readonly` height

`Protected` `Readonly` maxNumIndex

`Protected` root

`Protected` store

`Protected` valueType

`Protected` digest

`Protected` proveForRoot

`Protected` sideNodesForRoot

Returns Promise<{
leafData: Field;
pathNodes: Field[];
sideNodes: Field[];
}>

`Optional` value: V

ivs: {
index: bigint;
value?: V;
}[]

`Protected` updateForRoot

`Optional` value: V

`Protected` updateWithSideNodes

`Optional` value: V

`Static` build

`Optional` options: {
hashValue?: boolean;
hasher?: Hasher;
} = ...

`Optional` hashValue?: boolean

`Optional` hasher?: Hasher

`Static` import