Struct Degree4ExtensionField

pub struct Degree4ExtensionField;

Implementations

impl Degree4ExtensionField

pub const fn const_from_coefficients( a: u32, b: u32, c: u32, d: u32, ) -> FieldElement<Degree4ExtensionField>

Trait Implementations

impl Clone for Degree4ExtensionField

fn clone(&self) -> Degree4ExtensionField

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Degree4ExtensionField

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl HasCircleParams<Degree4ExtensionField> for Degree4ExtensionField

const ORDER: u128 = 21_267_647_892_944_572_736_998_860_269_687_930_880u128

ORDER = (2^31 - 1)^4 - 1

const CIRCLE_GENERATOR_X: Self::FE

Coordinate x of the generator of the circle group.

const CIRCLE_GENERATOR_Y: Self::FE

Coordinate y of the generator of the circle group.

type FE = FieldElement<Degree4ExtensionField>

impl IsField for Degree4ExtensionField

type BaseType = [FieldElement<Degree2ExtensionField>; 2]

The underlying base type for representing elements from the field.

fn add(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the sum of a and b.

fn sub(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the subtraction of a and b.

fn neg(a: &Self::BaseType) -> Self::BaseType

Returns the additive inverse of a.

fn mul(a: &Self::BaseType, b: &Self::BaseType) -> Self::BaseType

Returns the multiplication of a and b.

fn square(a: &Self::BaseType) -> Self::BaseType

Returns the multiplication of a and a.

fn inv(a: &Self::BaseType) -> Result<Self::BaseType, FieldError>

Returns the multiplicative inverse of a.

fn div( a: &Self::BaseType, b: &Self::BaseType, ) -> Result<Self::BaseType, FieldError>

Returns the division of a and b.

fn eq(a: &Self::BaseType, b: &Self::BaseType) -> bool

Returns a boolean indicating whether a and b are equal or not.

fn zero() -> Self::BaseType

Returns the additive neutral element.

fn one() -> Self::BaseType

Returns the multiplicative neutral element.

fn from_u64(x: u64) -> Self::BaseType

Returns the element x * 1 where 1 is the multiplicative neutral element.

fn from_base_type(x: Self::BaseType) -> Self::BaseType

Takes as input an element of BaseType and returns the internal representation of that element in the field.

fn double(a: &Self::BaseType) -> Self::BaseType

Returns the double of a.

fn pow<T>(a: &Self::BaseType, exponent: T) -> Self::BaseType

where T: IsUnsignedInteger,

impl IsSubFieldOf<Degree4ExtensionField> for Mersenne31Field

fn add( a: &Self::BaseType, b: &<Degree4ExtensionField as IsField>::BaseType, ) -> <Degree4ExtensionField as IsField>::BaseType

fn sub( a: &Self::BaseType, b: &<Degree4ExtensionField as IsField>::BaseType, ) -> <Degree4ExtensionField as IsField>::BaseType

fn mul( a: &Self::BaseType, b: &<Degree4ExtensionField as IsField>::BaseType, ) -> <Degree4ExtensionField as IsField>::BaseType

fn div( a: &Self::BaseType, b: &<Degree4ExtensionField as IsField>::BaseType, ) -> Result<<Degree4ExtensionField as IsField>::BaseType, FieldError>

fn embed(a: Self::BaseType) -> <Degree4ExtensionField as IsField>::BaseType

fn to_subfield_vec( b: <Degree4ExtensionField as IsField>::BaseType, ) -> Vec<Self::BaseType>