Trait winter_math::ExtensionOf
source · pub trait ExtensionOf<E: FieldElement>: From<E> {
// Required method
fn mul_base(self, other: E) -> Self;
}
Expand description
Specifies that a field is an extension of another field.
Currently, this implies the following:
- An element in the base field can be converted into an element in the extension field.
- An element in the extension field can be multiplied by a base field element directly. This can be used for optimization purposes as such multiplication could be much more efficient than multiplication of two extension field elements.
Required Methods§
Implementors§
impl<B: ExtensibleField<2>> ExtensionOf<B> for QuadExtension<B>
impl<B: ExtensibleField<3>> ExtensionOf<B> for CubeExtension<B>
impl<E: FieldElement> ExtensionOf<E> for E
A field is always an extension of itself.