Crate triton_air

Modules

challenge_id

cross_table_argument

table

table_column

Enums that convert table column names into usize indices. Allows addressing columns by name rather than their hard-to-remember index.

Constants

TARGET_DEGREE

The degree of the AIR after the degree lowering step.

Traits

AIR

The main trait for the tables’ Arithmetic Intermediate Representation.