Crate winter_air
source ·Expand description
This crate contains components need to describe arbitrary computations in a STARK-specific format.
Before we can generate proofs attesting that some computations were executed correctly, we need to describe these computations in a way that can be understood by the Winterfell prover and verifier.
More formally, we need to reduce our computations to algebraic statements involving a set of bounded-degree polynomials. This step is usually called arithmetization. STARK arithmetization reduces computations to an algebraic intermediate representation or AIR for short. For basics of AIR arithmetization please refer to the excellent posts from StarkWare:
Coming up with efficient arithmetizations for computations is highly non-trivial, and describing arithmetizations could be tedious and error-prone. The Air trait aims to help with the latter, which, hopefully, also makes the former a little simpler. For additional details, please refer to the documentation of the Air trait itself.
This crate also contains components describing STARK protocol parameters (ProofOptions) and proof structure (StarkProof).