halo2curves::ff_ext

Trait ExtField

Source
pub trait ExtField: Field {
    const NON_RESIDUE: Self;

    // Required method
    fn frobenius_map(&mut self, power: usize);

    // Provided method
    fn mul_by_nonresidue(&self) -> Self { ... }
}

Required Associated Constants§

Source

const NON_RESIDUE: Self

Required Methods§

Source

fn frobenius_map(&mut self, power: usize)

Provided Methods§

Source

fn mul_by_nonresidue(&self) -> Self

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 ExtField for halo2curves::bls12381::Fq

Source§

const NON_RESIDUE: Self = NEGATIVE_ONE

Source§

impl ExtField for halo2curves::bn256::Fq

Source§

const NON_RESIDUE: Self = NEGATIVE_ONE

Source§

impl ExtField for Fp

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for CubicExtField<QuadExtField<Fp>>

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for QuadExtField<Fp>

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for QuadExtField<CubicExtField<QuadExtField<Fp>>>

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bls12381::Fq2

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bls12381::Fq6

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bls12381::Fq12

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bn256::Fq2

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bn256::Fq6

Source§

const NON_RESIDUE: Self = _

Source§

impl ExtField for halo2curves::bn256::Fq12

Source§

const NON_RESIDUE: Self = _