pub struct AffinePoint { /* private fields */ }
Expand description
This represents a Jubjub point in the affine (u, v)
coordinates.
Implementations§
Source§impl AffinePoint
impl AffinePoint
Sourcepub fn is_identity(&self) -> Choice
pub fn is_identity(&self) -> Choice
Determines if this point is the identity.
Sourcepub fn mul_by_cofactor(&self) -> ExtendedPoint
pub fn mul_by_cofactor(&self) -> ExtendedPoint
Multiplies this point by the cofactor, producing an
ExtendedPoint
Sourcepub fn is_small_order(&self) -> Choice
pub fn is_small_order(&self) -> Choice
Determines if this point is of small order.
Sourcepub fn is_torsion_free(&self) -> Choice
pub fn is_torsion_free(&self) -> Choice
Determines if this point is torsion free and so is in the prime order subgroup.
Sourcepub fn is_prime_order(&self) -> Choice
pub fn is_prime_order(&self) -> Choice
Determines if this point is prime order, or in other words that
the smallest scalar multiplied by this point that produces the
identity is r
. This is equivalent to checking that the point
is both torsion free and not the identity.
Sourcepub fn from_bytes(b: [u8; 32]) -> CtOption<Self>
pub fn from_bytes(b: [u8; 32]) -> CtOption<Self>
Attempts to interpret a byte representation of an affine point, failing if the element is not on the curve or non-canonical.
Sourcepub fn from_bytes_pre_zip216_compatibility(b: [u8; 32]) -> CtOption<Self>
pub fn from_bytes_pre_zip216_compatibility(b: [u8; 32]) -> CtOption<Self>
Attempts to interpret a byte representation of an affine point, failing if the element is not on the curve.
Most non-canonical encodings will also cause a failure. However, this API preserves (for use in consensus-critical protocols) a bug in the parsing code that caused two non-canonical encodings to be silently accepted:
- (0, 1), which is the identity;
- (0, -1), which is a point of order two.
Each of these has a single non-canonical encoding in which the value of the sign bit is 1.
See ZIP 216 for a more detailed description of the bug, as well as its fix.
Sourcepub fn batch_from_bytes(
items: impl Iterator<Item = [u8; 32]>,
) -> Vec<CtOption<Self>>
pub fn batch_from_bytes( items: impl Iterator<Item = [u8; 32]>, ) -> Vec<CtOption<Self>>
Attempts to interpret a batch of byte representations of affine points.
Returns None for each element if it is not on the curve, or is non-canonical according to ZIP 216.
Sourcepub const fn to_extended(&self) -> ExtendedPoint
pub const fn to_extended(&self) -> ExtendedPoint
Returns an ExtendedPoint
for use in arithmetic operations.
Sourcepub const fn to_niels(&self) -> AffineNielsPoint
pub const fn to_niels(&self) -> AffineNielsPoint
Performs a pre-processing step that produces an AffineNielsPoint
for use in multiple additions.
Sourcepub const fn from_raw_unchecked(u: Fq, v: Fq) -> AffinePoint
pub const fn from_raw_unchecked(u: Fq, v: Fq) -> AffinePoint
Constructs an AffinePoint given u
and v
without checking
that the point is on the curve.
Trait Implementations§
Source§impl<'a, 'b> Add<&'b AffinePoint> for &'a ExtendedPoint
impl<'a, 'b> Add<&'b AffinePoint> for &'a ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
+
operator.Source§fn add(self, other: &'b AffinePoint) -> ExtendedPoint
fn add(self, other: &'b AffinePoint) -> ExtendedPoint
+
operation. Read moreSource§impl<'b> Add<&'b AffinePoint> for ExtendedPoint
impl<'b> Add<&'b AffinePoint> for ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
+
operator.Source§fn add(self, rhs: &'b AffinePoint) -> ExtendedPoint
fn add(self, rhs: &'b AffinePoint) -> ExtendedPoint
+
operation. Read moreSource§impl<'a> Add<AffinePoint> for &'a ExtendedPoint
impl<'a> Add<AffinePoint> for &'a ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
+
operator.Source§fn add(self, rhs: AffinePoint) -> ExtendedPoint
fn add(self, rhs: AffinePoint) -> ExtendedPoint
+
operation. Read moreSource§impl Add<AffinePoint> for ExtendedPoint
impl Add<AffinePoint> for ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
+
operator.Source§fn add(self, rhs: AffinePoint) -> ExtendedPoint
fn add(self, rhs: AffinePoint) -> ExtendedPoint
+
operation. Read moreSource§impl<'b> AddAssign<&'b AffinePoint> for ExtendedPoint
impl<'b> AddAssign<&'b AffinePoint> for ExtendedPoint
Source§fn add_assign(&mut self, rhs: &'b AffinePoint)
fn add_assign(&mut self, rhs: &'b AffinePoint)
+=
operation. Read moreSource§impl AddAssign<AffinePoint> for ExtendedPoint
impl AddAssign<AffinePoint> for ExtendedPoint
Source§fn add_assign(&mut self, rhs: AffinePoint)
fn add_assign(&mut self, rhs: AffinePoint)
+=
operation. Read moreSource§impl Clone for AffinePoint
impl Clone for AffinePoint
Source§fn clone(&self) -> AffinePoint
fn clone(&self) -> AffinePoint
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source
. Read moreSource§impl CofactorCurveAffine for AffinePoint
impl CofactorCurveAffine for AffinePoint
Source§impl ConditionallySelectable for AffinePoint
impl ConditionallySelectable for AffinePoint
Source§fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self
fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self
Source§fn conditional_assign(&mut self, other: &Self, choice: Choice)
fn conditional_assign(&mut self, other: &Self, choice: Choice)
Source§fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)
fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)
self
and other
if choice == 1
; otherwise,
reassign both unto themselves. Read moreSource§impl ConstantTimeEq for AffinePoint
impl ConstantTimeEq for AffinePoint
Source§impl Debug for AffinePoint
impl Debug for AffinePoint
Source§impl Default for AffinePoint
impl Default for AffinePoint
Source§fn default() -> AffinePoint
fn default() -> AffinePoint
Returns the identity.
Source§impl Display for AffinePoint
impl Display for AffinePoint
Source§impl<'a> From<&'a ExtendedPoint> for AffinePoint
impl<'a> From<&'a ExtendedPoint> for AffinePoint
Source§fn from(extended: &'a ExtendedPoint) -> AffinePoint
fn from(extended: &'a ExtendedPoint) -> AffinePoint
Constructs an affine point from an extended point
using the map (U, V, Z, T1, T2) => (U/Z, V/Z)
as Z is always nonzero. This requires a field inversion
and so it is recommended to perform these in a batch
using batch_normalize
instead.
Source§impl From<AffinePoint> for ExtendedPoint
impl From<AffinePoint> for ExtendedPoint
Source§fn from(affine: AffinePoint) -> ExtendedPoint
fn from(affine: AffinePoint) -> ExtendedPoint
Constructs an extended point (with Z = 1
) from
an affine point using the map (u, v) => (u, v, 1, u, v)
.
Source§impl From<ExtendedPoint> for AffinePoint
impl From<ExtendedPoint> for AffinePoint
Source§fn from(extended: ExtendedPoint) -> AffinePoint
fn from(extended: ExtendedPoint) -> AffinePoint
Source§impl GroupEncoding for AffinePoint
impl GroupEncoding for AffinePoint
Source§impl<'a, 'b> Mul<&'b Fr> for &'a AffinePoint
impl<'a, 'b> Mul<&'b Fr> for &'a AffinePoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
*
operator.Source§impl<'b> Mul<&'b Fr> for AffinePoint
impl<'b> Mul<&'b Fr> for AffinePoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
*
operator.Source§impl<'a> Mul<Fr> for &'a AffinePoint
impl<'a> Mul<Fr> for &'a AffinePoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
*
operator.Source§impl Mul<Fr> for AffinePoint
impl Mul<Fr> for AffinePoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
*
operator.Source§impl Neg for AffinePoint
impl Neg for AffinePoint
Source§fn neg(self) -> AffinePoint
fn neg(self) -> AffinePoint
This computes the negation of a point P = (u, v)
as -P = (-u, v)
.
Source§type Output = AffinePoint
type Output = AffinePoint
-
operator.Source§impl PartialEq for AffinePoint
impl PartialEq for AffinePoint
Source§impl<'a, 'b> Sub<&'b AffinePoint> for &'a ExtendedPoint
impl<'a, 'b> Sub<&'b AffinePoint> for &'a ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
-
operator.Source§fn sub(self, other: &'b AffinePoint) -> ExtendedPoint
fn sub(self, other: &'b AffinePoint) -> ExtendedPoint
-
operation. Read moreSource§impl<'b> Sub<&'b AffinePoint> for ExtendedPoint
impl<'b> Sub<&'b AffinePoint> for ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
-
operator.Source§fn sub(self, rhs: &'b AffinePoint) -> ExtendedPoint
fn sub(self, rhs: &'b AffinePoint) -> ExtendedPoint
-
operation. Read moreSource§impl<'a> Sub<AffinePoint> for &'a ExtendedPoint
impl<'a> Sub<AffinePoint> for &'a ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
-
operator.Source§fn sub(self, rhs: AffinePoint) -> ExtendedPoint
fn sub(self, rhs: AffinePoint) -> ExtendedPoint
-
operation. Read moreSource§impl Sub<AffinePoint> for ExtendedPoint
impl Sub<AffinePoint> for ExtendedPoint
Source§type Output = ExtendedPoint
type Output = ExtendedPoint
-
operator.Source§fn sub(self, rhs: AffinePoint) -> ExtendedPoint
fn sub(self, rhs: AffinePoint) -> ExtendedPoint
-
operation. Read moreSource§impl<'b> SubAssign<&'b AffinePoint> for ExtendedPoint
impl<'b> SubAssign<&'b AffinePoint> for ExtendedPoint
Source§fn sub_assign(&mut self, rhs: &'b AffinePoint)
fn sub_assign(&mut self, rhs: &'b AffinePoint)
-=
operation. Read moreSource§impl SubAssign<AffinePoint> for ExtendedPoint
impl SubAssign<AffinePoint> for ExtendedPoint
Source§fn sub_assign(&mut self, rhs: AffinePoint)
fn sub_assign(&mut self, rhs: AffinePoint)
-=
operation. Read moreimpl Copy for AffinePoint
impl Eq for AffinePoint
Auto Trait Implementations§
impl Freeze for AffinePoint
impl RefUnwindSafe for AffinePoint
impl Send for AffinePoint
impl Sync for AffinePoint
impl Unpin for AffinePoint
impl UnwindSafe for AffinePoint
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> FmtForward for T
impl<T> FmtForward for T
Source§fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self>where
Self: Binary,
self
to use its Binary
implementation when Debug
-formatted.Source§fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self>where
Self: Display,
self
to use its Display
implementation when
Debug
-formatted.Source§fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self>where
Self: LowerExp,
self
to use its LowerExp
implementation when
Debug
-formatted.Source§fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self>where
Self: LowerHex,
self
to use its LowerHex
implementation when
Debug
-formatted.Source§fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
fn fmt_octal(self) -> FmtOctal<Self>where
Self: Octal,
self
to use its Octal
implementation when Debug
-formatted.Source§fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self>where
Self: Pointer,
self
to use its Pointer
implementation when
Debug
-formatted.Source§fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self>where
Self: UpperExp,
self
to use its UpperExp
implementation when
Debug
-formatted.Source§fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self>where
Self: UpperHex,
self
to use its UpperHex
implementation when
Debug
-formatted.Source§impl<T> Pipe for Twhere
T: ?Sized,
impl<T> Pipe for Twhere
T: ?Sized,
Source§fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
fn pipe<R>(self, func: impl FnOnce(Self) -> R) -> Rwhere
Self: Sized,
Source§fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref<'a, R>(&'a self, func: impl FnOnce(&'a Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> Rwhere
R: 'a,
self
and passes that borrow into the pipe function. Read moreSource§fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R
Source§fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R,
) -> R
fn pipe_borrow_mut<'a, B, R>( &'a mut self, func: impl FnOnce(&'a mut B) -> R, ) -> R
Source§fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R
self
, then passes self.as_ref()
into the pipe function.Source§fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R
self
, then passes self.as_mut()
into the pipe
function.Source§fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R
self
, then passes self.deref()
into the pipe function.Source§impl<T> Tap for T
impl<T> Tap for T
Source§fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self
Borrow<B>
of a value. Read moreSource§fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self
BorrowMut<B>
of a value. Read moreSource§fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref<R>(self, func: impl FnOnce(&R)) -> Self
AsRef<R>
view of a value. Read moreSource§fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self
AsMut<R>
view of a value. Read moreSource§fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref<T>(self, func: impl FnOnce(&T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
fn tap_deref_mut<T>(self, func: impl FnOnce(&mut T)) -> Self
Deref::Target
of a value. Read moreSource§fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
fn tap_dbg(self, func: impl FnOnce(&Self)) -> Self
.tap()
only in debug builds, and is erased in release builds.Source§fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
.tap_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self
.tap_borrow()
only in debug builds, and is erased in release
builds.Source§fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self
.tap_borrow_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self
.tap_ref()
only in debug builds, and is erased in release
builds.Source§fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self
.tap_ref_mut()
only in debug builds, and is erased in release
builds.Source§fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
fn tap_deref_dbg<T>(self, func: impl FnOnce(&T)) -> Self
.tap_deref()
only in debug builds, and is erased in release
builds.