Expand description
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§
Structs§
- Runtime
Table - A runtime table. Runtime tables must match the configuration
that was specified in
RuntimeTableCfg. - Runtime
Table Cfg - Use this type at setup time, to list all the runtime tables.
- Runtime
Table Spec - The specification of a runtime table.
Functions§
- constraints
- Returns the constraints related to the runtime tables.