Module lookup_types 

Lookup specification types.

Pure data types describing which trace columns need lookup verification and against which table type. These live in zinc-uair because they belong to the AIR’s structural interface — UAIRs declare them as part of [UairSignature] via UairSignature::new(..., lookup_specs), the same way shifts are declared.

Structs

LookupColumnSpec

Specifies that a trace column should be looked up against a prescribed table.

Enums

LookupTableType

Describes the type of lookup table a column should be checked against. Full table size = 2^width for each type; decomposed into chunks of chunk_width