Expand description
A minimal univariate STARK framework.
Structs§
- An
AirBuilderwhich asserts that each constraint is zero, allowing any failed constraints to be detected early. - An
AirBuilderfor evaluating constraints symbolically, and recording them for later use. - A variable within the evaluation window, i.e. a column in either the local or next row.
- Precomputations of the evaluation of
Z_H(X) = X^n - 1on a cosets KwithH <= K.
Enums§
- An expression over
SymbolicVariables.