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:233
Properties
maxProofsVerified
maxProofsVerified: 0 | 1 | 2;
Source
lib/proof-system/zkprogram.ts:220
proof
proof: unknown;
Source
lib/proof-system/zkprogram.ts:219
publicInput
publicInput: Input;
Source
lib/proof-system/zkprogram.ts:217
publicOutput
publicOutput: Output;
Source
lib/proof-system/zkprogram.ts:218
shouldVerify
shouldVerify: Bool;
Source
lib/proof-system/zkprogram.ts:221
publicInputType
static publicInputType: FlexibleProvablePure<any>;
Source
lib/proof-system/zkprogram.ts:209
publicOutputType
static publicOutputType: FlexibleProvablePure<any>;
Source
lib/proof-system/zkprogram.ts:210
tag()
static tag: () => {
"name": string;
};
Returns
{
"name": string;
}
name
name: string;
Source
lib/proof-system/zkprogram.ts:211
Methods
toJSON()
toJSON(): JsonProof