Struct snarkvm_curves::templates::twisted_edwards_extended::GroupProjective

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

Fields

x: P::BaseField

y: P::BaseField

t: P::BaseField

z: P::BaseField

Implementations

impl<P: Parameters> GroupProjective<P>

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

Trait Implementations

impl<P: Parameters> Add<&'_ &'_ GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

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> Add<&'a mut GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

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

type Output = Self

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self

Performs the + operation.

impl<P: Parameters> AddAssign<&'_ &'_ GroupProjective<P>> for GroupProjective<P>

fn add_assign(&mut self, other: &&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<'a, P: Parameters> AddAssign<&'a mut GroupProjective<P>> for GroupProjective<P>

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

Performs the += operation.

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

fn add_assign(&mut self, other: 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> Distribution<GroupProjective<P>> for Standard

fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> GroupProjective<P>

Generate a random value of T, using rng as the source of randomness.

fn sample_iter<R>(self, rng: R) -> DistIter<Self, R, T> where
    R: Rng, 

Create an iterator that generates random values of T, using rng as the source of randomness.

fn map<F, S>(self, func: F) -> DistMap<Self, F, T, S> where
    F: Fn(T) -> S, 

Create a distribution of values of ‘S’ by mapping the output of Self through the closure F

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> Group for GroupProjective<P>

type ScalarField = P::ScalarField

fn double(&self) -> Self

Returns self + self.

fn double_in_place(&mut self)

Sets self := self + self.

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<P: Parameters> Mul<<P as ModelParameters>::ScalarField> for GroupProjective<P>

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

Performs scalar multiplication of this element.

type Output = Self

The resulting type after applying the * operator.

impl<P: Parameters> MulAssign<<P as ModelParameters>::ScalarField> for GroupProjective<P>

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

Performs scalar multiplication of this element.

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 ==.

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

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 add_assign_mixed(&mut self, other: &Self::Affine)

Adds an affine element to 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.

impl<P: Parameters> Sub<&'_ &'_ GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

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> Sub<&'a mut GroupProjective<P>> for GroupProjective<P>

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

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

type Output = Self

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self

Performs the - operation.

impl<P: Parameters> SubAssign<&'_ &'_ GroupProjective<P>> for GroupProjective<P>

fn sub_assign(&mut self, other: &&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<'a, P: Parameters> SubAssign<&'a mut GroupProjective<P>> for GroupProjective<P>

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

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

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

fn sum<I: Iterator<Item = &'a Self>>(iter: I) -> Self

Method which takes an iterator and generates Self from the elements by “summing up” the items.

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

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Method which takes an iterator and generates Self from the elements by “summing up” the items.

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

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

Serializes self into writer.

impl<M: TEModelParameters, F: Field> ToConstraintField<F> for TEProjective<M> where
    M::BaseField: ToConstraintField<F>, 

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

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,