ZkProgram
type ZkProgram<Config> = ReturnType<typeof ZkProgram>;
Defined in: lib/proof-system/zkprogram.ts:224
Type Parameters
• Config extends {
methods
: { [I in string]: { auxiliaryOutput?: ProvableType; privateInputs: Tuple<PrivateInput> } }
;
publicInput
: ProvableType
;
publicOutput
: ProvableType
;
}