slop-air 6.2.4

Re-exports p3_air from Plonky3 for SLOP
Documentation

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.