Skip to main content

Class: SelfProof<T>

Type parameters​

Name
T

Hierarchy​

Table of contents​

Constructors​

Properties​

Methods​

Constructors​

constructor​

• new SelfProof<T>(__namedParameters)

Type parameters​

Name
T

Parameters​

NameType
__namedParametersObject
__namedParameters.maxProofsVerified0 | 2 | 1
__namedParameters.proofunknown
__namedParameters.publicInputT

Inherited from​

Proof.constructor

Defined in​

lib/proof_system.ts:97

Properties​

maxProofsVerified​

• maxProofsVerified: 0 | 2 | 1

Inherited from​

Proof.maxProofsVerified

Defined in​

lib/proof_system.ts:64

proof​

• proof: unknown

Inherited from​

Proof.proof

Defined in​

lib/proof_system.ts:63

publicInput​

• publicInput: T

Inherited from​

Proof.publicInput

Defined in​

lib/proof_system.ts:62

shouldVerify​

• shouldVerify: Bool

Inherited from​

Proof.shouldVerify

Defined in​

lib/proof_system.ts:65

publicInputType​

▪ Static publicInputType: ProvablePure<any>

Inherited from​

Proof.publicInputType

Defined in​

lib/proof_system.ts:55

tag​

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

Type declaration​

▸ (): Object

Returns​

Object

NameType
namestring

Inherited from​

Proof.tag

Defined in​

lib/proof_system.ts:56

Methods​

toJSON​

▸ toJSON(): JsonProof

Returns​

JsonProof

Inherited from​

Proof.toJSON

Defined in​

lib/proof_system.ts:73

verify​

▸ verify(): void

Returns​

void

Inherited from​

Proof.verify

Defined in​

lib/proof_system.ts:67

verifyIf​

▸ verifyIf(condition): void

Parameters​

NameType
conditionBool

Returns​

void

Inherited from​

Proof.verifyIf

Defined in​

lib/proof_system.ts:70

fromJSON​

▸ Static fromJSON<S>(this, __namedParameters): Proof<InferInstance<S["publicInputType"]>>

Type parameters​

NameType
Sextends Subclass<typeof Proof>

Parameters​

NameType
thisS
__namedParametersJsonProof

Returns​

Proof<InferInstance<S["publicInputType"]>>

Inherited from​

Proof.fromJSON

Defined in​

lib/proof_system.ts:82