Expand description
This module contains description of the additional columns used by our folding scheme implementation. The columns are the base layer of the folding scheme as they describe the basic expressiveness of the system.
Enums
- Describes the additional columns. It is parametrized by a configuration for the folding scheme, described in the trait FoldingConfig. For instance, the configuration describes the initial columns of the circuit, the challenges and the underlying field.