Class: MerkleMapWitness

Deprecated

CircuitValue is deprecated in favor of Struct, which features a simpler API and better typing.

Hierarchy

• CircuitValue

  ↳ MerkleMapWitness

Table of contents

Constructors

• constructor

Properties

• isLefts
• siblings

Methods

• assertEquals
• computeRootAndKey
• equals
• isConstant
• toConstant
• toFields
• toJSON
• check
• fromFields
• fromJSON
• fromObject
• sizeInFields
• toAuxiliary
• toConstant
• toFields
• toInput
• toJSON

Constructors

constructor

• new MerkleMapWitness(isLefts, siblings)

Parameters

Name	Type
isLefts	Bool[]
siblings	Field[]

Overrides

CircuitValue.constructor

Defined in

lib/merkle_map.ts:121

Properties

isLefts

• isLefts: Bool[]

Defined in

lib/merkle_map.ts:118

---

siblings

• siblings: Field[]

Defined in

lib/merkle_map.ts:119

Methods

assertEquals

▸ assertEquals(x): void

Parameters

Name	Type
x	MerkleMapWitness

Returns

void

Inherited from

CircuitValue.assertEquals

Defined in

lib/circuit_value.ts:175

---

computeRootAndKey

▸ computeRootAndKey(value): Field[]

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

Parameters

Name	Type	Description
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.

Defined in

lib/merkle_map.ts:132

---

equals

▸ equals(x): Bool

Parameters

Name	Type
x	MerkleMapWitness

Returns

Bool

Inherited from

CircuitValue.equals

Defined in

lib/circuit_value.ts:171

---

isConstant

▸ isConstant(): boolean

Returns

boolean

Inherited from

CircuitValue.isConstant

Defined in

lib/circuit_value.ts:179

---

toConstant

▸ toConstant(): MerkleMapWitness

Returns

MerkleMapWitness

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit_value.ts:167

---

toFields

▸ toFields(): Field[]

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit_value.ts:159

---

toJSON

▸ toJSON(): any

Returns

any

Inherited from

CircuitValue.toJSON

Defined in

lib/circuit_value.ts:163

---

check

▸ Static check<T>(this, v): void

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
v	InstanceType<T>

Returns

void

Inherited from

CircuitValue.check

Defined in

lib/circuit_value.ts:208

---

fromFields

▸ Static fromFields<T>(this, xs): InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
xs	Field[]

Returns

InstanceType<T>

Inherited from

CircuitValue.fromFields

Defined in

lib/circuit_value.ts:183

---

fromJSON

▸ Static fromJSON<T>(this, value): InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
value	any

Returns

InstanceType<T>

Inherited from

CircuitValue.fromJSON

Defined in

lib/circuit_value.ts:241

---

fromObject

▸ Static fromObject<T>(this, value): InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
value	NonMethods<InstanceType<T>>

Returns

InstanceType<T>

Inherited from

CircuitValue.fromObject

Defined in

lib/circuit_value.ts:104

---

sizeInFields

▸ Static sizeInFields(): number

Returns

number

Inherited from

CircuitValue.sizeInFields

Defined in

lib/circuit_value.ts:111

---

toAuxiliary

▸ Static toAuxiliary(): []

Returns

[]

Inherited from

CircuitValue.toAuxiliary

Defined in

lib/circuit_value.ts:133

---

toConstant

▸ Static toConstant<T>(this, t): InstanceType<T>

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
t	InstanceType<T>

Returns

InstanceType<T>

Inherited from

CircuitValue.toConstant

Defined in

lib/circuit_value.ts:222

---

toFields

▸ Static toFields<T>(this, v): Field[]

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
v	InstanceType<T>

Returns

Field[]

Inherited from

CircuitValue.toFields

Defined in

lib/circuit_value.ts:116

---

toInput

▸ Static toInput<T>(this, v): HashInput

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
v	InstanceType<T>

Returns

HashInput

Inherited from

CircuitValue.toInput

Defined in

lib/circuit_value.ts:137

---

toJSON

▸ Static toJSON<T>(this, v): any

Type parameters

Name	Type
T	extends AnyConstructor

Parameters

Name	Type
this	T
v	InstanceType<T>

Returns

any

Inherited from

CircuitValue.toJSON

Defined in

lib/circuit_value.ts:230