Crate lib_q_plonky_lookup 

Lookup Arguments for STARKs

Security Considerations

Post-Quantum Security

Lookup protocols compose with STARK; no classical-only assumptions.

Constant-Time

Use constant-time operations for any secret values in lookup expressions.

Memory and Zeroization

Zeroize permutation columns and witness data when they are sensitive.

Input Validation

Callers must ensure lookup column indices and expressions are well-formed.

Side-Channel Resistance

LogUp is information-theoretic; no cryptographic assumptions beyond the field.

Threat Model

Assumes quantum adversaries; security relies on field size and soundness of the AIR.

Modules

debug_util

Debug helpers to inspect lookup witnesses.

logup

Core LogUp Implementation

lookup_traits

Lookup gadget trait and trace builder for lookup argument generation.

Structs

Lookup

A structure that holds the lookup data necessary to generate lookup contexts.

LookupData

Data required for global lookup arguments in a multi-STARK proof.

Enums

Direction

Indicates the direction of data flow in a global lookup.

Kind

Specifies whether a lookup is local to an AIR or part of a global interaction.

LookupError

Defines errors that can occur during lookup verification or evaluation.

Traits

AirWithLookups

Extension of Air that adds lookup constraint evaluation.

LookupAir

Extension trait for AIRs that use lookups.

LookupEvaluator

Trait for evaluating lookup constraints.

Type Aliases

LookupInput

A type alias for a lookup input tuple.