openvm_circuit/arch/
mod.rs

1mod config;
2/// Instruction execution traits and types.
3/// Execution bus and interface.
4pub mod execution;
5/// Execution context types for different execution modes.
6pub mod execution_mode;
7mod extensions;
8/// Traits and wrappers to facilitate VM chip integration
9mod integration_api;
10/// [RecordArena] trait definitions and implementations. Currently there are two concrete
11/// implementations: [MatrixRecordArena] and [DenseRecordArena].
12mod record_arena;
13/// VM state definitions
14mod state;
15/// Top level [VmExecutor] and [VirtualMachine] constructor and API.
16pub mod vm;
17
18pub mod hasher;
19/// Interpreter for pure and metered VM execution
20pub mod interpreter;
21/// Interpreter for preflight VM execution, for trace generation purposes.
22pub mod interpreter_preflight;
23/// Testing framework
24#[cfg(any(test, feature = "test-utils"))]
25pub mod testing;
26
27pub use config::*;
28pub use execution::*;
29pub use execution_mode::{ExecutionCtxTrait, MeteredExecutionCtxTrait};
30pub use extensions::*;
31pub use integration_api::*;
32pub use interpreter::InterpretedInstance;
33pub use openvm_circuit_derive::create_tco_handler;
34pub use openvm_instructions as instructions;
35pub use record_arena::*;
36pub use state::*;
37pub use vm::*;
openvm_circuit/arch/mod.rs

openvm_circuit/arch/
mod.rs
