miden-protocol 0.16.0-alpha.4

Core components of the Miden protocol
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

#![no_std]

#[macro_use]
extern crate alloc;

#[cfg(feature = "std")]
extern crate std;

pub mod account;
pub mod address;
pub mod asset;
pub mod batch;
pub mod block;
pub mod errors;
pub mod note;
pub mod package;
mod protocol;
pub mod transaction;

#[cfg(any(feature = "testing", test))]
pub mod testing;

mod constants;

// RE-EXPORTS
// ================================================================================================

pub use constants::*;
pub use miden_core::mast::{MastForest, MastNodeId};
pub use miden_core::prettier::PrettyPrint;
pub use miden_core::{EMPTY_WORD, Felt, ONE, WORD_SIZE, ZERO, field};
pub use miden_core_lib::CoreLibrary;
pub use miden_crypto::hash::poseidon2::Poseidon2 as Hasher;
pub use miden_crypto::word;
pub use miden_crypto::word::{Word, WordError};
pub use protocol::ProtocolLib;

pub mod assembly {
    pub use miden_assembly::ast::{Module, ModuleKind, ProcedureName, QualifiedProcedureName};
    pub use miden_assembly::debuginfo::SourceManagerSync;
    pub use miden_assembly::{
        Assembler,
        DefaultSourceManager,
        Linkage,
        ModuleParser,
        Path,
        SourceFile,
        SourceId,
        SourceManager,
        SourceSpan,
        debuginfo,
        diagnostics,
        mast,
    };
    pub use miden_assembly_syntax::Parse;
    pub use miden_mast_package::{
        Package as KernelLibrary,
        Package as Library,
        PackageExport as LibraryExport,
        ProcedureExport,
    };
}

pub mod crypto {
    pub use miden_crypto::{SequentialCommit, dsa, hash, ies, merkle, rand, utils};
}

pub mod utils;

pub mod vm {
    pub use miden_assembly_syntax::ast::{AttributeSet, QualifiedProcedureName};
    pub use miden_core::advice::{AdviceInputs, AdviceMap};
    pub use miden_core::events::{EventId, EventName, SystemEvent};
    pub use miden_core::program::{Program, ProgramInfo};
    pub use miden_mast_package::debug_info::{DebugSourceNodeId, PackageDebugInfo};
    pub use miden_mast_package::{
        Package,
        PackageDebugInfoError,
        PackageExport,
        PackageManifest,
        ProcedureExport,
        Section,
        SectionId,
        TargetType,
    };
    pub use miden_processor::trace::RowIndex;
    pub use miden_processor::{FutureMaybeSend, MIN_STACK_DEPTH, StackInputs, StackOutputs};
    pub use miden_verifier::ExecutionProof;
}