Struct o1vm::folding::FoldingEnvironment

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

Fields

structure: Structure

Structure of the folded circuit

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

Commitments to the witness columns, for both sides

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

Corresponds to the evaluations at ω, for both sides

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

Corresponds to the evaluations at ζω, for both sides This is curr_witness but left shifted by 1

Trait Implementations

impl<const N: usize, C: FoldingConfig, Structure: Clone> FoldingEnv<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField, FoldingInstance<N, <C as FoldingConfig>::Curve>, FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineCurve>::ScalarField>, <C as FoldingConfig>::Column, Challenge, ()> for FoldingEnvironment<N, C, Structure>where FoldingWitness<N, <<C as FoldingConfig>::Curve as AffineCurve>::ScalarField>: Index<C::Column, Output = Evaluations<<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField, Radix2EvaluationDomain<<<C as FoldingConfig>::Curve as AffineCurve>::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 AffineCurve>::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 AffineCurve>::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 AffineCurve>::ScalarField

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

fn selector( &self, _s: &(), _side: Side ) -> &[<<C as FoldingConfig>::Curve as AffineCurve>::ScalarField]

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