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