miden_tx/
lib.rs

1#![no_std]
2
3#[macro_use]
4extern crate alloc;
5
6#[cfg(feature = "std")]
7extern crate std;
8
9mod executor;
10pub use executor::{
11    DataStore,
12    ExecutionOptions,
13    FailedNote,
14    MAX_NUM_CHECKER_NOTES,
15    MastForestStore,
16    NoteConsumptionChecker,
17    NoteConsumptionInfo,
18    TransactionExecutor,
19    TransactionExecutorHost,
20};
21
22mod host;
23pub use host::{AccountProcedureIndexMap, LinkMap, MemoryViewer, ScriptMastForestStore};
24
25mod prover;
26pub use prover::{
27    LocalTransactionProver,
28    ProvingOptions,
29    TransactionMastStore,
30    TransactionProverHost,
31};
32
33mod verifier;
34pub use verifier::TransactionVerifier;
35
36mod errors;
37pub use errors::{
38    AuthenticationError,
39    DataStoreError,
40    NoteCheckerError,
41    TransactionExecutorError,
42    TransactionKernelError,
43    TransactionProverError,
44    TransactionVerifierError,
45};
46
47pub mod auth;
48
49// RE-EXPORTS
50// ================================================================================================
51pub use miden_protocol::utils;