MerkleMapWitness

Extends

• CircuitValue

Constructors

new MerkleMapWitness()

new MerkleMapWitness(isLefts: Bool[], siblings: Field[]): MerkleMapWitness

Parameters

• isLefts: Bool[]

• siblings: Field[]

Returns

MerkleMapWitness

Overrides

CircuitValue.constructor

Source

lib/provable/merkle-map.ts:78

Properties

isLefts

isLefts: Bool[];

Source

lib/provable/merkle-map.ts:75

---

siblings

siblings: Field[];

Source

lib/provable/merkle-map.ts:76

Methods

assertEquals()

assertEquals(x: this): void

Parameters

• x: this

Returns

void

Inherited from

CircuitValue.assertEquals

Source

lib/provable/types/circuit-value.ts:130

---

computeRootAndKey()

computeRootAndKey(value: Field): Field[]

computes the merkle tree root for a given value and the key for this witness

Parameters

• value: Field

The value to compute the root for.

Returns

Field[]

A tuple of the computed merkle root, and the key that is connected to the path updated by this witness.

Source

lib/provable/merkle-map.ts:89

---

equals()

equals(x: this): Bool

Parameters

• x: this

Returns

Bool

Inherited from

CircuitValue.equals

Source

lib/provable/types/circuit-value.ts:126

---

isConstant()

isConstant(): boolean

Returns

boolean

Inherited from

CircuitValue.isConstant

Source

lib/provable/types/circuit-value.ts:134

---

toConstant()

toConstant(): this

Returns

this

Inherited from

CircuitValue.toConstant

Source

lib/provable/types/circuit-value.ts:122

---

toFields()

toFields(): Field[]

Returns

Field[]

Inherited from

CircuitValue.toFields

Source

lib/provable/types/circuit-value.ts:85

---

toJSON()

toJSON(): any

Returns

any

Inherited from

CircuitValue.toJSON

Source

lib/provable/types/circuit-value.ts:118

---

check()

static check<T>(this: T, v: InstanceType<T>): void

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• v: InstanceType\<T>

Returns

void

Inherited from

CircuitValue.check

Source

lib/provable/types/circuit-value.ts:163

---

empty()

static empty<T>(): InstanceType<T>

Type parameters

• T extends AnyConstructor

Returns

InstanceType\<T>

Inherited from

CircuitValue.empty

Source

lib/provable/types/circuit-value.ts:218

---

fromFields()

static fromFields<T>(this: T, xs: Field[]): InstanceType<T>

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• xs: Field[]

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromFields

Source

lib/provable/types/circuit-value.ts:138

---

fromJSON()

static fromJSON<T>(this: T, value: any): InstanceType<T>

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• value: any

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromJSON

Source

lib/provable/types/circuit-value.ts:196

---

fromObject()

static fromObject<T>(this: T, value: NonMethods<InstanceType<T>>): InstanceType<T>

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• value: NonMethods\<InstanceType\<T>>

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromObject

Source

lib/provable/types/circuit-value.ts:30

---

fromValue()

static fromValue<T>(this: T, value: any): InstanceType<T>

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• value: any

Returns

InstanceType\<T>

Inherited from

CircuitValue.fromValue

Source

lib/provable/types/circuit-value.ts:98

---

sizeInFields()

static sizeInFields(): number

Returns

number

Inherited from

CircuitValue.sizeInFields

Source

lib/provable/types/circuit-value.ts:37

---

toAuxiliary()

static toAuxiliary(): []

Returns

[]

Inherited from

CircuitValue.toAuxiliary

Source

lib/provable/types/circuit-value.ts:59

---

toConstant()

static toConstant<T>(this: T, t: InstanceType<T>): InstanceType<T>

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• t: InstanceType\<T>

Returns

InstanceType\<T>

Inherited from

CircuitValue.toConstant

Source

lib/provable/types/circuit-value.ts:177

---

toFields()

static toFields<T>(this: T, v: InstanceType<T>): Field[]

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• v: InstanceType\<T>

Returns

Field[]

Inherited from

CircuitValue.toFields

Source

lib/provable/types/circuit-value.ts:42

---

toInput()

static toInput<T>(this: T, v: InstanceType<T>): HashInput

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• v: InstanceType\<T>

Returns

HashInput

Inherited from

CircuitValue.toInput

Source

lib/provable/types/circuit-value.ts:63

---

toJSON()

static toJSON<T>(this: T, v: InstanceType<T>): any

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• v: InstanceType\<T>

Returns

any

Inherited from

CircuitValue.toJSON

Source

lib/provable/types/circuit-value.ts:185

---

toValue()

static toValue<T>(this: T, v: InstanceType<T>): any

Type parameters

• T extends AnyConstructor

Parameters

• this: T

• v: InstanceType\<T>

Returns

any

Inherited from

CircuitValue.toValue

Source

lib/provable/types/circuit-value.ts:89