Struct Env

pub struct Env<G, Col, Chall, Sel, Str, I, W>
where
    G: CommitmentCurve,
    I: Instance<G> + Index<Chall, Output = G::ScalarField> + Clone,
    W: Witness<G> + Clone + Index<Col, Output = [G::ScalarField]> + Index<Sel, Output = [G::ScalarField]>,
    Col: Hash + Eq,
{ /* private fields */ }

A generic Index based environment

Trait Implementations

impl<G, Col, Chall, Sel, Str, I, W> FoldingEnv<<G as AffineRepr>::ScalarField, I, W, Col, Chall, Sel> for Env<G, Col, Chall, Sel, Str, I, W>

where G: CommitmentCurve, I: Instance<G> + Index<Chall, Output = G::ScalarField> + Clone, W: Witness<G> + Clone + Index<Col, Output = [G::ScalarField]> + Index<Sel, Output = [G::ScalarField]>, Col: FoldingColumnTrait + Eq + Hash, Sel: Copy, Str: Clone + Index<Col, Output = [G::ScalarField]>,

type Structure = Str

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

fn new( structure: &Self::Structure, instances: [&I; 2], witnesses: [&W; 2], ) -> Self

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

fn challenge(&self, challenge: Chall, side: Side) -> G::ScalarField

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

fn col( &self, col: Col, curr_or_next: CurrOrNext, side: Side, ) -> &[G::ScalarField]

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

fn selector(&self, s: &Sel, side: Side) -> &[G::ScalarField]

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