Trait ProjectiveCurve

pub trait ProjectiveCurve:
    Sized
    + CanonicalSerialize
    + CanonicalDeserialize
    + Copy
    + Clone
    + Debug
    + Display
    + Default
    + FromBytes
    + Send
    + Sync
    + 'static
    + Eq
    + Hash
    + Neg<Output = Self>
    + Uniform
    + Zero
    + Add<Output = Self, Output = Self>
    + Sub<Output = Self, Output = Self>
    + Mul<Self::ScalarField, Output = Self>
    + AddAssign
    + SubAssign
    + MulAssign<Self::ScalarField>
    + for<'a> Add<&'a Self>
    + for<'a> Sub<&'a Self>
    + for<'a> AddAssign<&'a Self>
    + for<'a> SubAssign<&'a Self>
    + PartialEq<Self::Affine>
    + ToBytes
    + Sum
    + From<Self::Affine> {
    type Affine: AffineCurve<Projective = Self, ScalarField = Self::ScalarField> + From<Self> + Into<Self>;
    type BaseField: Field;
    type ScalarField: PrimeField + SquareRootField + Into<<Self::ScalarField as PrimeField>::BigInteger>;

    // Required methods
    fn prime_subgroup_generator() -> Self;
    fn batch_normalization(v: &mut [Self]);
    fn is_normalized(&self) -> bool;
    fn add_assign_mixed(&mut self, other: &Self::Affine);
    fn double(&self) -> Self;
    fn double_in_place(&mut self);
    fn to_affine(&self) -> Self::Affine;

    // Provided methods
    fn batch_normalization_into_affine(v: Vec<Self>) -> Vec<Self::Affine> { ... }
    fn add_mixed(&self, other: &Self::Affine) -> Self { ... }
    fn sub_assign_mixed(&mut self, other: &Self::Affine) { ... }
}

Projective representation of an elliptic curve point guaranteed to be in the prime order subgroup.

Required Associated Types

type Affine: AffineCurve<Projective = Self, ScalarField = Self::ScalarField> + From<Self> + Into<Self>

type BaseField: Field

type ScalarField: PrimeField + SquareRootField + Into<<Self::ScalarField as PrimeField>::BigInteger>

Required Methods

fn prime_subgroup_generator() -> Self

Returns a fixed generator of unknown exponent.

fn batch_normalization(v: &mut [Self])

Normalizes a slice of projective elements so that conversion to affine is cheap.

fn is_normalized(&self) -> bool

Checks if the point is already “normalized” so that cheap affine conversion is possible.

fn add_assign_mixed(&mut self, other: &Self::Affine)

Adds an affine element to this element.

fn double(&self) -> Self

Returns self + self.

fn double_in_place(&mut self)

Sets self := self + self.

fn to_affine(&self) -> Self::Affine

Converts this element into its affine representation.

Provided Methods

fn batch_normalization_into_affine(v: Vec<Self>) -> Vec<Self::Affine>

Normalizes a slice of projective elements and outputs a vector containing the affine equivalents.

fn add_mixed(&self, other: &Self::Affine) -> Self

Adds an affine element to this element.

fn sub_assign_mixed(&mut self, other: &Self::Affine)

Adds an affine element to this element.

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> ProjectiveCurve for snarkvm_curves::templates::short_weierstrass_jacobian::projective::Projective<P>

where P: ShortWeierstrassParameters,

type Affine = Affine<P>

type BaseField = <P as ModelParameters>::BaseField

type ScalarField = <P as ModelParameters>::ScalarField

impl<P> ProjectiveCurve for snarkvm_curves::templates::twisted_edwards_extended::projective::Projective<P>

where P: TwistedEdwardsParameters,

type Affine = Affine<P>

type BaseField = <P as ModelParameters>::BaseField

type ScalarField = <P as ModelParameters>::ScalarField