miden_vm/
lib.rs

1#![cfg_attr(not(feature = "std"), no_std)]
2#![doc = include_str!("../README.md")]
3
4// EXPORTS
5// ================================================================================================
6
7pub use miden_assembly::{
8    self as assembly, Assembler,
9    ast::{Module, ModuleKind},
10    diagnostics,
11};
12pub use miden_processor::{
13    AdviceInputs, AdviceProvider, AsmOpInfo, AsyncHost, BaseHost, DefaultHost, ExecutionError,
14    ExecutionTrace, Kernel, Operation, Program, ProgramInfo, StackInputs, SyncHost, VmState,
15    VmStateIterator, ZERO, crypto, execute, execute_iter, utils,
16};
17pub use miden_prover::{
18    ExecutionProof, FieldExtension, HashFunction, InputError, Proof, ProvingOptions, StackOutputs,
19    Word, math, prove,
20};
21pub use miden_verifier::{VerificationError, verify};
22
23// (private) exports
24// ================================================================================================
25
26#[cfg(feature = "internal")]
27pub mod internal;