@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / BlockProvable

Interface: BlockProvable

Extends

• WithZkProgrammable<BlockProverPublicInput, BlockProverPublicOutput>.CompilableModule

Extended by

• BlockProverType

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

CompilableModule.compile

Defined in

packages/common/dist/compiling/CompilableModule.d.ts:4