miden_protocol/
lib.rs

1#![no_std]
2
3#[macro_use]
4extern crate alloc;
5
6#[cfg(feature = "std")]
7extern crate std;
8
9pub mod account;
10pub mod address;
11pub mod asset;
12pub mod batch;
13pub mod block;
14pub mod errors;
15pub mod note;
16mod protocol;
17pub mod transaction;
18
19#[cfg(any(feature = "testing", test))]
20pub mod testing;
21
22mod constants;
23
24// RE-EXPORTS
25// ================================================================================================
26
27pub use constants::*;
28pub use miden_core::mast::{MastForest, MastNodeId};
29pub use miden_core::prettier::PrettyPrint;
30pub use miden_core::{EMPTY_WORD, Felt, ONE, WORD_SIZE, ZERO, field};
31pub use miden_core_lib::CoreLibrary;
32pub use miden_crypto::hash::poseidon2::Poseidon2 as Hasher;
33pub use miden_crypto::word;
34pub use miden_crypto::word::{Word, WordError};
35pub use protocol::ProtocolLib;
36
37pub mod assembly {
38    pub use miden_assembly::ast::{Module, ModuleKind, ProcedureName, QualifiedProcedureName};
39    pub use miden_assembly::debuginfo::SourceManagerSync;
40    pub use miden_assembly::library::LibraryExport;
41    pub use miden_assembly::{
42        Assembler,
43        DefaultSourceManager,
44        KernelLibrary,
45        Library,
46        Parse,
47        ParseOptions,
48        Path,
49        SourceFile,
50        SourceId,
51        SourceManager,
52        SourceSpan,
53        debuginfo,
54        diagnostics,
55        mast,
56    };
57}
58
59pub mod crypto {
60    pub use miden_crypto::{SequentialCommit, dsa, hash, ies, merkle, rand, utils};
61}
62
63pub mod utils;
64
65pub mod vm {
66    pub use miden_assembly_syntax::ast::{AttributeSet, QualifiedProcedureName};
67    pub use miden_core::advice::{AdviceInputs, AdviceMap};
68    pub use miden_core::events::{EventId, EventName, SystemEvent};
69    pub use miden_core::program::{Program, ProgramInfo};
70    pub use miden_mast_package::{
71        Package,
72        PackageExport,
73        PackageManifest,
74        ProcedureExport,
75        Section,
76        SectionId,
77        TargetType,
78    };
79    pub use miden_processor::trace::RowIndex;
80    pub use miden_processor::{FutureMaybeSend, MIN_STACK_DEPTH, StackInputs, StackOutputs};
81    pub use miden_verifier::ExecutionProof;
82}
miden_protocol/lib.rs

miden_protocol/
lib.rs
