openvm-circuit 2.0.1

OpenVM circuits
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

mod config;
/// Streams-like deferral state
pub mod deferral;
/// Instruction execution traits and types.
/// Execution bus and interface.
pub mod execution;
/// Execution context types for different execution modes.
pub mod execution_mode;
mod extensions;
/// Traits and wrappers to facilitate VM chip integration
mod integration_api;
/// [RecordArena] trait definitions and implementations. Currently there are two concrete
/// implementations: [MatrixRecordArena] and [DenseRecordArena].
mod record_arena;
/// VM state definitions
mod state;
/// Top level [VmExecutor] and [VirtualMachine] constructor and API.
pub mod vm;

/// AOT execution
#[cfg(feature = "aot")]
pub mod aot;
pub mod hasher;
/// Interpreter for pure and metered VM execution
pub mod interpreter;
/// Interpreter for preflight VM execution, for trace generation purposes.
pub mod interpreter_preflight;
/// Testing framework
#[cfg(any(test, feature = "test-utils"))]
pub mod testing;

#[cfg(feature = "aot")]
pub use aot::AotInstance;
pub use config::*;
pub use execution::*;
pub use execution_mode::{ExecutionCtxTrait, MeteredExecutionCtxTrait};
pub use extensions::*;
pub use integration_api::*;
pub use interpreter::InterpretedInstance;
pub use openvm_circuit_derive::create_handler;
pub use openvm_instructions as instructions;
pub use record_arena::*;
pub use state::*;
pub use vm::*;