Skip to main content

ZkProgram

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:249