1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

#![cfg_attr(not(feature = "std"), no_std)]
#![doc = include_str!("../README.md")]

// EXPORTS
// ================================================================================================

pub use assembly::{
    self,
    ast::{Module, ModuleKind},
    diagnostics, Assembler, AssemblyError,
};
pub use processor::{
    crypto, execute, execute_iter, utils, AdviceInputs, AdviceProvider, AsmOpInfo, DefaultHost,
    ExecutionError, ExecutionTrace, Host, Kernel, MemAdviceProvider, Operation, Program,
    ProgramInfo, StackInputs, VmState, VmStateIterator, ZERO,
};
pub use prover::{
    math, prove, Digest, ExecutionProof, FieldExtension, HashFunction, InputError, Proof,
    ProvingOptions, StackOutputs, Word,
};
pub use verifier::{verify, VerificationError};