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> }