@proto-kit/common • Docs
Documentation / @proto-kit/common / ZkProgrammable
Class: abstract ZkProgrammable<PublicInput, PublicOutput>
Extended by
Type Parameters
• PublicInput = undefined
• PublicOutput = void
Constructors
new ZkProgrammable()
new ZkProgrammable<
PublicInput,PublicOutput>():ZkProgrammable<PublicInput,PublicOutput>
Returns
ZkProgrammable<PublicInput, PublicOutput>
Accessors
areProofsEnabled
Get Signature
get
abstractareProofsEnabled():undefined|AreProofsEnabled
Returns
undefined | AreProofsEnabled
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:139
Methods
compile()
compile(
registry):Promise<Record<string,CompileArtifact>>
Parameters
• registry: CompileRegistry
Returns
Promise<Record<string, CompileArtifact>>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:240
dynamicProofType()
dynamicProofType():
Promise<typeofDynamicProof>
Returns
Promise<typeof DynamicProof>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:191
proofType()
proofType():
Promise<typeofProof>
Returns
Promise<typeof Proof>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:168
zkProgram()
zkProgram():
Promise<PlainZkProgram<PublicInput,PublicOutput>[]>
Returns
Promise<PlainZkProgram<PublicInput, PublicOutput>[]>
Defined in
packages/common/src/zkProgrammable/ZkProgrammable.ts:148
zkProgramFactory()
abstractzkProgramFactory():Promise<PlainZkProgram<PublicInput,PublicOutput>[]>
Returns
Promise<PlainZkProgram<PublicInput, PublicOutput>[]>