pub trait EvaluationDomainFactory<DomainField: Field>: Clone + Sync {
// Required method
fn create(
&self,
size: usize,
) -> Result<EvaluationDomain<DomainField>, Error>;
}Expand description
Wraps type information to enable instantiating EvaluationDomains.
Required Methods§
Sourcefn create(&self, size: usize) -> Result<EvaluationDomain<DomainField>, Error>
fn create(&self, size: usize) -> Result<EvaluationDomain<DomainField>, Error>
Instantiates an EvaluationDomain of size points from $K \mathbin{/} \mathbb{F}_2 \cup \infty$
where $K$ is a finite extension of degree $d$.
For size >= 3, the first size - 1 domain points are a “lexicographic prefix” of the binary
subspace defined by the $\mathbb{F}_2$-basis $\beta_0,\ldots ,\beta_{d-1}$. The additional assumption
$\beta_0 = 1$ means that first two points of the basis are always 0 and 1 of the field $K$.
The last point of the domain is Karatsuba “infinity” (denoted $\infty$), which is the coefficient of the
highest power in the interpolated polynomial (see the “Evaluation” section of the Wikipedia article
on Toom-Cook multiplication for
an introduction).
“Infinity” point is not included when size <= 2.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.