Trait QuadSparseMul

pub trait QuadSparseMul {
    type Base: ExtField;

    // Provided methods
    fn mul_by_014(
        lhs: &mut QuadExtField<CubicExtField<Self::Base>>,
        c0: &Self::Base,
        c1: &Self::Base,
        c4: &Self::Base,
    )
       where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField { ... }
    fn mul_by_034(
        lhs: &mut QuadExtField<CubicExtField<Self::Base>>,
        c0: &Self::Base,
        c3: &Self::Base,
        c4: &Self::Base,
    )
       where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField { ... }
}

Required Associated Types

type Base: ExtField

Provided Methods

fn mul_by_014( lhs: &mut QuadExtField<CubicExtField<Self::Base>>, c0: &Self::Base, c1: &Self::Base, c4: &Self::Base, )

where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField,

fn mul_by_034( lhs: &mut QuadExtField<CubicExtField<Self::Base>>, c0: &Self::Base, c3: &Self::Base, c4: &Self::Base, )

where CubicExtField<Self::Base>: CubicSparseMul<Base = Self::Base> + ExtField,

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

impl QuadSparseMul for QuadExtField<CubicExtField<QuadExtField<Fp>>>

type Base = QuadExtField<Fp>

impl QuadSparseMul for halo2curves::bls12381::Fq12

type Base = QuadExtField<Fq>

impl QuadSparseMul for halo2curves::bn256::Fq12

type Base = QuadExtField<Fq>