Module domain_constant_evaluation 

This contains the DomainConstantEvaluations which is used to provide precomputations to a ConstraintSystem.

Structs

DomainConstantEvaluations

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

Functions

domain_points 🔒

The points of domain (g^0, g^1, …), computed in parallel. Each chunk seeds its first power with a single exponentiation and then walks a running product, so the work is O(n) multiplications spread across the cores with only one pow per chunk of overhead. For domains smaller than the chunk size this is a single sequential chunk, so the parallelism never dominates.

eval_from_roots_over_d8 🔒

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.