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