Module standard_config 

This module offers a standard implementation of FoldingConfig supporting many use cases

Structs

EmptyStructure

Default type for when you don’t need structure

Env

A generic Index based environment

StandardConfig

A standard folding config that supports: G: any curve Col: any column implementing FoldingColumnTrait Chall: any challenge Sel: any dynamic selector Str: structures that can be indexed by Col, thus implementing Index<Col> I: instances (implementing Instance) that can be indexed by Chall W: witnesses (implementing Witness) that can be indexed by Col and Sel