Struct o1vm::legacy::folding::DecomposedFoldingEnvironment

pub struct DecomposedFoldingEnvironment<const N: usize, const N_REL: usize, const N_DSEL: usize, C: FoldingConfig, Structure> {
    pub structure: Structure,
    pub instances: [FoldingInstance<N, C::Curve>; 2],
    pub curr_witnesses: [FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2],
    pub next_witnesses: [FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2],
}

Environment for the decomposable folding protocol, for a given number of witness columns and selectors.

Fields

structure: Structure

instances: [FoldingInstance<N, C::Curve>; 2]

Commitments to the witness columns, for both sides

curr_witnesses: [FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2]

Corresponds to the omega evaluations, for both sides

next_witnesses: [FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2]

Corresponds to the zeta*omega evaluations, for both sides This is curr_witness but left shifted by 1

Trait Implementations

impl<const N: usize, const N_REL: usize, const N_SEL: usize, C: FoldingConfig, Structure: Clone> FoldingEnv<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, FoldingInstance<N, <C as FoldingConfig>::Curve>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>, <C as FoldingConfig>::Column, Challenge, <C as FoldingConfig>::Selector> for DecomposedFoldingEnvironment<N, N_REL, N_SEL, C, Structure>where FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>: Index<C::Column, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>>>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>: Index<C::Selector, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>>>,

type Structure = Structure

Structure which could be storing useful information like selectors, etc.

fn new( structure: &Self::Structure, instances: [&FoldingInstance<N, C::Curve>; 2], witnesses: [&FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField>; 2] ) -> Self

Creates a new environment storing the structure, instances and witnesses.

fn col( &self, col: C::Column, curr_or_next: CurrOrNext, side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

Returns the evaluations of a given column witness at omega or zeta*omega.

fn challenge( &self, challenge: Challenge, side: Side ) -> <<C as FoldingConfig>::Curve as AffineRepr>::ScalarField

Obtains a given challenge from the expanded instance for one side. The challenges are stored inside the instances structs.

fn selector( &self, s: &C::Selector, side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineRepr>::ScalarField]

similar to [Self::col], but folding may ask for a dynamic selector directly instead of just column that happens to be a selector