Halo2FFTFriendlyField

Trait Halo2FFTFriendlyField 

Source
pub trait Halo2FFTFriendlyField: Field + WithSmallOrderMulGroup<3> { }
Expand description

A field which is FFT-friendly under Halo2’s EvaluationDomain-based algorithm. [WithSmallOrderMulGroup] – see associated trait documentation for more details. Our use-case is specifically for Halo2’s FFT implementation, which uses Halo2’s EvaluationDomain to compute extended evaluations of a power-of-two degree polynomial.

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.

Implementors§

Source§

impl<F: Field + WithSmallOrderMulGroup<3>> Halo2FFTFriendlyField for F