Struct kimchi::circuits::constraints::ColumnEvaluations

pub struct ColumnEvaluations<F: PrimeField> {

    pub permutation_coefficients8: [E<F, D<F>>; 7],
    pub coefficients8: [E<F, D<F>>; 15],
    pub generic_selector4: E<F, D<F>>,
    pub poseidon_selector8: E<F, D<F>>,
    pub complete_add_selector4: E<F, D<F>>,
    pub mul_selector8: E<F, D<F>>,
    pub emul_selector8: E<F, D<F>>,
    pub endomul_scalar_selector8: E<F, D<F>>,
    pub range_check0_selector8: Option<E<F, D<F>>>,
    pub range_check1_selector8: Option<E<F, D<F>>>,
    pub foreign_field_add_selector8: Option<E<F, D<F>>>,
    pub foreign_field_mul_selector8: Option<E<F, D<F>>>,
    pub xor_selector8: Option<E<F, D<F>>>,
    pub rot_selector8: Option<E<F, D<F>>>,
}

The polynomials representing columns, in evaluation form. The evaluations are expanded to the domain size required for their constraints.

Fields

permutation_coefficients8: [E<F, D<F>>; 7]

permutation coefficients over domain d8

coefficients8: [E<F, D<F>>; 15]

coefficients over domain d8

generic_selector4: E<F, D<F>>

generic selector over domain d4

poseidon_selector8: E<F, D<F>>

poseidon selector over domain d8

complete_add_selector4: E<F, D<F>>

EC point addition selector over domain d4

mul_selector8: E<F, D<F>>

scalar multiplication selector over domain d8

emul_selector8: E<F, D<F>>

endoscalar multiplication selector over domain d8

endomul_scalar_selector8: E<F, D<F>>

EC point addition selector over domain d8

range_check0_selector8: Option<E<F, D<F>>>

RangeCheck0 gate selector over domain d8

range_check1_selector8: Option<E<F, D<F>>>

RangeCheck1 gate selector over domain d8

foreign_field_add_selector8: Option<E<F, D<F>>>

Foreign field addition gate selector over domain d8

foreign_field_mul_selector8: Option<E<F, D<F>>>

Foreign field multiplication gate selector over domain d8

xor_selector8: Option<E<F, D<F>>>

Xor gate selector over domain d8

rot_selector8: Option<E<F, D<F>>>

Rot gate selector over domain d8

Trait Implementations

impl<F: Clone + PrimeField> Clone for ColumnEvaluations<F>

fn clone(&self) -> ColumnEvaluations<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + PrimeField> Debug for ColumnEvaluations<F>

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

Formats the value using the given formatter.

impl<'de, F> Deserialize<'de> for ColumnEvaluations<F>where F: Default + PrimeField,

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

Deserialize this value from the given Serde deserializer.

impl<F: PrimeField> Serialize for ColumnEvaluations<F>

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

Serialize this value into the given Serde serializer.