Module structs 

Data structures for the lookup protocol.

Proof types, prover/verifier intermediates, instance types, and error definitions live here. Specification types (LookupTableType, LookupColumnSpec) live in zinc-uair and are re-exported from the parent module.

Structs

BatchedDecompLogupProof

Proof for one lookup group (columns sharing the same table type).

BatchedLookupProof

Top-level proof: one BatchedDecompLogupProof per lookup group (groups formed by batching columns with the same [LookupTableType]). Carries LookupGroupMeta per group so the verifier needs no external specs.

LookupGroup

A group of columns that all look up into the same decomposed table.

LookupGroupMeta

Per-group metadata stored in the proof so the verifier can reconstruct tables and column layout without being passed the original lookup specs.

Enums

LookupError

Errors from the lookup protocol.

LookupWitnessSource

Describes how a lookup witness column was derived from the trace.

Functions

group_lookup_specs

Groups a list of LookupColumnSpecs by their table type.