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

#![cfg_attr(feature = "tco", allow(incomplete_features))]
#![cfg_attr(feature = "tco", feature(explicit_tail_calls))]
#![cfg_attr(feature = "tco", allow(internal_features))]
#![cfg_attr(feature = "tco", feature(core_intrinsics))]

// Ensure features "tco" and "aot" are mutually exclusive
#[cfg(all(feature = "tco", feature = "aot"))]
compile_error!("Features \"tco\" and \"aot\" cannot be enabled at the same time");

// If "aot" feature is enabled but we're not on x86_64, throw a compile error
#[cfg(all(feature = "aot", not(target_arch = "x86_64")))]
compile_error!("Feature \"aot\" is only supported on x86_64 targets");

extern crate self as openvm_circuit;

pub use openvm_circuit_derive as derive;
pub use openvm_circuit_primitives as primitives;
pub use openvm_circuit_primitives_derive as circuit_derive;
#[cfg(all(feature = "test-utils", feature = "cuda"))]
pub use openvm_cuda_backend;
#[cfg(feature = "test-utils")]
pub use openvm_stark_sdk;

/// Traits and constructs for the OpenVM architecture.
pub mod arch;
/// Instrumentation metrics for performance analysis and debugging
#[cfg(feature = "metrics")]
pub mod metrics;
/// System chips that are always required by the architecture.
/// (The [PhantomChip](system::phantom::PhantomChip) is not technically required for a functioning
/// VM, but there is almost always a need for it.)
pub mod system;
/// Utility functions and test utils
pub mod utils;

#[cfg(feature = "cuda")]
pub(crate) mod cuda_abi;