@proto-kit/protocol • Docs

Documentation / @proto-kit/protocol / TransactionProvable

Interface: TransactionProvable

Extends

• WithZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput>.CompilableModule

Extended by

• TransactionProverType

Properties

dummy()

dummy: (publicInput) => Promise<TransactionProverPublicOutput>

Parameters

• publicInput: TransactionProverPublicInput

Returns

Promise<TransactionProverPublicOutput>

Defined in

packages/protocol/src/prover/transaction/TransactionProvable.ts:164

merge()

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

Parameters

• publicInput: TransactionProverPublicInput

• proof1: TransactionProof

• proof2: TransactionProof

Returns

Promise<TransactionProverPublicOutput>

Defined in

packages/protocol/src/prover/transaction/TransactionProvable.ts:168

proveTransaction()

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

Parameters

• publicInput: TransactionProverPublicInput

• runtimeProof: DynamicRuntimeProof

• executionData: TransactionProverExecutionData

Returns

Promise<TransactionProverPublicOutput>

Defined in

packages/protocol/src/prover/transaction/TransactionProvable.ts:150

proveTransactions()

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

Parameters

• publicInput: TransactionProverPublicInput

• runtimeProof1: DynamicRuntimeProof

• runtimeProof2: DynamicRuntimeProof

• executionData1: TransactionProverExecutionData

• executionData2: TransactionProverExecutionData

Returns

Promise<TransactionProverPublicOutput>

Defined in

packages/protocol/src/prover/transaction/TransactionProvable.ts:156

zkProgrammable

zkProgrammable: ZkProgrammable<TransactionProverPublicInput, TransactionProverPublicOutput>

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