@proto-kit/protocol • Docs
Documentation / @proto-kit/protocol / StateTransitionProvable
Interface: StateTransitionProvable
Extends
WithZkProgrammable<StateTransitionProverPublicInput,StateTransitionProverPublicOutput>.CompilableModule
Extended by
Properties
merge()
merge: (
publicInput,proof1,proof2) =>Promise<StateTransitionProverPublicOutput>
Parameters
• publicInput: StateTransitionProverPublicInput
• proof1: StateTransitionProof
• proof2: StateTransitionProof
Returns
Promise<StateTransitionProverPublicOutput>
Defined in
packages/protocol/src/prover/statetransition/StateTransitionProvable.ts:43
proveBatch()
proveBatch: (
publicInput,batch,witnesses,currentAppliedBatch) =>Promise<StateTransitionProverPublicOutput>
Parameters
• publicInput: StateTransitionProverPublicInput
• batch: StateTransitionProvableBatch
• witnesses: MerkleWitnessBatch
• currentAppliedBatch: AppliedStateTransitionBatchState
Returns
Promise<StateTransitionProverPublicOutput>
Defined in
packages/protocol/src/prover/statetransition/StateTransitionProvable.ts:36
zkProgrammable
zkProgrammable:
ZkProgrammable<StateTransitionProverPublicInput,StateTransitionProverPublicOutput>
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