ZkProgram
type ZkProgram<Config, Methods>: ReturnType<typeof ZkProgram>;
Type parameters
• Config extends {
"methods": { [I in string]: Object };
"publicInput": ProvableTypePure;
"publicOutput": ProvableTypePure;
}
• Methods extends { [I in keyof Config["methods"]]: Method<InferProvableOrUndefined<Get<Config, "publicInput">>, InferProvableOrVoid<Get<Config, "publicOutput">>, Config["methods"][I]> }