@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / TransactionProver

Class: TransactionProver

BlockProver class, which aggregates a AppChainProof and a StateTransitionProof into a single BlockProof, that can then be merged to be committed to the base-layer contract

Extends

• ProtocolModule

Implements

• TransactionProvable
• CompilableModule

Constructors

new TransactionProver()

new TransactionProver(runtime, transactionHooks, stateServiceProvider, verificationKeyService): TransactionProver

Parameters

• runtime: WithZkProgrammable<undefined, MethodPublicOutput> & CompilableModule

• transactionHooks: ProvableTransactionHook<unknown>[]

• stateServiceProvider: StateServiceProvider

• verificationKeyService: RuntimeVerificationKeyRootService

Returns

TransactionProver

Overrides

ProtocolModule.constructor

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:503

Properties

currentConfig

protected currentConfig: undefined | NoConfig

Store the config separately, so that we can apply additional checks when retrieving it via the getter

Inherited from

ProtocolModule.currentConfig

Defined in

packages/common/dist/config/ConfigurableModule.d.ts:17

parent?

optional parent: ProtocolEnvironment

Inherited from

ProtocolModule.parent

Defined in

packages/protocol/src/protocol/ProtocolModule.ts:14

runtime

readonly runtime: WithZkProgrammable<undefined, MethodPublicOutput> & CompilableModule

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:505

zkProgrammable

zkProgrammable: TransactionProverZkProgrammable

Implementation of

TransactionProvable.zkProgrammable

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:501

Accessors

areProofsEnabled

Get Signature

get areProofsEnabled(): undefined | AreProofsEnabled

Returns

undefined | AreProofsEnabled

Inherited from

ProtocolModule.areProofsEnabled

Defined in

packages/protocol/src/protocol/ProtocolModule.ts:16

config

Get Signature

get config(): Config

Returns

Config

Set Signature

set config(config): void

Parameters

• config: Config

Returns

void

Inherited from

ProtocolModule.config

Defined in

packages/common/dist/config/ConfigurableModule.d.ts:18

Methods

compile()

compile(registry): Promise<undefined | Record<string, CompileArtifact>>

Parameters

• registry: CompileRegistry

Returns

Promise<undefined | Record<string, CompileArtifact>>

Implementation of

CompilableModule.compile

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:523

create()

create(childContainerProvider): void

Parameters

• childContainerProvider: ChildContainerProvider

Returns

void

Inherited from

ProtocolModule.create

Defined in

packages/protocol/src/protocol/ProtocolModule.ts:20

dummy()

dummy(publicInput): Promise<TransactionProverPublicOutput>

Parameters

• publicInput: TransactionProverPublicInput

Returns

Promise<TransactionProverPublicOutput>

Implementation of

TransactionProvable.dummy

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:562

merge()

merge(publicInput, proof1, proof2): Promise<TransactionProverPublicOutput>

Parameters

• publicInput: TransactionProverPublicInput

• proof1: TransactionProof

• proof2: TransactionProof

Returns

Promise<TransactionProverPublicOutput>

Implementation of

TransactionProvable.merge

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:566

proveTransaction()

proveTransaction(publicInput, runtimeProof, executionData): Promise<TransactionProverPublicOutput>

Parameters

• publicInput: TransactionProverPublicInput

• runtimeProof: DynamicRuntimeProof

• executionData: TransactionProverExecutionData

Returns

Promise<TransactionProverPublicOutput>

Implementation of

TransactionProvable.proveTransaction

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:534

proveTransactions()

proveTransactions(publicInput, runtimeProof1, runtimeProof2, executionData1, executionData2): Promise<TransactionProverPublicOutput>

Parameters

• publicInput: TransactionProverPublicInput

• runtimeProof1: DynamicRuntimeProof

• runtimeProof2: DynamicRuntimeProof

• executionData1: TransactionProverExecutionData

• executionData2: TransactionProverExecutionData

Returns

Promise<TransactionProverPublicOutput>

Implementation of

TransactionProvable.proveTransactions

Defined in

packages/protocol/src/prover/transaction/TransactionProver.ts:546

start()

start(): Promise<void>

Returns

Promise<void>

Inherited from

ProtocolModule.start

Defined in

packages/protocol/src/protocol/ProtocolModule.ts:24