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