ProofBase.mdx

Extended by

• Proof
• DynamicProof

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