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 assembly::{
8    self, Assembler, AssemblyError,
9    ast::{Module, ModuleKind},
10    diagnostics,
11};
12pub use processor::{
13    AdviceInputs, AdviceProvider, AsmOpInfo, DefaultHost, ExecutionError, ExecutionTrace, Host,
14    Kernel, MemAdviceProvider, Operation, Program, ProgramInfo, StackInputs, VmState,
15    VmStateIterator, ZERO, crypto, execute, execute_iter, utils,
16};
17pub use prover::{
18    Digest, ExecutionProof, FieldExtension, HashFunction, InputError, Proof, ProvingOptions,
19    StackOutputs, Word, math, prove,
20};
21pub use verifier::{VerificationError, verify};
22
23// (private) exports
24// ================================================================================================
25
26#[cfg(feature = "internal")]
27pub mod internal;