@proto-kit/protocol • Docs
Documentation / @proto-kit/protocol / StateTransitionProverType
Interface: StateTransitionProverType
Used by various module sub-types that may need to be configured
Extends
Properties
currentConfig
protectedcurrentConfig:undefined|NoConfig
Store the config separately, so that we can apply additional checks when retrieving it via the getter
Inherited from
Defined in
packages/common/dist/config/ConfigurableModule.d.ts:17
merge()
merge: (
publicInput,proof1,proof2) =>Promise<StateTransitionProverPublicOutput>
Parameters
• publicInput: StateTransitionProverPublicInput
• proof1: StateTransitionProof
• proof2: StateTransitionProof
Returns
Promise<StateTransitionProverPublicOutput>
Inherited from
Defined in
packages/protocol/src/prover/statetransition/StateTransitionProvable.ts:43
parent?
optionalparent:ProtocolEnvironment
Inherited from
Defined in
packages/protocol/src/protocol/ProtocolModule.ts:14
proveBatch()
proveBatch: (
publicInput,batch,witnesses,currentAppliedBatch) =>Promise<StateTransitionProverPublicOutput>
Parameters
• publicInput: StateTransitionProverPublicInput
• batch: StateTransitionProvableBatch
• witnesses: MerkleWitnessBatch
• currentAppliedBatch: AppliedStateTransitionBatchState
Returns
Promise<StateTransitionProverPublicOutput>
Inherited from
StateTransitionProvable.proveBatch
Defined in
packages/protocol/src/prover/statetransition/StateTransitionProvable.ts:36
zkProgrammable
zkProgrammable:
ZkProgrammable<StateTransitionProverPublicInput,StateTransitionProverPublicOutput>
Inherited from
StateTransitionProvable.zkProgrammable
Defined in
packages/common/dist/zkProgrammable/ZkProgrammable.d.ts:58
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
Defined in
packages/common/dist/config/ConfigurableModule.d.ts:18
Methods
compile()
compile(
registry):Promise<void|ArtifactRecord>
Parameters
• registry: CompileRegistry
Returns
Promise<void | ArtifactRecord>
Inherited from
StateTransitionProvable.compile
Defined in
packages/common/dist/compiling/CompilableModule.d.ts:4
create()
create(
childContainerProvider):void
Parameters
• childContainerProvider: ChildContainerProvider
Returns
void
Inherited from
Defined in
packages/protocol/src/protocol/ProtocolModule.ts:20
start()
start():
Promise<void>
Returns
Promise<void>