Trait elliptic_curve::CurveArithmetic

pub trait CurveArithmetic: Curve {
    type AffinePoint: 'static + AffineCoordinates<FieldRepr = FieldBytes<Self>> + Copy + ConditionallySelectable + ConstantTimeEq + Debug + Default + DefaultIsZeroes + Eq + PartialEq + Sized + Send + Sync;
    type ProjectivePoint: ConditionallySelectable + ConstantTimeEq + Default + DefaultIsZeroes + From<Self::AffinePoint> + Into<Self::AffinePoint> + LinearCombination + MulByGenerator + Curve<AffineRepr = Self::AffinePoint> + Group<Scalar = Self::Scalar>;
    type Scalar: AsRef<Self::Scalar> + DefaultIsZeroes + From<ScalarPrimitive<Self>> + FromUintUnchecked<Uint = Self::Uint> + Into<FieldBytes<Self>> + Into<ScalarPrimitive<Self>> + Into<Self::Uint> + Invert<Output = CtOption<Self::Scalar>> + IsHigh + PartialOrd + Reduce<Self::Uint, Bytes = FieldBytes<Self>> + ShrAssign<usize> + Field + PrimeField<Repr = FieldBytes<Self>>;
}

Available on crate feature arithmetic only.

Elliptic curve with an arithmetic implementation.

Required Associated Types

type AffinePoint: 'static + AffineCoordinates<FieldRepr = FieldBytes<Self>> + Copy + ConditionallySelectable + ConstantTimeEq + Debug + Default + DefaultIsZeroes + Eq + PartialEq + Sized + Send + Sync

Elliptic curve point in affine coordinates.

type ProjectivePoint: ConditionallySelectable + ConstantTimeEq + Default + DefaultIsZeroes + From<Self::AffinePoint> + Into<Self::AffinePoint> + LinearCombination + MulByGenerator + Curve<AffineRepr = Self::AffinePoint> + Group<Scalar = Self::Scalar>

Elliptic curve point in projective coordinates.

Note: the following bounds are provided by group::Group:

• 'static
• Copy
• Clone
• Debug
• Eq
• Sized
• Send
• Sync

type Scalar: AsRef<Self::Scalar> + DefaultIsZeroes + From<ScalarPrimitive<Self>> + FromUintUnchecked<Uint = Self::Uint> + Into<FieldBytes<Self>> + Into<ScalarPrimitive<Self>> + Into<Self::Uint> + Invert<Output = CtOption<Self::Scalar>> + IsHigh + PartialOrd + Reduce<Self::Uint, Bytes = FieldBytes<Self>> + ShrAssign<usize> + Field + PrimeField<Repr = FieldBytes<Self>>

Scalar field modulo this curve’s order.

Note: the following bounds are provided by ff::Field:

• 'static
• Copy
• Clone
• ConditionallySelectable
• ConstantTimeEq
• Debug
• Default
• Send
• Sync

Object Safety

This trait is not object safe.

Implementors