Skip to main content

ProofBase

Extended by

Type parameters

Input

Output

Constructors

new ProofBase()

new ProofBase<Input, Output>(__namedParameters: {
"maxProofsVerified": 0 | 1 | 2;
"proof": unknown;
"publicInput": Input;
"publicOutput": Output;
}): ProofBase<Input, Output>

Parameters

__namedParameters

__namedParameters.maxProofsVerified: 0 | 1 | 2

__namedParameters.proof: unknown

__namedParameters.publicInput: Input

__namedParameters.publicOutput: Output

Returns

ProofBase\<Input, Output>

Source

lib/proof-system/zkprogram.ts:111

Properties

maxProofsVerified

maxProofsVerified: 0 | 1 | 2;

Source

lib/proof-system/zkprogram.ts:98


proof

proof: unknown;

Source

lib/proof-system/zkprogram.ts:97


publicInput

publicInput: Input;

Source

lib/proof-system/zkprogram.ts:95


publicOutput

publicOutput: Output;

Source

lib/proof-system/zkprogram.ts:96


shouldVerify

shouldVerify: Bool;

Source

lib/proof-system/zkprogram.ts:99


publicInputType

static publicInputType: FlexibleProvablePure<any>;

Source

lib/proof-system/zkprogram.ts:87


publicOutputType

static publicOutputType: FlexibleProvablePure<any>;

Source

lib/proof-system/zkprogram.ts:88


tag()

static tag: () => {
"name": string;
};

Returns

{
"name": string;
}
name
name: string;

Source

lib/proof-system/zkprogram.ts:89

Methods

toJSON()

toJSON(): JsonProof

Returns

JsonProof

Source

lib/proof-system/zkprogram.ts:101