Struct kimchi::circuits::berkeley_columns::BerkeleyChallenges

pub struct BerkeleyChallenges<F> {
    pub alpha: F,
    pub beta: F,
    pub gamma: F,
    pub joint_combiner: F,
}

Fields

alpha: F

The challenge α from the PLONK IOP.

beta: F

The challenge β from the PLONK IOP.

gamma: F

The challenge γ from the PLONK IOP.

joint_combiner: F

The challenge joint_combiner which is used to combine joint lookup tables.

Trait Implementations

impl<'a, F: FftField> ColumnEnvironment<'a, F, BerkeleyChallengeTerm, BerkeleyChallenges<F>> for Environment<'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, D<F>>>

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

fn get_domain(&self, d: Domain) -> D<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, D<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.

impl<F: Field> Index<BerkeleyChallengeTerm> for BerkeleyChallenges<F>

type Output = F

The returned type after indexing.

fn index(&self, challenge_term: BerkeleyChallengeTerm) -> &Self::Output

Performs the indexing (container[index]) operation.