Crate p3_lookup 

Lookup Arguments for STARKs

Modules

debug_util

Debug helpers to inspect lookup witnesses.

folder

logup

Core LogUp Implementation

lookup_traits

Structs

Lookup

A structure that holds the lookup data necessary to generate lookup contexts. It is shared between the prover and the verifier.

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.

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.