Struct G1

pub struct G1 { /* private fields */ }

Trait Implementations

impl Clone for G1

fn clone(&self) -> G1

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CurveProjective for G1

type Engine = Bn256

type Scalar = Fr

type Base = Fq

type Affine = G1Affine

fn zero() -> G1

Returns the additive identity.

fn one() -> G1

Returns a fixed generator of unknown exponent.

fn is_zero(&self) -> bool

Determines if this point is the point at infinity.

fn is_normalized(&self) -> bool

Checks if the point is already “normalized” so that cheap affine conversion is possible.

fn batch_normalization(v: &mut [G1])

Normalizes a slice of projective elements so that conversion to affine is cheap.

fn double(&mut self)

Doubles this element.

fn add_assign(&mut self, other: &G1)

Adds another element to this element.

fn add_assign_mixed(&mut self, other: &<G1 as CurveProjective>::Affine)

Adds an affine element to this element.

fn negate(&mut self)

Negates this element.

fn mul_assign<S>(&mut self, other: S)

where S: Into<<<G1 as CurveProjective>::Scalar as PrimeField>::Repr>,

Performs scalar multiplication of this element.

fn into_affine(&self) -> G1Affine

Converts this element into its affine representation.

fn recommended_wnaf_for_scalar( scalar: <<G1 as CurveProjective>::Scalar as PrimeField>::Repr, ) -> usize

Recommends a wNAF window table size given a scalar. Always returns a number between 2 and 22, inclusive.

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

Recommends a wNAF window size given the number of scalars you intend to multiply a base by. Always returns a number between 2 and 22, inclusive.

fn as_xyz( &self, ) -> (&<G1 as CurveProjective>::Base, &<G1 as CurveProjective>::Base, &<G1 as CurveProjective>::Base)

Returns references to underlying X, Y and Z coordinates. Users should check for infinity outside of this call

fn into_xyz_unchecked( self, ) -> (<G1 as CurveProjective>::Base, <G1 as CurveProjective>::Base, <G1 as CurveProjective>::Base)

Returns underlying X, Y and Z coordinates. Users should check for infinity outside of this call

fn from_xyz_unchecked( x: <G1 as CurveProjective>::Base, y: <G1 as CurveProjective>::Base, z: <G1 as CurveProjective>::Base, ) -> G1

Creates a point from raw X, Y and Z coordinates. Point of infinity is encoded as (0,1,0) by default. On-curve check is NOT performed

fn from_xyz_checked( _x: <G1 as CurveProjective>::Base, _y: <G1 as CurveProjective>::Base, _z: <G1 as CurveProjective>::Base, ) -> Result<G1, GroupDecodingError>

Creates a point from raw X, Y and Z coordinates. Point of infinity is encoded as (0,1,0) by default. On-curve check is performed

fn sub_assign(&mut self, other: &Self)

Subtracts another element from this element.

impl Debug for G1

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

Formats the value using the given formatter.

impl Display for G1

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

Formats the value using the given formatter.

impl From<G1> for G1Affine

fn from(p: G1) -> G1Affine

Converts to this type from the input type.

impl From<G1Affine> for G1

fn from(p: G1Affine) -> G1

Converts to this type from the input type.

impl PartialEq for G1

fn eq(&self, other: &G1) -> 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 Rand for G1

fn rand<R>(rng: &mut R) -> G1

where R: Rng,

Generates a random instance of this type using the specified source of randomness.

impl Copy for G1

impl Eq for G1