Trait CurveGroup

pub trait CurveGroup:
    PrimeGroup
    + Add<Self::Affine, Output = Self>
    + AddAssign<Self::Affine>
    + Sub<Self::Affine, Output = Self>
    + SubAssign<Self::Affine>
    + VariableBaseMSM
    + ScalarMul<MulBase = Self::Affine>
    + From<Self::Affine>
    + Into<Self::Affine>
    + Sum<Self::Affine>
    + for<'a> Sum<&'a Self::Affine> {
    type Config: CurveConfig<ScalarField = Self::ScalarField, BaseField = Self::BaseField>;
    type BaseField: Field;
    type Affine: AffineRepr<Config = Self::Config, Group = Self, ScalarField = Self::ScalarField, BaseField = Self::BaseField> + From<Self> + Into<Self>;
    type FullGroup;

    // Required method
    fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>;

    // Provided method
    fn into_affine(self) -> Self::Affine { ... }
}

An opaque representation of an elliptic curve group element that is suitable for efficient group arithmetic.

The point is guaranteed to be in the correct prime order subgroup.

Required Associated Types

type Config: CurveConfig<ScalarField = Self::ScalarField, BaseField = Self::BaseField>

type BaseField: Field

The field over which this curve is defined.

type Affine: AffineRepr<Config = Self::Config, Group = Self, ScalarField = Self::ScalarField, BaseField = Self::BaseField> + From<Self> + Into<Self>

The affine representation of this element.

type FullGroup

Type representing an element of the full elliptic curve group, not just the prime order subgroup.

Required Methods

fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>

Normalizes a slice of group elements into affine.

Provided Methods

fn into_affine(self) -> Self::Affine

Converts self into the affine representation.

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<P: SWCurveConfig> CurveGroup for ark_ec::models::short_weierstrass::Projective<P>

type Config = P

type BaseField = <P as CurveConfig>::BaseField

type Affine = Affine<P>

type FullGroup = Affine<P>

impl<P: TECurveConfig> CurveGroup for ark_ec::models::twisted_edwards::Projective<P>

type Config = P

type BaseField = <P as CurveConfig>::BaseField

type Affine = Affine<P>

type FullGroup = Affine<P>