Skip to main content

Proof

o1js / Modules / Proof

Class: Proof<Input, Output>

Type parameters​

Name
Input
Output

Hierarchy​

Table of contents​

Constructors​

Properties​

Methods​

Constructors​

constructor​

• new Proof<Input, Output>(«destructured»)

Type parameters​

Name
Input
Output

Parameters​

NameType
«destructured»Object
› maxProofsVerified0 | 2 | 1
› proofunknown
› publicInputInput
› publicOutputOutput

Defined in​

lib/proof_system.ts:119

Properties​

maxProofsVerified​

• maxProofsVerified: 0 | 2 | 1

Defined in​

lib/proof_system.ts:77

proof​

• proof: unknown

Defined in​

lib/proof_system.ts:76

publicInput​

• publicInput: Input

Defined in​

lib/proof_system.ts:74

publicOutput​

• publicOutput: Output

Defined in​

lib/proof_system.ts:75

shouldVerify​

• shouldVerify: Bool

Defined in​

lib/proof_system.ts:78

publicInputType​

▪ Static publicInputType: FlexibleProvablePure<any>

Defined in​

lib/proof_system.ts:66

publicOutputType​

▪ Static publicOutputType: FlexibleProvablePure<any>

Defined in​

lib/proof_system.ts:67

tag​

▪ Static tag: () => { name: string }

Type declaration​

▸ (): Object

Returns​

Object

NameType
namestring

Defined in​

lib/proof_system.ts:68

Methods​

toJSON​

▸ toJSON(): JsonProof

Returns​

JsonProof

Defined in​

lib/proof_system.ts:86

verify​

▸ verify(): void

Returns​

void

Defined in​

lib/proof_system.ts:80

verifyIf​

▸ verifyIf(condition): void

Parameters​

NameType
conditionBool

Returns​

void

Defined in​

lib/proof_system.ts:83

fromJSON​

▸ Static fromJSON<S>(this, «destructured»): Proof<InferProvable<S["publicInputType"]>, InferProvable<S["publicOutputType"]>>

Type parameters​

NameType
Sextends Subclass<typeof Proof>

Parameters​

NameType
thisS
«destructured»JsonProof

Returns​

Proof<InferProvable<S["publicInputType"]>, InferProvable<S["publicOutputType"]>>

Defined in​

lib/proof_system.ts:95