winter-air (cargo): AIR components for the Winterfell STARK prover/verifier
Keywords: crypto|air|arithmetization