[][src]Struct jubjub::SubgroupPoint

pub struct SubgroupPoint(_);

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

Implementations

impl SubgroupPoint[src]

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

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[src]

type Output = ExtendedPoint

The resulting type after applying the + operator.

impl<'b> Add<&'b SubgroupPoint> for ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the + operator.

impl<'a, 'b> Add<&'b SubgroupPoint> for &'a SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the + operator.

impl<'b> Add<&'b SubgroupPoint> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the + operator.

impl<'a> Add<SubgroupPoint> for &'a ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the + operator.

impl Add<SubgroupPoint> for ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the + operator.

impl<'a> Add<SubgroupPoint> for &'a SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the + operator.

impl Add<SubgroupPoint> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the + operator.

impl<'b> AddAssign<&'b SubgroupPoint> for ExtendedPoint[src]

impl<'b> AddAssign<&'b SubgroupPoint> for SubgroupPoint[src]

impl AddAssign<SubgroupPoint> for ExtendedPoint[src]

impl AddAssign<SubgroupPoint> for SubgroupPoint[src]

impl Clone for SubgroupPoint[src]

impl ConditionallySelectable for SubgroupPoint[src]

impl Copy for SubgroupPoint[src]

impl Debug for SubgroupPoint[src]

impl Default for SubgroupPoint[src]

impl Display for SubgroupPoint[src]

impl Eq for SubgroupPoint[src]

impl<'a> From<&'a SubgroupPoint> for &'a ExtendedPoint[src]

impl From<SubgroupPoint> for ExtendedPoint[src]

impl Group for SubgroupPoint[src]

type Scalar = Fr

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

impl GroupEncoding for SubgroupPoint[src]

type Repr = [u8; 32]

The encoding of group elements. Read more

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

type Output = SubgroupPoint

The resulting type after applying the * operator.

impl<'b> Mul<&'b Fr> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the * operator.

impl<'a> Mul<Fr> for &'a SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the * operator.

impl Mul<Fr> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the * operator.

impl<'b> MulAssign<&'b Fr> for SubgroupPoint[src]

impl MulAssign<Fr> for SubgroupPoint[src]

impl Neg for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl<'_> Neg for &'_ SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl PartialEq<SubgroupPoint> for SubgroupPoint[src]

impl PrimeGroup for SubgroupPoint[src]

impl StructuralEq for SubgroupPoint[src]

impl StructuralPartialEq for SubgroupPoint[src]

impl<'a, 'b> Sub<&'b SubgroupPoint> for &'a ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the - operator.

impl<'b> Sub<&'b SubgroupPoint> for ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the - operator.

impl<'a, 'b> Sub<&'b SubgroupPoint> for &'a SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl<'b> Sub<&'b SubgroupPoint> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl<'a> Sub<SubgroupPoint> for &'a ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the - operator.

impl Sub<SubgroupPoint> for ExtendedPoint[src]

type Output = ExtendedPoint

The resulting type after applying the - operator.

impl<'a> Sub<SubgroupPoint> for &'a SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl Sub<SubgroupPoint> for SubgroupPoint[src]

type Output = SubgroupPoint

The resulting type after applying the - operator.

impl<'b> SubAssign<&'b SubgroupPoint> for ExtendedPoint[src]

impl<'b> SubAssign<&'b SubgroupPoint> for SubgroupPoint[src]

impl SubAssign<SubgroupPoint> for ExtendedPoint[src]

impl SubAssign<SubgroupPoint> for SubgroupPoint[src]

impl<T> Sum<T> for SubgroupPoint where
    T: Borrow<SubgroupPoint>, 
[src]

Auto Trait Implementations

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> ConditionallyNegatable for T where
    T: ConditionallySelectable,
    &'a T: for<'a> Neg,
    <&'a T as Neg>::Output == T, 
[src]

impl<T> From<T> for T[src]

impl<T, Rhs, Output> GroupOps<Rhs, Output> for T where
    T: Add<Rhs, Output = Output> + Sub<Rhs, Output = Output> + AddAssign<Rhs> + SubAssign<Rhs>, 
[src]

impl<T, Rhs, Output> GroupOpsOwned<Rhs, Output> for T where
    T: for<'r> GroupOps<&'r Rhs, Output>, 
[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T, Rhs, Output> ScalarMul<Rhs, Output> for T where
    T: Mul<Rhs, Output = Output> + MulAssign<Rhs>, 
[src]

impl<T, Rhs, Output> ScalarMulOwned<Rhs, Output> for T where
    T: for<'r> ScalarMul<&'r Rhs, Output>, 
[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T> ToString for T where
    T: Display + ?Sized
[src]

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,