Skip to main content

ProofBase

Extended by​

Type parameters​

• Input = any

• Output = any

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/proof.ts:49

Properties​

maxProofsVerified​

maxProofsVerified: 0 | 1 | 2;

Source​

lib/proof-system/proof.ts:36

proof​

proof: unknown;

Source​

lib/proof-system/proof.ts:35

publicInput​

publicInput: Input;

Source​

lib/proof-system/proof.ts:33

publicOutput​

publicOutput: Output;

Source​

lib/proof-system/proof.ts:34

shouldVerify​

shouldVerify: Bool;

Source​

lib/proof-system/proof.ts:37

publicInputType​

static publicInputType: FlexibleProvablePure<any>;

Source​

lib/proof-system/proof.ts:25

publicOutputType​

static publicOutputType: FlexibleProvablePure<any>;

Source​

lib/proof-system/proof.ts:26

tag()​

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

Returns​

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

Source​

lib/proof-system/proof.ts:27

Accessors​

provable​

get static provable(): Provable<any>

Returns​

Provable\<any>

Source​

lib/proof-system/proof.ts:66

Methods​

publicFields()​

publicFields(): {
  "input": Field[];
  "output": Field[];
}

Returns​

{
  "input": Field[];
  "output": Field[];
}
input​
input: Field[];
output​
output: Field[];

Source​

lib/proof-system/proof.ts:92

toJSON()​

toJSON(): JsonProof

Returns​

JsonProof

Source​

lib/proof-system/proof.ts:39

publicFields()​

static publicFields(value: ProofBase<any, any>): {
  "input": Field[];
  "output": Field[];
}

Parameters​

• value: ProofBase\<any, any>

Returns​

{
  "input": Field[];
  "output": Field[];
}
input​
input: Field[];
output​
output: Field[];

Source​

lib/proof-system/proof.ts:84