Type Alias Affine

pub type Affine = EpAffine;

A Pallas point in the affine coordinate space (or the point at infinity).

Aliased Type

struct Affine { /* private fields */ }

Trait Implementations

impl<'b> Add<&'b Ep> for EpAffine

type Output = Ep

The resulting type after applying the + operator.

fn add(self, rhs: &'b Ep) -> Ep

Performs the + operation.

impl<'b> Add<&'b EpAffine> for EpAffine

type Output = Ep

The resulting type after applying the + operator.

fn add(self, rhs: &'b EpAffine) -> Ep

Performs the + operation.

impl Add<Ep> for EpAffine

type Output = Ep

The resulting type after applying the + operator.

fn add(self, rhs: Ep) -> Ep

Performs the + operation.

impl Add for EpAffine

type Output = Ep

The resulting type after applying the + operator.

fn add(self, rhs: EpAffine) -> Ep

Performs the + operation.

impl Clone for EpAffine

fn clone(&self) -> EpAffine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CofactorCurveAffine for EpAffine

type Curve = Ep

type Scalar = Fq

fn identity() -> EpAffine

Returns the additive identity.

fn generator() -> EpAffine

Returns a fixed generator of unknown exponent.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> <EpAffine as CofactorCurveAffine>::Curve

Converts this element to its curve representation.

impl ConditionallySelectable for EpAffine

fn conditional_select(a: &EpAffine, b: &EpAffine, choice: Choice) -> EpAffine

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl ConstantTimeEq for EpAffine

fn ct_eq(&self, other: &EpAffine) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl CurveAffine for EpAffine

type ScalarExt = Fq

The scalar field of this elliptic curve.

type Base = Fp

The base field over which this elliptic curve is constructed.

type CurveExt = Ep

The projective form of the curve

fn is_on_curve(&self) -> Choice

Returns whether or not this element is on the curve; should always be true unless an “unchecked” API was used.

fn coordinates(&self) -> CtOption<Coordinates<EpAffine>>

Gets the coordinates of this point.

fn from_xy( x: <EpAffine as CurveAffine>::Base, y: <EpAffine as CurveAffine>::Base, ) -> CtOption<EpAffine>

Obtains a point given $(x, y)$, failing if it is not on the curve.

fn a() -> <EpAffine as CurveAffine>::Base

Returns the curve constant $a$.

fn b() -> <EpAffine as CurveAffine>::Base

Returns the curve constant $b$.

impl Debug for EpAffine

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

Formats the value using the given formatter.

impl Default for EpAffine

fn default() -> EpAffine

Returns the “default value” for a type.

impl<'a> From<&'a Ep> for EpAffine

fn from(p: &'a Ep) -> EpAffine

Converts to this type from the input type.

impl From<Ep> for EpAffine

fn from(p: Ep) -> EpAffine

Converts to this type from the input type.

impl GroupEncoding for EpAffine

type Repr = [u8; 32]

The encoding of group elements.

fn from_bytes(bytes: &[u8; 32]) -> CtOption<EpAffine>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked( bytes: &<EpAffine as GroupEncoding>::Repr, ) -> CtOption<EpAffine>

Attempts to deserialize a group element, not checking if the element is valid.

fn to_bytes(&self) -> [u8; 32]

Converts this element into its byte encoding. This may or may not support encoding the identity.

impl<'b> Mul<&'b Fq> for EpAffine

type Output = Ep

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Fq) -> Ep

Performs the * operation.

impl Mul<Fq> for EpAffine

type Output = Ep

The resulting type after applying the * operator.

fn mul(self, rhs: Fq) -> Ep

Performs the * operation.

impl Neg for EpAffine

type Output = EpAffine

The resulting type after applying the - operator.

fn neg(self) -> EpAffine

Performs the unary - operation.

impl PartialEq for EpAffine

fn eq(&self, other: &EpAffine) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PrimeCurveAffine for EpAffine

type Curve = Ep

type Scalar = Fq

fn generator() -> EpAffine

Returns a fixed generator of unknown exponent.

fn identity() -> EpAffine

Returns the additive identity.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> <EpAffine as PrimeCurveAffine>::Curve

Converts this element to its curve representation.

impl<'b> Sub<&'b Ep> for EpAffine

type Output = Ep

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Ep) -> Ep

Performs the - operation.

impl<'b> Sub<&'b EpAffine> for EpAffine

type Output = Ep

The resulting type after applying the - operator.

fn sub(self, rhs: &'b EpAffine) -> Ep

Performs the - operation.

impl Sub<Ep> for EpAffine

type Output = Ep

The resulting type after applying the - operator.

fn sub(self, rhs: Ep) -> Ep

Performs the - operation.

impl Sub for EpAffine

type Output = Ep

The resulting type after applying the - operator.

fn sub(self, rhs: EpAffine) -> Ep

Performs the - operation.

impl Copy for EpAffine

impl Eq for EpAffine