Struct kimchi::circuits::domain_constant_evaluation::DomainConstantEvaluations

pub struct DomainConstantEvaluations<F: FftField> {
    pub poly_x_d1: E<F, D<F>>,
    pub constant_1_d4: E<F, D<F>>,
    pub constant_1_d8: E<F, D<F>>,
    pub vanishes_on_zero_knowledge_and_previous_rows: E<F, D<F>>,
    pub permutation_vanishing_polynomial_l: E<F, D<F>>,
    pub permutation_vanishing_polynomial_m: DP<F>,
}

pre-computed polynomials that depend only on the chosen field and domain

Fields

poly_x_d1: E<F, D<F>>

1-st Lagrange evaluated over domain.d8

constant_1_d4: E<F, D<F>>

0-th Lagrange evaluated over domain.d4

constant_1_d8: E<F, D<F>>

0-th Lagrange evaluated over domain.d8

vanishes_on_zero_knowledge_and_previous_rows: E<F, D<F>>

the polynomial that vanishes on the zero-knowledge rows and the row before

permutation_vanishing_polynomial_l: E<F, D<F>>

zero-knowledge polynomial over domain.d8

permutation_vanishing_polynomial_m: DP<F>

Implementations

impl<F: FftField> DomainConstantEvaluations<F>

pub fn create(domain: EvaluationDomains<F>, zk_rows: u64) -> Option<Self>

Trait Implementations

impl<F: Clone + FftField> Clone for DomainConstantEvaluations<F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug + FftField> Debug for DomainConstantEvaluations<F>

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

Formats the value using the given formatter.

impl<'de, F: FftField> Deserialize<'de> for DomainConstantEvaluations<F>

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

Deserialize this value from the given Serde deserializer.

impl<F: FftField> Serialize for DomainConstantEvaluations<F>

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

Serialize this value into the given Serde serializer.