miden_vm/
lib.rs

1#![cfg_attr(not(feature = "std"), no_std)]
2#![doc = include_str!("../README.md")]
3
4extern crate alloc;
5
6// EXPORTS
7// ================================================================================================
8
9pub use miden_assembly::{
10    self as assembly, Assembler,
11    ast::{Module, ModuleKind},
12    diagnostics,
13};
14pub use miden_core::{
15    deferred::{IntegrityError, PrecompileWitnessEntry},
16    program::ExecutionClaim,
17    proof::{
18        ExecutionProof, ExecutionProofCompatibility, ExecutionProofCompatibilityError,
19        ExecutionProofError, HashFunction, PrecompileProof, PrecompileStatus, StarkProof, VmProof,
20    },
21};
22pub use miden_core_lib::conjectured_security_estimator_root;
23pub use miden_processor::{
24    BaseHost, DefaultHost, ExecutionError, ExecutionOptions, ExecutionOutput, ExecutionWitness,
25    FastProcessor, FutureMaybeSend, Host, KernelDescriptor, PrecompileWitness, Program,
26    ProgramExecutor, ProgramInfo, StackInputs, SyncHost, VmWitness, ZERO, advice, crypto, field,
27    operation::Operation, serde, trace, trace::VmTrace, utils,
28};
29pub use miden_prover::{InputError, Prover, ProverError, StackOutputs, Word, prove_sync};
30pub use miden_verifier::{
31    AirShape, InstanceShape, LookupShape, ProofSecurityParameters, ProtocolParams, SecurityReport,
32    SecurityTerm, VerificationError, VerificationOutcome, Verifier,
33};
34
35// (private) exports
36// ================================================================================================
37
38#[cfg(feature = "internal")]
39pub mod internal;
miden_vm/lib.rs

miden_vm/
lib.rs
