p3-air 0.5.3

Defines the Algebraic Intermediate Representation (AIR) interface and supporting utilities for STARK provers.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
//! APIs for AIRs, and generalizations like PAIRs.

#![no_std]

extern crate alloc;

mod air;
mod check_constraints;
pub mod symbolic;
pub mod utils;
mod virtual_column;

pub use air::*;
pub use check_constraints::*;
pub use symbolic::*;
pub use virtual_column::*;