p3-air 0.4.2

Defines the Algebraic Intermediate Representation (AIR) interface and supporting utilities for STARK provers.
Documentation

APIs for AIRs, and generalizations like PAIRs.