Module o1vm::folding

Integration with folding. Contains common trait implementations to be used by each circuit.

Structs

• ChallengeIter
  An iterator over the variants of Challenge
• DecomposedFoldingEnvironment
  Environment for the decomposable folding protocol, for a given number of witness columns and selectors.
• FoldingEnvironment
• FoldingInstance
  Folding instance containing the commitment to a witness of N columns, challenges for the proof, and the alphas
• FoldingWitness
  Includes the data witness columns and also the dynamic selector columns

Enums

• Challenge