Class BaseMerkleProof

Merkle proof CircuitValue for an element in a MerkleTree.

Hierarchy

CircuitValue
- BaseMerkleProof

Index

Constructors

Properties

root sideNodes height

Methods

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

Constructors

constructor

new BaseMerkleProof(root: Field, sideNodes: Field[]): BaseMerkleProof
Parameters
- root: Field
- sideNodes: Field[]
Returns BaseMerkleProof
Overrides CircuitValue.constructor
- Defined in src/lib/merkle/proofs.ts:36

Properties

root

root: Field

sideNodes

sideNodes: Field[]

`Static` height

height: number

Methods

assertEquals

assertEquals(x: BaseMerkleProof): void
Parameters
- x: BaseMerkleProof
Returns void
Inherited from CircuitValue.assertEquals
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:43

equals

equals(x: BaseMerkleProof): Bool
Parameters
- x: BaseMerkleProof
Returns Bool
Inherited from CircuitValue.equals
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:42

height

height(): number
Returns number
- Defined in src/lib/merkle/proofs.ts:32

isConstant

isConstant(): boolean
Returns boolean
Inherited from CircuitValue.isConstant
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:44

toConstant

toConstant(): BaseMerkleProof
Returns BaseMerkleProof
Inherited from CircuitValue.toConstant
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:41

toFields

toFields(): Field[]
Returns Field[]
Inherited from CircuitValue.toFields
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:39

toJSON

toJSON(): any
Returns any
Inherited from CircuitValue.toJSON
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:40

`Static` check

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:46

`Static` fromFields

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:45

`Static` fromJSON

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:49

`Static` fromObject

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:34

`Static` sizeInFields

sizeInFields(): number
Returns number
Inherited from CircuitValue.sizeInFields
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:35

`Static` toAuxiliary

toAuxiliary(): []
Returns []
Inherited from CircuitValue.toAuxiliary
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:37

`Static` toConstant

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:47

`Static` toFields

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:36

`Static` toInput

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:38

`Static` toJSON

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
- Defined in node_modules/snarkyjs/dist/node/lib/circuit_value.d.ts:48

Generated using TypeDoc