Provides AIR (Algebraic Intermediate Representation) components for the Winterfell STARK prover/verifier.