slop-air
Re-exports p3_air from Plonky3 for use in the SLOP library.
This crate provides AIR (Algebraic Intermediate Representation) traits for defining arithmetic circuits. AIRs are the foundation for proof systems (including SP1 Hypercube), defining the constraints that valid execution traces must satisfy.
License
This crate re-exports code from Plonky3, which is licensed under MIT/Apache-2.0.
Part of SLOP, the Succinct Library of Polynomials.