@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / StateTransitionProver

Class: StateTransitionProver

Used by various module sub-types that may need to be configured

Extends

• ProtocolModule

Implements

• StateTransitionProvable
• CompilableModule

Constructors

new StateTransitionProver()

new StateTransitionProver(): StateTransitionProver

Returns

StateTransitionProver

Overrides

ProtocolModule.constructor

Defined in

packages/protocol/src/prover/statetransition/StateTransitionProver.ts:444

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

zkProgrammable

zkProgrammable: StateTransitionProverProgrammable

Implementation of

StateTransitionProvable.zkProgrammable

Defined in

packages/protocol/src/prover/statetransition/StateTransitionProver.ts:442

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<void | ArtifactRecord>

Parameters

• registry: CompileRegistry

Returns

Promise<void | ArtifactRecord>

Implementation of

CompilableModule.compile

Defined in

packages/protocol/src/prover/statetransition/StateTransitionProver.ts:449

create()

create(childContainerProvider): void

Parameters

• childContainerProvider: ChildContainerProvider

Returns

void

Inherited from

ProtocolModule.create

Defined in

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

merge()

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

Parameters

• publicInput: StateTransitionProverPublicInput

• proof1: StateTransitionProof

• proof2: StateTransitionProof

Returns

Promise<StateTransitionProverPublicOutput>

Implementation of

StateTransitionProvable.merge

Defined in

packages/protocol/src/prover/statetransition/StateTransitionProver.ts:471

proveBatch()

proveBatch(publicInput, batch, witnesses, startingAppliedBatch): Promise<StateTransitionProverPublicOutput>

Parameters

• publicInput: StateTransitionProverPublicInput

• batch: StateTransitionProvableBatch

• witnesses: MerkleWitnessBatch

• startingAppliedBatch: AppliedStateTransitionBatchState

Returns

Promise<StateTransitionProverPublicOutput>

Implementation of

StateTransitionProvable.proveBatch

Defined in

packages/protocol/src/prover/statetransition/StateTransitionProver.ts:457

start()

start(): Promise<void>

Returns

Promise<void>

Inherited from

ProtocolModule.start

Defined in

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