p3-air 0.3.3-succinct

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

extern crate alloc;

mod air;
mod virtual_column;

pub use air::*;
pub use virtual_column::*;