@proto-kit/common • Docs
Documentation / @proto-kit/common / PlainZkProgram
Interface: PlainZkProgram<PublicInput, PublicOutput>
Type Parameters
• PublicInput = undefined
• PublicOutput = undefined
Properties
analyzeMethods()
analyzeMethods: () =>
Promise<Record<string,ConstraintSystemSummary&object>>
Returns
Promise<Record<string, ConstraintSystemSummary & object>>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:83
compile
compile:
Compile
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:61
maxProofsVerified()
maxProofsVerified: () =>
Promise<0|1|2>
Returns
Promise<0 | 1 | 2>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:92
methods
methods:
Record<string, (…args) =>Promise<object> | (publicInput, …args) =>Promise<object>>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:69
name
name:
string
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:58
Proof
Proof: (
__namedParameters) =>Proof<PublicInput|StructPure<PublicInput> extendsGenericProvable<PublicInput,any,Field> ?PublicInput:PublicInput,PublicOutput|StructPure<PublicOutput> extendsGenericProvable<PublicOutput,any,Field> ?PublicOutput:PublicOutput> &object
Type declaration
provable
provable:
Provable<Proof<PublicInput|StructPure<PublicInput> extendsGenericProvable<PublicInput,any,Field> ?PublicInput:PublicInput,PublicOutput|StructPure<PublicOutput> extendsGenericProvable<PublicOutput,any,Field> ?PublicOutput:PublicOutput>,ProofValue<any,any>>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:63
publicInputType
publicInputType:
FlexibleProvable<PublicInput>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:59
publicOutputType
publicOutputType:
FlexibleProvable<PublicOutput>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:60
verify
verify:
Verify<PublicInput,PublicOutput>