Module o1vm::legacy::folding

Modules

• keccak
• mips

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