Struct kimchi::circuits::expr::Linearization

pub struct Linearization<E, Column> {
    pub constant_term: E,
    pub index_terms: Vec<(Column, E)>,
}

A “linearization”, which is linear combination with E coefficients of columns.

Fields

constant_term: E

index_terms: Vec<(Column, E)>

Implementations

impl<A, Column: Copy> Linearization<A, Column>

pub fn map<B, F: Fn(&A) -> B>(&self, f: F) -> Linearization<B, Column>

Apply a function to all the coefficients in the linearization.

impl<F: FftField, Column: PartialEq + Copy, ChallengeTerm: Copy> Linearization<Expr<ConstantExpr<F, ChallengeTerm>, Column>, Column>

pub fn evaluate_constants<'a, Challenge: Index<ChallengeTerm, Output = F>, Environment: ColumnEnvironment<'a, F, ChallengeTerm, Challenge, Column = Column>>( &self, env: &Environment ) -> Linearization<Expr<F, Column>, Column>

Evaluate the constants in a linearization with ConstantExpr<F> coefficients down to literal field elements.

impl<F: FftField, Column: Copy + Debug, ChallengeTerm: Copy> Linearization<Vec<PolishToken<F, Column, ChallengeTerm>>, Column>

pub fn to_polynomial<'a, Challenge: Index<ChallengeTerm, Output = F>, ColEvaluations: ColumnEvaluations<F, Column = Column>, Environment: ColumnEnvironment<'a, F, ChallengeTerm, Challenge, Column = Column>>( &self, env: &Environment, pt: F, evals: &ColEvaluations ) -> (F, Evaluations<F, D<F>>)

Given a linearization and an environment, compute the polynomial corresponding to the linearization, in evaluation form.

impl<F: FftField, Column: Debug + PartialEq + Copy, ChallengeTerm: Copy> Linearization<Expr<ConstantExpr<F, ChallengeTerm>, Column>, Column>

pub fn to_polynomial<'a, Challenge: Index<ChallengeTerm, Output = F>, ColEvaluations: ColumnEvaluations<F, Column = Column>, Environment: ColumnEnvironment<'a, F, ChallengeTerm, Challenge, Column = Column>>( &self, env: &Environment, pt: F, evals: &ColEvaluations ) -> (F, DensePolynomial<F>)

Given a linearization and an environment, compute the polynomial corresponding to the linearization, in evaluation form.

Trait Implementations

impl<E: Clone, Column: Clone> Clone for Linearization<E, Column>

fn clone(&self) -> Linearization<E, Column>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<E: Debug, Column: Debug> Debug for Linearization<E, Column>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<E: Default, Column> Default for Linearization<E, Column>

fn default() -> Self

Returns the “default value” for a type.

impl<'de, E, Column> Deserialize<'de> for Linearization<E, Column>where E: Deserialize<'de>, Column: Deserialize<'de>,

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E, Column> Serialize for Linearization<E, Column>where E: Serialize, Column: Serialize,

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.