Module kimchi::circuits::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