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