Re-exports§
pub use host::TransactionHost;pub use host::TransactionProgress;
Modules§
Structs§
- Local
Transaction Prover - Local Transaction prover is a stateless component which is responsible for proving transactions.
- Note
Consumption Checker - This struct performs input notes check against provided target account.
- Proving
Options - A set of parameters specifying how Miden VM execution proofs are to be generated.
- Transaction
Executor - The transaction executor is responsible for executing Miden rollup transactions.
- Transaction
Inputs - Contains the data required to execute a transaction.
- Transaction
Mast Store - A store for the code available during transaction execution.
- Transaction
Verifier - The TransactionVerifier is used to verify ProvenTransactions.
Enums§
- Authentication
Error - Data
Store Error - Note
Account Execution - Describes whether a transaction with a specified set of notes could be executed against target account.
- Note
Inputs Check - Helper enum for getting a result of the well known note inputs check.
- Transaction
Executor Error - Transaction
Prover Error - Transaction
Verifier Error
Traits§
- Data
Store - The DataStore trait defines the interface that transaction objects use to fetch data required for transaction execution.
- Mast
Forest Store - A set of
MastForests available to the prover that programs may refer to (by means of anvm_core::mast::ExternalNode). - Transaction
Prover - The TransactionProver trait defines the interface that transaction witness objects use to prove transactions and generate a ProvenTransaction.