Trait HasCircleParams

pub trait HasCircleParams<F: IsField> {
    type FE;

    const CIRCLE_GENERATOR_X: FieldElement<F>;
    const CIRCLE_GENERATOR_Y: FieldElement<F>;
    const ORDER: u128;
}

Parameters of the base field that we’ll need to define its Circle.

Required Associated Constants

const CIRCLE_GENERATOR_X: FieldElement<F>

Coordinate x of the generator of the circle group.

const CIRCLE_GENERATOR_Y: FieldElement<F>

Coordinate y of the generator of the circle group.

const ORDER: u128

Required Associated Types

type FE

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 HasCircleParams<Degree4ExtensionField> for Degree4ExtensionField

const CIRCLE_GENERATOR_X: Self::FE

const CIRCLE_GENERATOR_Y: Self::FE

const ORDER: u128 = 21_267_647_892_944_572_736_998_860_269_687_930_880u128

type FE = FieldElement<Degree4ExtensionField>

impl HasCircleParams<Mersenne31Field> for Mersenne31Field

const CIRCLE_GENERATOR_X: Self::FE = {transmute(0x00000002): <field::fields::mersenne31::field::Mersenne31Field as circle::point::HasCircleParams<field::fields::mersenne31::field::Mersenne31Field>>::FE}

const CIRCLE_GENERATOR_Y: Self::FE = {transmute(0x4b94532f): <field::fields::mersenne31::field::Mersenne31Field as circle::point::HasCircleParams<field::fields::mersenne31::field::Mersenne31Field>>::FE}

const ORDER: u128 = 2_147_483_648u128

type FE = FieldElement<Mersenne31Field>