p3-air 0.6.1

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
17
18
19
20
21
22
23
24

//! APIs for AIRs, and generalizations like PAIRs.

#![no_std]

extern crate alloc;

mod air;
mod builder;
mod check_constraints;
mod filtered;
mod named;
pub mod symbolic;
pub mod utils;
mod virtual_column;
mod window;

pub use air::*;
pub use builder::*;
pub use check_constraints::*;
pub use filtered::*;
pub use named::*;
pub use symbolic::*;
pub use virtual_column::*;
pub use window::*;