Skip to main content

eval_from_roots_over_d8

kimchi::circuits::domain_constant_evaluation

Function eval_from_roots_over_d8 

Source 
fn eval_from_roots_over_d8<F: FftField>(
    x_d8: &[F],
    roots: &[F],
    d8: Radix2EvaluationDomain<F>,
) -> Evaluations<F, Radix2EvaluationDomain<F>>
Expand description

Evaluate the polynomial Π (x - root) (given by its roots) at every point of d8, where x_d8 holds the d8 domain points. For the low-degree vanishing polynomials this is far cheaper than padding to 8n coefficients and running an FFT, and it parallelises trivially over the points.