@proto-kit/protocol • Docs
Documentation / @proto-kit/protocol / BlockProvable
Interface: BlockProvable
Extends
Extended by
Properties
merge()
merge: (
publicInput,proof1,proof2) =>Promise<BlockProverPublicOutput>
Parameters
• publicInput: BlockProverPublicInput
• proof1: BlockProof
• proof2: BlockProof
Returns
Promise<BlockProverPublicOutput>
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:399
proveBlockBatchNoProofs()
proveBlockBatchNoProofs: (
publicInput,stateWitness,networkState,blockWitness,batch,finalize) =>Promise<BlockProverPublicOutput>
Parameters
• publicInput: BlockProverPublicInput
• stateWitness: BlockProverStateInput
• networkState: NetworkState
• blockWitness: BlockHashMerkleTreeWitness
• batch: BlockArgumentsBatch
• finalize: Bool
Returns
Promise<BlockProverPublicOutput>
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:378
proveBlockBatchWithProofs()
proveBlockBatchWithProofs: (
publicInput,stateWitness,networkState,blockWitness,batch,deferSTProof,deferTransactionProof,stateTransitionProof,transactionProof) =>Promise<BlockProverPublicOutput>
Parameters
• publicInput: BlockProverPublicInput
• stateWitness: BlockProverStateInput
• networkState: NetworkState
• blockWitness: BlockHashMerkleTreeWitness
• batch: BlockArgumentsBatch
• deferSTProof: Bool
• deferTransactionProof: Bool
• stateTransitionProof: DynamicSTProof
• transactionProof: DynamicTransactionProof
Returns
Promise<BlockProverPublicOutput>
Defined in
packages/protocol/src/prover/block/BlockProvable.ts:387
zkProgrammable
zkProgrammable:
ZkProgrammable<BlockProverPublicInput,BlockProverPublicOutput>
Inherited from
WithZkProgrammable.zkProgrammable
Defined in
packages/common/dist/zkProgrammable/ZkProgrammable.d.ts:58
Methods
compile()
compile(
registry):Promise<void|ArtifactRecord>
Parameters
• registry: CompileRegistry
Returns
Promise<void | ArtifactRecord>
Inherited from
Defined in
packages/common/dist/compiling/CompilableModule.d.ts:4