Struct snarkvm_curves::templates::short_weierstrass_jacobian::projective::Projective

pub struct Projective<P: Parameters> {
    pub x: P::BaseField,
    pub y: P::BaseField,
    pub z: P::BaseField,
}

Fields

x: P::BaseField

y: P::BaseField

z: P::BaseField

Implementations

impl<P: Parameters> Projective<P>

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

Trait Implementations

impl<P: Parameters> Add<&'_ &'_ Projective<P>> for Projective<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 Projective<P>> for Projective<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 Projective<P>> for Projective<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<Projective<P>> for Projective<P>

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

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

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<P: Parameters> CanonicalDeserialize for Projective<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 Projective<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 Projective<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 Projective<P>

const SERIALIZED_SIZE: usize

const UNCOMPRESSED_SIZE: usize

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

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

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

Formats the value using the given formatter.

impl<P: Parameters> Distribution<Projective<P>> for Standard

fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Projective<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<Affine<P>> for Projective<P>

The affine point X, Y is represented in the Jacobian coordinates with Z = 1.

fn from(p: Affine<P>) -> Projective<P>

Performs the conversion.

impl<P: Parameters> From<Projective<P>> for Affine<P>

fn from(p: Projective<P>) -> Affine<P>

Performs the conversion.

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

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

Reads Self from reader.

impl<P: Parameters> Group for Projective<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 Projective<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 Projective<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 Projective<P>

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

Performs scalar multiplication of this element.

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

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: Parameters> PartialEq<Projective<P>> for Projective<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 Projective<P>

fn batch_normalization(v: &mut [Self])

TODO (howardwu): This method can likely be sped up.

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

Adds an affine element to this element.

fn into_affine(&self) -> Affine<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<&'_ &'_ Projective<P>> for Projective<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 Projective<P>> for Projective<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 Projective<P>> for Projective<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<Projective<P>> for Projective<P>

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a, P: Parameters> Sum<&'a Projective<P>> for Projective<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<Projective<P>> for Projective<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 Projective<P>

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

Serializes self into writer.

impl<M: ShortWeierstrassParameters, F: Field> ToConstraintField<F> for SWProjective<M> where
    M::BaseField: ToConstraintField<F>, 

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

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

fn zero() -> Self

fn is_zero(&self) -> bool

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

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