Struct snarkvm_curves::templates::short_weierstrass::short_weierstrass_projective::GroupProjective

pub struct GroupProjective<P: Parameters> {
    pub x: P::BaseField,
    pub y: P::BaseField,
    pub z: P::BaseField,
    // some fields omitted
}

Fields

x: P::BaseField

y: P::BaseField

z: P::BaseField

Implementations

impl<P: Parameters> GroupProjective<P>

pub fn new(x: P::BaseField, y: P::BaseField, z: P::BaseField) -> Self

Trait Implementations

impl<'a, P: Parameters> Add<&'a GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the + operator.

fn add(self, other: &'a Self) -> Self

Performs the + operation.

impl<'a, P: Parameters> AddAssign<&'a GroupProjective<P>> for GroupProjective<P>

fn add_assign(&mut self, other: &'a Self)

Performs the += operation.

impl<P: Parameters> CanonicalDeserialize for GroupProjective<P>

fn deserialize<R: Read>(reader: &mut R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: &mut R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

impl<P: Parameters> CanonicalSerialize for GroupProjective<P>

fn serialize<W: Write>(&self, writer: &mut W) -> Result<(), SerializationError>

Serializes self into writer.

fn serialize_uncompressed<W: Write>(
    &self,
    writer: &mut W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialized_size(&self) -> usize

fn uncompressed_size(&self) -> usize

impl<P: Parameters> Clone for GroupProjective<P> where
    P: Parameters, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P: Parameters> ConstantSerializedSize for GroupProjective<P>

const SERIALIZED_SIZE: usize

const UNCOMPRESSED_SIZE: usize

impl<P: Parameters> Debug for GroupProjective<P> where
    P: Parameters, 

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

Formats the value using the given formatter.

impl<P: Parameters> Default for GroupProjective<P>

fn default() -> Self

Returns the “default value” for a type.

impl<P: Parameters> Display for GroupProjective<P>

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

Formats the value using the given formatter.

impl<P: Parameters> From<GroupAffine<P>> for GroupProjective<P>

fn from(p: GroupAffine<P>) -> GroupProjective<P>

Performs the conversion.

impl<P: Parameters> From<GroupProjective<P>> for GroupAffine<P>

fn from(p: GroupProjective<P>) -> GroupAffine<P>

Performs the conversion.

impl<P: Parameters> FromBytes for GroupProjective<P>

fn read<R: Read>(reader: R) -> IoResult<Self>

Reads Self from reader.

impl<P: Parameters> Hash for GroupProjective<P> where
    P: Parameters, 

fn hash<__HP>(&self, __state: &mut __HP) where
    __HP: Hasher, 

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl<'a, P: Parameters> Mul<&'a <P as ModelParameters>::ScalarField> for GroupProjective<P>

type Output = Self

The resulting type after applying the * operator.

fn mul(self, other: &'a P::ScalarField) -> Self

Performs the * operation.

impl<'a, P: Parameters> MulAssign<&'a <P as ModelParameters>::ScalarField> for GroupProjective<P>

fn mul_assign(&mut self, other: &'a P::ScalarField)

Performs the *= operation.

impl<P: Parameters> Neg for GroupProjective<P>

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: Parameters> PartialEq<GroupProjective<P>> for GroupProjective<P>

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<P: Parameters> ProjectiveCurve for GroupProjective<P>

type Affine = GroupAffine<P>

type BaseField = P::BaseField

type ScalarField = P::ScalarField

fn prime_subgroup_generator() -> Self

Returns a fixed generator of unknown exponent.

fn is_normalized(&self) -> bool

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

fn batch_normalization(v: &mut [Self])

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

fn double_in_place(&mut self) -> &mut Self

fn add_assign_mixed(&mut self, other: &Self::Affine)

Adds an affine element to this element.

fn mul_assign<S: Into<<Self::ScalarField as PrimeField>::BigInteger>>(
    &mut self,
    other: S
)

Performs scalar multiplication of this element.

fn into_affine(&self) -> GroupAffine<P>

Converts this element into its affine representation.

fn recommended_wnaf_for_scalar(
    scalar: <Self::ScalarField as PrimeField>::BigInteger
) -> 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 batch_normalization_into_affine(v: Vec<Self>) -> Vec<Self::Affine>

Normalizes a slice of projective elements and outputs a vector containing the affine equivalents.

#[must_use]

fn double(&self) -> Self

Doubles this element.

impl<'a, P: Parameters> Sub<&'a GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the - operator.

fn sub(self, other: &'a Self) -> Self

Performs the - operation.

impl<'a, P: Parameters> SubAssign<&'a GroupProjective<P>> for GroupProjective<P>

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

Performs the -= operation.

impl<P: Parameters> ToBytes for GroupProjective<P>

fn write<W: Write>(&self, writer: W) -> IoResult<()>

Serializes self into writer.

impl<P: Parameters> Zero for GroupProjective<P>

fn zero() -> Self

fn is_zero(&self) -> bool

impl<P: Parameters> Copy for GroupProjective<P> where
    P: Parameters, 

impl<P: Parameters> Eq for GroupProjective<P> where
    P: Parameters,