Struct SubgroupPoint

pub struct SubgroupPoint(/* private fields */);

This represents a point in the prime-order subgroup of Jubjub, in extended coordinates.

Implementations

impl SubgroupPoint

pub const fn from_raw_unchecked(u: Fq, v: Fq) -> Self

Constructs an AffinePoint given u and v without checking that the point is on the curve or in the prime-order subgroup.

This should only be used for hard-coding constants (e.g. fixed generators); in all other cases, use SubgroupPoint::from_bytes instead.

Trait Implementations

impl<'a, 'b> Add<&'b SubgroupPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, other: &'b SubgroupPoint) -> ExtendedPoint

Performs the + operation.

impl<'a, 'b> Add<&'b SubgroupPoint> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the + operator.

fn add(self, other: &'b SubgroupPoint) -> SubgroupPoint

Performs the + operation.

impl<'b> Add<&'b SubgroupPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = SubgroupPoint

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a> Add<SubgroupPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, rhs: SubgroupPoint) -> ExtendedPoint

Performs the + operation.

impl<'a> Add<SubgroupPoint> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the + operator.

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

Performs the + operation.

impl Add<SubgroupPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the + operator.

fn add(self, rhs: SubgroupPoint) -> ExtendedPoint

Performs the + operation.

impl Add for SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b> AddAssign<&'b SubgroupPoint> for ExtendedPoint

fn add_assign(&mut self, rhs: &'b SubgroupPoint)

Performs the += operation.

impl<'b> AddAssign<&'b SubgroupPoint> for SubgroupPoint

fn add_assign(&mut self, rhs: &'b SubgroupPoint)

Performs the += operation.

impl AddAssign<SubgroupPoint> for ExtendedPoint

fn add_assign(&mut self, rhs: SubgroupPoint)

Performs the += operation.

impl AddAssign for SubgroupPoint

fn add_assign(&mut self, rhs: SubgroupPoint)

Performs the += operation.

impl Clone for SubgroupPoint

fn clone(&self) -> SubgroupPoint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl ConditionallySelectable for SubgroupPoint

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

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 Debug for SubgroupPoint

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

Formats the value using the given formatter.

impl Default for SubgroupPoint

fn default() -> SubgroupPoint

Returns the “default value” for a type.

impl Display for SubgroupPoint

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

Formats the value using the given formatter.

impl<'a> From<&'a SubgroupPoint> for &'a ExtendedPoint

fn from(val: &'a SubgroupPoint) -> &'a ExtendedPoint

Converts to this type from the input type.

impl From<SubgroupPoint> for ExtendedPoint

fn from(val: SubgroupPoint) -> ExtendedPoint

Converts to this type from the input type.

impl Group for SubgroupPoint

type Scalar = Fr

Scalars modulo the order of this group’s scalar field.

fn random(rng: impl RngCore) -> Self

Returns an element chosen uniformly at random from the non-identity elements of this group.

fn identity() -> Self

Returns the additive identity, also known as the “neutral element”.

fn generator() -> Self

Returns a fixed generator of the prime-order subgroup.

fn is_identity(&self) -> Choice

Determines if this point is the identity.

fn double(&self) -> Self

Doubles this element.

impl GroupEncoding for SubgroupPoint

type Repr = [u8; 32]

The encoding of group elements.

fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>

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

fn to_bytes(&self) -> Self::Repr

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

impl<'a, 'b> Mul<&'b Fr> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the * operator.

fn mul(self, other: &'b Fr) -> SubgroupPoint

Performs the * operation.

impl<'b> Mul<&'b Fr> for SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Fr) -> SubgroupPoint

Performs the * operation.

impl<'a> Mul<Fr> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> SubgroupPoint

Performs the * operation.

impl Mul<Fr> for SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the * operator.

fn mul(self, rhs: Fr) -> SubgroupPoint

Performs the * operation.

impl<'b> MulAssign<&'b Fr> for SubgroupPoint

fn mul_assign(&mut self, rhs: &'b Fr)

Performs the *= operation.

impl MulAssign<Fr> for SubgroupPoint

fn mul_assign(&mut self, rhs: Fr)

Performs the *= operation.

impl Neg for &SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the - operator.

fn neg(self) -> SubgroupPoint

Performs the unary - operation.

impl Neg for SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the - operator.

fn neg(self) -> SubgroupPoint

Performs the unary - operation.

impl PartialEq for SubgroupPoint

fn eq(&self, other: &SubgroupPoint) -> 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, 'b> Sub<&'b SubgroupPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, other: &'b SubgroupPoint) -> ExtendedPoint

Performs the - operation.

impl<'a, 'b> Sub<&'b SubgroupPoint> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the - operator.

fn sub(self, other: &'b SubgroupPoint) -> SubgroupPoint

Performs the - operation.

impl<'b> Sub<&'b SubgroupPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = SubgroupPoint

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a> Sub<SubgroupPoint> for &'a ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, rhs: SubgroupPoint) -> ExtendedPoint

Performs the - operation.

impl<'a> Sub<SubgroupPoint> for &'a SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the - operator.

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

Performs the - operation.

impl Sub<SubgroupPoint> for ExtendedPoint

type Output = ExtendedPoint

The resulting type after applying the - operator.

fn sub(self, rhs: SubgroupPoint) -> ExtendedPoint

Performs the - operation.

impl Sub for SubgroupPoint

type Output = SubgroupPoint

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> SubAssign<&'b SubgroupPoint> for ExtendedPoint

fn sub_assign(&mut self, rhs: &'b SubgroupPoint)

Performs the -= operation.

impl<'b> SubAssign<&'b SubgroupPoint> for SubgroupPoint

fn sub_assign(&mut self, rhs: &'b SubgroupPoint)

Performs the -= operation.

impl SubAssign<SubgroupPoint> for ExtendedPoint

fn sub_assign(&mut self, rhs: SubgroupPoint)

Performs the -= operation.

impl SubAssign for SubgroupPoint

fn sub_assign(&mut self, rhs: SubgroupPoint)

Performs the -= operation.

impl<T> Sum<T> for SubgroupPoint

where T: Borrow<SubgroupPoint>,

fn sum<I>(iter: I) -> Self

where I: Iterator<Item = T>,

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Copy for SubgroupPoint

impl Eq for SubgroupPoint

impl PrimeGroup for SubgroupPoint

impl StructuralPartialEq for SubgroupPoint