Struct o1vm::pickles::column_env::ColumnEnvironment

pub struct ColumnEnvironment<'a, F: FftField> {
    pub witness: &'a WitnessColumns<Evaluations<F, Radix2EvaluationDomain<F>>, [Evaluations<F, Radix2EvaluationDomain<F>>; 71]>,
    pub l0_1: F,
    pub constants: Constants<F>,
    pub challenges: BerkeleyChallenges<F>,
    pub domain: EvaluationDomains<F>,
}

The collection of polynomials (all in evaluation form) and constants required to evaluate an expression as a polynomial.

All are evaluations.

Fields

witness: &'a WitnessColumns<Evaluations<F, Radix2EvaluationDomain<F>>, [Evaluations<F, Radix2EvaluationDomain<F>>; 71]>

The witness column polynomials. Includes relation columns and dynamic selector columns.

l0_1: F

The value prod_{j != 1} (1 - ω^j), used for efficiently computing the evaluations of the unnormalized Lagrange basis polynomials.

constants: Constants<F>

Constant values required

challenges: BerkeleyChallenges<F>

Challenges from the IOP.

domain: EvaluationDomains<F>

The domains used in the PLONK argument.

Trait Implementations

impl<'a, F: FftField> ColumnEnvironment<'a, F, BerkeleyChallengeTerm, BerkeleyChallenges<F>> for ColumnEnvironment<'a, F>

type Column = Column

The generic type of column the environment can use. In other words, with the multi-variate polynomial analogy, it is the variables the multi-variate polynomials are defined upon. i.e. for a polynomial P(X, Y, Z), the type will represent the variable X, Y and Z.

fn get_column( &self, col: &Self::Column ) -> Option<&'a Evaluations<F, Radix2EvaluationDomain<F>>>

Return the evaluation of the given column, over the domain.

fn get_domain(&self, d: Domain) -> Radix2EvaluationDomain<F>

fn column_domain(&self, _col: &Self::Column) -> Domain

Defines the domain over which the column is evaluated

fn get_constants(&self) -> &Constants<F>

Return the constants parameters that the expression might use. For instance, it can be the matrix used by the linear layer in the permutation.

fn get_challenges(&self) -> &BerkeleyChallenges<F>

Return the challenges, coined by the verifier.

fn vanishes_on_zero_knowledge_and_previous_rows( &self ) -> &'a Evaluations<F, Radix2EvaluationDomain<F>>

fn l0_1(&self) -> F

Return the value prod_{j != 1} (1 - omega^j), used for efficiently computing the evaluations of the unnormalized Lagrange basis polynomials.