Skip to main content

ZkProgram

function ZkProgram<StatementType, Types>(config: StatementType & {
  "methods": { [I in string | number | symbol]: Method<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]> };
  "name": string;
  "overrideWrapDomain": 0 | 2 | 1;
 }): {
  "analyzeMethods": () => Promise<{ [I in keyof Types]: UnwrapPromise<ReturnType<typeof analyzeMethod>> }>;
  "compile": (options?: {
     "cache": Cache;
     "forceRecompile": boolean;
    }) => Promise<{
     "verificationKey": {
        "data": string;
        "hash": Field;
       };
    }>;
  "digest": () => Promise<string>;
  "name": string;
  "privateInputTypes": { [I in keyof Types]: Method<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]>["privateInputs"] };
  "publicInputType": ProvableOrUndefined<Get<StatementType, "publicInput">>;
  "publicOutputType": ProvableOrVoid<Get<StatementType, "publicOutput">>;
  "rawMethods": { [I in keyof Types]: Method<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]>["method"] };
  "verify": (proof: Proof<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>>) => Promise<boolean>;
 } & { [I in keyof Types]: Prover<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]> }

Type parameters​

• StatementType extends { "publicInput": FlexibleProvablePure\<any>; "publicOutput": FlexibleProvablePure\<any>; }

• Types extends {}

Parameters​

• config: StatementType & { "methods": { [I in string | number | symbol]: Method\<InferProvableOrUndefined\<Get\<StatementType, "publicInput">>, InferProvableOrVoid\<Get\<StatementType, "publicOutput">>, Types[I]> }; "name": string; "overrideWrapDomain": 0 | 2 | 1; }

Returns​

{ "analyzeMethods": () => Promise\<{ [I in keyof Types]: UnwrapPromise<ReturnType<typeof analyzeMethod>> }>; "compile": (options?: { "cache": Cache; "forceRecompile": boolean; }) => Promise\<{ "verificationKey": { "data": string; "hash": Field; }; }>; "digest": () => Promise\<string>; "name": string; "privateInputTypes": { [I in keyof Types]: Method<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]>["privateInputs"] }; "publicInputType": ProvableOrUndefined\<Get\<StatementType, "publicInput">>; "publicOutputType": ProvableOrVoid\<Get\<StatementType, "publicOutput">>; "rawMethods": { [I in keyof Types]: Method<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]>["method"] }; "verify": (proof: Proof\<InferProvableOrUndefined\<Get\<StatementType, "publicInput">>, InferProvableOrVoid\<Get\<StatementType, "publicOutput">>>) => Promise\<boolean>; } & { [I in keyof Types]: Prover<InferProvableOrUndefined<Get<StatementType, "publicInput">>, InferProvableOrVoid<Get<StatementType, "publicOutput">>, Types[I]> }

Source​

lib/proof-system/zkprogram.ts:393