cairo-air 1.2.2

AIR (Algebraic Intermediate Representation) definitions for Cairo programs
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
pub use serde::{Deserialize, Serialize};
pub use stwo::core::channel::Channel;
pub use stwo::core::fields::m31::M31;
pub use stwo::core::fields::qm31::{SecureField, SECURE_EXTENSION_DEGREE};
pub use stwo::core::pcs::TreeVec;
pub use stwo_cairo_common::preprocessed_columns::preprocessed_trace::{PreProcessedColumn, Seq};
pub use stwo_cairo_serialize::{CairoDeserialize, CairoSerialize};
pub use stwo_constraint_framework::preprocessed_columns::PreProcessedColumnId;
pub use stwo_constraint_framework::{EvalAtRow, FrameworkComponent, FrameworkEval, RelationEntry};

pub use crate::relations;
pub use crate::verifier::RelationUse;