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

Modules

• caml

Structs

• RuntimeTable
  A runtime table. Runtime tables must match the configuration that was specified in RuntimeTableCfg.
• RuntimeTableCfg
  Use this type at setup time, to list all the runtime tables.
• RuntimeTableSpec
  The specification of a runtime table.

Functions

• constraints
  Returns the constraints related to the runtime tables.