SelfProof

o1js / Modules / SelfProof

Class: SelfProof<PublicInput, PublicOutput>

Type parameters

Name
PublicInput
PublicOutput

Hierarchy

• Proof<PublicInput, PublicOutput>

  ↳ SelfProof

Table of contents

Constructors

• constructor

Properties

• maxProofsVerified
• proof
• publicInput
• publicOutput
• shouldVerify
• publicInputType
• publicOutputType
• tag

Methods

• toJSON
• verify
• verifyIf
• fromJSON

Constructors

constructor

• new SelfProof<PublicInput, PublicOutput>(«destructured»)

Type parameters

Name
PublicInput
PublicOutput

Parameters

Name	Type
«destructured»	Object
› maxProofsVerified	0 | 2 | 1
› proof	unknown
› publicInput	PublicInput
› publicOutput	PublicOutput

Inherited from

Proof.constructor

Defined in

lib/proof_system.ts:119

Properties

maxProofsVerified

• maxProofsVerified: 0 | 2 | 1

Inherited from

Proof.maxProofsVerified

Defined in

lib/proof_system.ts:77

---

proof

• proof: unknown

Inherited from

Proof.proof

Defined in

lib/proof_system.ts:76

---

publicInput

• publicInput: PublicInput

Inherited from

Proof.publicInput

Defined in

lib/proof_system.ts:74

---

publicOutput

• publicOutput: PublicOutput

Inherited from

Proof.publicOutput

Defined in

lib/proof_system.ts:75

---

shouldVerify

• shouldVerify: Bool

Inherited from

Proof.shouldVerify

Defined in

lib/proof_system.ts:78

---

publicInputType

▪ Static publicInputType: FlexibleProvablePure<any>

Inherited from

Proof.publicInputType

Defined in

lib/proof_system.ts:66

---

publicOutputType

▪ Static publicOutputType: FlexibleProvablePure<any>

Inherited from

Proof.publicOutputType

Defined in

lib/proof_system.ts:67

---

tag

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

Type declaration

▸ (): Object

Returns

Object

Name	Type
name	string

Inherited from

Proof.tag

Defined in

lib/proof_system.ts:68

Methods

toJSON

▸ toJSON(): JsonProof

Returns

JsonProof

Inherited from

Proof.toJSON

Defined in

lib/proof_system.ts:86

---

verify

▸ verify(): void

Returns

void

Inherited from

Proof.verify

Defined in

lib/proof_system.ts:80

---

verifyIf

▸ verifyIf(condition): void

Parameters

Name	Type
condition	Bool

Returns

void

Inherited from

Proof.verifyIf

Defined in

lib/proof_system.ts:83

---

fromJSON

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

Type parameters

Name	Type
S	extends Subclass<typeof Proof>

Parameters

Name	Type
this	S
«destructured»	JsonProof

Returns

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

Inherited from

Proof.fromJSON

Defined in

lib/proof_system.ts:95