Struct PreprocessedAffine 

pub struct PreprocessedAffine<P: TECurveConfig> {
    pub x: P::BaseField,
    pub y: P::BaseField,
    pub kt: P::BaseField,
}

Affine coordinates for a point on a twisted Edwards curve, over the base field P::BaseField.

Includes the coordinate 2D*x*y.

Fields

x: P::BaseField

X coordinate of the point represented as a field element

y: P::BaseField

Y coordinate of the point represented as a field element

kt: P::BaseField

Precomputed product kXY, k=2D - formulas for A=-1

Implementations

impl<P: TECurveConfig> PreprocessedAffine<P>

pub fn new(x: P::BaseField, y: P::BaseField) -> Self

pub const fn zero() -> Self

pub fn is_zero(&self) -> bool

Trait Implementations

impl<'a, P: TECurveConfig> AddAssign<&'a PreprocessedAffine<P>> for Projective<P>

fn add_assign(&mut self, other: &PreprocessedAffine<P>)

Performs the += operation.

impl<P> Clone for PreprocessedAffine<P>

where P: TECurveConfig,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: Debug + TECurveConfig> Debug for PreprocessedAffine<P>

where P::BaseField: Debug,

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

Formats the value using the given formatter.

impl<P: TECurveConfig> From<&Affine<P>> for PreprocessedAffine<P>

fn from(affine: &Affine<P>) -> PreprocessedAffine<P>

Converts to this type from the input type.

impl<P: TECurveConfig> From<&PreprocessedAffine<P>> for Affine<P>

fn from(pre: &PreprocessedAffine<P>) -> Affine<P>

Converts to this type from the input type.

impl<P: TECurveConfig> From<Affine<P>> for PreprocessedAffine<P>

fn from(affine: Affine<P>) -> PreprocessedAffine<P>

Converts to this type from the input type.

impl<P: TECurveConfig> From<PreprocessedAffine<P>> for Affine<P>

fn from(pre: PreprocessedAffine<P>) -> Affine<P>

Converts to this type from the input type.

impl<P: Hash + TECurveConfig> Hash for PreprocessedAffine<P>

where P::BaseField: Hash,

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<P: TECurveConfig> Neg for PreprocessedAffine<P>

type Output = PreprocessedAffine<P>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: PartialEq + TECurveConfig> PartialEq for PreprocessedAffine<P>

where P::BaseField: PartialEq,

fn eq(&self, other: &PreprocessedAffine<P>) -> 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<'a, P: TECurveConfig> SubAssign<&'a PreprocessedAffine<P>> for Projective<P>

fn sub_assign(&mut self, other: &'a PreprocessedAffine<P>)

Performs the -= operation.

impl<P> Copy for PreprocessedAffine<P>

where P: TECurveConfig,

impl<P: Eq + TECurveConfig> Eq for PreprocessedAffine<P>

where P::BaseField: Eq,

impl<P: TECurveConfig> StructuralPartialEq for PreprocessedAffine<P>