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