o1vm::pickles

Module lookup_columns

Source

Structs§

AllColumns
ColumnEnv
Eval
LookupChallenges
LookupEvalEnvironment
The collection of polynomials (all in evaluation form) and constants required to evaluate an expression as a polynomial. All are evaluations.
LookupProofInput
Proof

Enums§

LookupChallengeTerm
LookupColumns

Type Aliases§

ELookup