[−][src]Struct bls12_381::G1Projective
This is an element of $\mathbb{G}_1$ represented in the projective coordinate space.
Implementations
impl G1Projective
[src]
pub fn identity() -> G1Projective
[src]
Returns the identity of the group: the point at infinity.
pub fn generator() -> G1Projective
[src]
Returns a fixed generator of the group. See notes::design
for how this generator is chosen.
pub fn double(&self) -> G1Projective
[src]
Computes the doubling of this point.
pub fn add(&self, rhs: &G1Projective) -> G1Projective
[src]
Adds this point to another point.
pub fn add_mixed(&self, rhs: &G1Affine) -> G1Projective
[src]
Adds this point to another point in the affine model.
pub fn clear_cofactor(&self) -> G1Projective
[src]
Multiplies by $(1 - z)$, where $z$ is the parameter of BLS12-381, which suffices to clear the cofactor and map elliptic curve points to elements of $\mathbb{G}_1$.
pub fn batch_normalize(p: &[Self], q: &mut [G1Affine])
[src]
Converts a batch of G1Projective
elements into G1Affine
elements. This
function will panic if p.len() != q.len()
.
pub fn is_identity(&self) -> Choice
[src]
Returns true if this element is the identity (the point at infinity).
pub fn is_on_curve(&self) -> Choice
[src]
Returns true if this point is on the curve. This should always return true unless an "unchecked" API was used.
Trait Implementations
impl<'a, 'b> Add<&'b G1Affine> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Affine) -> G1Projective
[src]
impl<'b> Add<&'b G1Affine> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Affine) -> G1Projective
[src]
impl<'a, 'b> Add<&'b G1Projective> for &'a G1Affine
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'b> Add<&'b G1Projective> for G1Affine
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'a, 'b> Add<&'b G1Projective> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'b> Add<&'b G1Projective> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'a> Add<G1Affine> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Affine) -> G1Projective
[src]
impl Add<G1Affine> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Affine) -> G1Projective
[src]
impl<'a> Add<G1Projective> for &'a G1Affine
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Projective) -> G1Projective
[src]
impl Add<G1Projective> for G1Affine
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Projective) -> G1Projective
[src]
impl<'a> Add<G1Projective> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Projective) -> G1Projective
[src]
impl Add<G1Projective> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the +
operator.
fn add(self, rhs: G1Projective) -> G1Projective
[src]
impl<'b> AddAssign<&'b G1Affine> for G1Projective
[src]
fn add_assign(&mut self, rhs: &'b G1Affine)
[src]
impl<'b> AddAssign<&'b G1Projective> for G1Projective
[src]
fn add_assign(&mut self, rhs: &'b G1Projective)
[src]
impl AddAssign<G1Affine> for G1Projective
[src]
fn add_assign(&mut self, rhs: G1Affine)
[src]
impl AddAssign<G1Projective> for G1Projective
[src]
fn add_assign(&mut self, rhs: G1Projective)
[src]
impl Clone for G1Projective
[src]
fn clone(&self) -> G1Projective
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
impl ConditionallySelectable for G1Projective
[src]
fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self
[src]
fn conditional_assign(&mut self, other: &Self, choice: Choice)
[src]
fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)
[src]
impl ConstantTimeEq for G1Projective
[src]
impl Copy for G1Projective
[src]
impl Curve for G1Projective
[src]
type AffineRepr = G1Affine
The affine representation for this elliptic curve.
fn batch_normalize(p: &[Self], q: &mut [Self::AffineRepr])
[src]
fn to_affine(&self) -> Self::AffineRepr
[src]
impl Debug for G1Projective
[src]
impl Default for G1Projective
[src]
fn default() -> G1Projective
[src]
impl Display for G1Projective
[src]
impl Eq for G1Projective
[src]
impl<'a> From<&'a G1Affine> for G1Projective
[src]
fn from(p: &'a G1Affine) -> G1Projective
[src]
impl<'a> From<&'a G1Projective> for G1Affine
[src]
fn from(p: &'a G1Projective) -> G1Affine
[src]
impl From<G1Affine> for G1Projective
[src]
fn from(p: G1Affine) -> G1Projective
[src]
impl From<G1Projective> for G1Affine
[src]
fn from(p: G1Projective) -> G1Affine
[src]
impl Group for G1Projective
[src]
type Scalar = Scalar
Scalars modulo the order of this group's scalar field.
fn random<R: RngCore + ?Sized>(rng: &mut R) -> Self
[src]
fn identity() -> Self
[src]
fn generator() -> Self
[src]
fn is_identity(&self) -> Choice
[src]
#[must_use]fn double(&self) -> Self
[src]
impl GroupEncoding for G1Projective
[src]
type Repr = G1Compressed
The encoding of group elements. Read more
fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>
[src]
fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>
[src]
fn to_bytes(&self) -> Self::Repr
[src]
impl<'a, 'b> Mul<&'b Scalar> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the *
operator.
fn mul(self, other: &'b Scalar) -> Self::Output
[src]
impl<'b> Mul<&'b Scalar> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the *
operator.
fn mul(self, rhs: &'b Scalar) -> G1Projective
[src]
impl<'a> Mul<Scalar> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the *
operator.
fn mul(self, rhs: Scalar) -> G1Projective
[src]
impl Mul<Scalar> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the *
operator.
fn mul(self, rhs: Scalar) -> G1Projective
[src]
impl<'b> MulAssign<&'b Scalar> for G1Projective
[src]
fn mul_assign(&mut self, rhs: &'b Scalar)
[src]
impl MulAssign<Scalar> for G1Projective
[src]
fn mul_assign(&mut self, rhs: Scalar)
[src]
impl<'a> Neg for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn neg(self) -> G1Projective
[src]
impl Neg for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn neg(self) -> G1Projective
[src]
impl PartialEq<G1Projective> for G1Projective
[src]
impl PrimeCurve for G1Projective
[src]
impl PrimeGroup for G1Projective
[src]
impl<'a, 'b> Sub<&'b G1Affine> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Affine) -> G1Projective
[src]
impl<'b> Sub<&'b G1Affine> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Affine) -> G1Projective
[src]
impl<'a, 'b> Sub<&'b G1Projective> for &'a G1Affine
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'b> Sub<&'b G1Projective> for G1Affine
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'a, 'b> Sub<&'b G1Projective> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'b> Sub<&'b G1Projective> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: &'b G1Projective) -> G1Projective
[src]
impl<'a> Sub<G1Affine> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Affine) -> G1Projective
[src]
impl Sub<G1Affine> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Affine) -> G1Projective
[src]
impl<'a> Sub<G1Projective> for &'a G1Affine
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Projective) -> G1Projective
[src]
impl Sub<G1Projective> for G1Affine
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Projective) -> G1Projective
[src]
impl<'a> Sub<G1Projective> for &'a G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Projective) -> G1Projective
[src]
impl Sub<G1Projective> for G1Projective
[src]
type Output = G1Projective
The resulting type after applying the -
operator.
fn sub(self, rhs: G1Projective) -> G1Projective
[src]
impl<'b> SubAssign<&'b G1Affine> for G1Projective
[src]
fn sub_assign(&mut self, rhs: &'b G1Affine)
[src]
impl<'b> SubAssign<&'b G1Projective> for G1Projective
[src]
fn sub_assign(&mut self, rhs: &'b G1Projective)
[src]
impl SubAssign<G1Affine> for G1Projective
[src]
fn sub_assign(&mut self, rhs: G1Affine)
[src]
impl SubAssign<G1Projective> for G1Projective
[src]
fn sub_assign(&mut self, rhs: G1Projective)
[src]
impl<T> Sum<T> for G1Projective where
T: Borrow<G1Projective>,
[src]
T: Borrow<G1Projective>,
impl WnafGroup for G1Projective
[src]
fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize
[src]
Auto Trait Implementations
impl RefUnwindSafe for G1Projective
impl Send for G1Projective
impl Sync for G1Projective
impl Unpin for G1Projective
impl UnwindSafe for G1Projective
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> ConditionallyNegatable for T where
T: ConditionallySelectable,
&'a T: for<'a> Neg,
<&'a T as Neg>::Output == T,
[src]
T: ConditionallySelectable,
&'a T: for<'a> Neg,
<&'a T as Neg>::Output == T,
fn conditional_negate(&mut self, choice: Choice)
[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]
T: Add<Rhs, Output = Output> + Sub<Rhs, Output = Output> + AddAssign<Rhs> + SubAssign<Rhs>,
impl<T, Rhs, Output> GroupOpsOwned<Rhs, Output> for T where
T: for<'r> GroupOps<&'r Rhs, Output>,
[src]
T: for<'r> GroupOps<&'r Rhs, Output>,
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, Rhs, Output> ScalarMul<Rhs, Output> for T where
T: Mul<Rhs, Output = Output> + MulAssign<Rhs>,
[src]
T: Mul<Rhs, Output = Output> + MulAssign<Rhs>,
impl<T, Rhs, Output> ScalarMulOwned<Rhs, Output> for T where
T: for<'r> ScalarMul<&'r Rhs, Output>,
[src]
T: for<'r> ScalarMul<&'r Rhs, Output>,
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> ToString for T where
T: Display + ?Sized,
[src]
T: Display + ?Sized,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,