Skip to main content

SelfProof

SnarkyJS / Modules / SelfProof

Class: SelfProof<PublicInput, PublicOutput>

Type parameters

Name
PublicInput
PublicOutput

Hierarchy

  • Proof<PublicInput, PublicOutput>

    SelfProof

Table of contents

Constructors

Properties

Methods

Constructors

constructor

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

Type parameters

Name
PublicInput
PublicOutput

Parameters

NameType
«destructured»Object
› maxProofsVerified0 | 2 | 1
› proofunknown
› publicInputPublicInput
› publicOutputPublicOutput

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

NameType
namestring

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

NameType
conditionBool

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

NameType
Sextends Subclass<typeof Proof>

Parameters

NameType
thisS
«destructured»JsonProof

Returns

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

Inherited from

Proof.fromJSON

Defined in

lib/proof_system.ts:95