Module folding::standard_config

source ·
Expand description

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