ZkProgram
type ZkProgram<S, T>: ReturnType<typeof ZkProgram>;
Type parameters
• S extends {
"publicInput": FlexibleProvablePure\<any>;
"publicOutput": FlexibleProvablePure\<any>;
}
• T extends { [I in string]: Tuple<PrivateInput> }
type ZkProgram<S, T>: ReturnType<typeof ZkProgram>;
• S extends {
"publicInput": FlexibleProvablePure\<any>;
"publicOutput": FlexibleProvablePure\<any>;
}
• T extends { [I in string]: Tuple<PrivateInput> }