Skip to main content

JsonProof

type JsonProof = {
  maxProofsVerified: 0 | 1 | 2;
  proof: Base64ProofString;
  publicInput: string[];
  publicOutput: string[];
};

Defined in: lib/proof-system/zkprogram.ts:140

Serializable representation of a Pickles proof, useful for caching compiled proofs.

Properties​

maxProofsVerified​

maxProofsVerified: 0 | 1 | 2;

Defined in: lib/proof-system/zkprogram.ts:145

proof​

proof: Base64ProofString;

Defined in: lib/proof-system/zkprogram.ts:146

publicInput​

publicInput: string[];

Defined in: lib/proof-system/zkprogram.ts:142

Array of string, where each string is a Field in the publicInput of this proof

publicOutput​

publicOutput: string[];

Defined in: lib/proof-system/zkprogram.ts:144

Array of string, where each string is a Field in the publicOutput of this proof