openvm-circuit-primitives 2.0.1

Library of plonky3 primitives for general purpose use in other ZK 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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60

//! This crate contains a collection of primitives for use when building circuits.
//! The primitives are separated into two types: standalone
//! [Air](openvm_stark_backend::p3_air::Air)s and [SubAir]s.
//!
//! The following modules contain standalone [Air](openvm_stark_backend::p3_air::Air)s:
//! - [range]
//! - [range_gate]
//! - [range_tuple]
//! - [var_range]
//! - [xor]
//!
//! The following modules contain [SubAir]s:
//! - [assert_less_than]
//! - [bigint]
//! - [bitwise_op_lookup]
//! - [encoder]
//! - [is_equal]
//! - [is_equal_array]
//! - [is_less_than]
//! - [is_less_than_array]
//! - [is_zero]

// Allows our own derive macros to refer to `::openvm_circuit_primitives::...`
// when expanded inside this crate.
extern crate self as openvm_circuit_primitives;

/// Derive macros
pub use openvm_circuit_primitives_derive::*;
/// Struct reflection for column names
pub use struct_reflection::{StructReflection, StructReflectionHelper};

mod columns_air;
pub use columns_air::ColumnsAir;

pub mod assert_less_than;
pub mod bigint;
pub mod bitwise_op_lookup;
pub mod encoder;
#[cfg(feature = "cuda")]
pub mod hybrid_chip;
pub mod is_equal;
pub mod is_equal_array;
pub mod is_less_than;
pub mod is_less_than_array;
pub mod is_zero;
pub mod range;
pub mod range_gate;
pub mod range_tuple;
pub mod utils;
pub mod var_range;
pub mod xor;

/// Trait for trace generation from logs
mod chip;
mod sub_air;
pub use chip::*;
pub use sub_air::*;

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