Module lookup

This module implement the lookup argument. See https://eprint.iacr.org/2020/315.pdf

Modules

constraints

index

lookups

runtime_tables

Runtime tables are tables (or arrays) that can be produced during proof creation. The setup has to prepare for their presence using RuntimeTableCfg. At proving time, the prover can use RuntimeTable to specify the actual tables.

tables