Crate miden_tx 

Modules

auth

utils

Structs

AccountProcedureIndexMap

A map of maps { acct_code_commitment |-> { proc_root |-> proc_index } } for all known procedures of account interfaces for all accounts expected to be invoked during transaction execution.

ExecutionOptions

A set of parameters specifying execution parameters of the VM.

FailedNote

Represents a failed note consumption.

LinkMap

A map based on a sorted linked list.

LocalTransactionProver

Local Transaction prover is a stateless component which is responsible for proving transactions.

NoteConsumptionChecker

This struct performs input notes check against provided target account.

NoteConsumptionInfo

Contains information about the successful and failed consumption of notes.

ProvingOptions

A set of parameters specifying how Miden VM execution proofs are to be generated.

ScriptMastForestStore

Stores the MAST forests for a set of scripts (both note scripts and transaction scripts).

TransactionExecutor

The transaction executor is responsible for executing Miden blockchain transactions.

TransactionExecutorHost

The transaction executor host is responsible for handling FutureMaybeSend requests made by the transaction kernel during execution. In particular, it responds to signature generation requests by forwarding the request to the contained TransactionAuthenticator.

TransactionMastStore

A store for the code available during transaction execution.

TransactionProverHost

The transaction prover host is responsible for handling SyncHost requests made by the transaction kernel during proving.

TransactionVerifier

The TransactionVerifier is used to verify ProvenTransactions.

Enums

AuthenticationError

DataStoreError

MemoryViewer

A abstraction over ways to view a process’ memory.

NoteCheckerError

TransactionExecutorError

TransactionKernelError

TransactionProverError

TransactionVerifierError

Constants

MAX_NUM_CHECKER_NOTES

Maximum number of notes that can be checked at once.

Traits

DataStore

The DataStore trait defines the interface that transaction objects use to fetch data required for transaction execution.

MastForestStore

A set of MastForests available to the prover that programs may refer to (by means of an miden_core::mast::ExternalNode).