Skip to main content

JsonProof

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

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

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

Type declaration​

maxProofsVerified​

maxProofsVerified: 0 | 1 | 2;

proof​

proof: Base64ProofString;

publicInput​

publicInput: string[];

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

publicOutput​

publicOutput: string[];

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