Struct snarkvm_curves::templates::twisted_edwards_extended::affine::Affine

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

Fields

x: P::BaseField

y: P::BaseField

Implementations

impl<P: Parameters> Affine<P>

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

pub fn scale_by_cofactor(&self) -> <Self as AffineCurve>::Projective

Trait Implementations

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

type Output = Self

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

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

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

Performs the += operation.

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

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<P: Parameters> AffineCurve for Affine<P>

fn from_x_coordinate(x: Self::BaseField, greatest: bool) -> Option<Self>

Attempts to construct an affine point given an x-coordinate. The point is not guaranteed to be in the prime order subgroup.

If and only if greatest is set will the lexicographically largest y-coordinate be selected.

fn from_y_coordinate(y: Self::BaseField, greatest: bool) -> Option<Self>

Attempts to construct an affine point given a y-coordinate. The point is not guaranteed to be in the prime order subgroup.

If and only if greatest is set will the lexicographically largest y-coordinate be selected.

fn is_on_curve(&self) -> bool

Checks that the current point is on the elliptic curve.

type BaseField = P::BaseField

type Projective = Projective<P>

fn prime_subgroup_generator() -> Self

Returns a fixed generator of unknown exponent.

fn from_random_bytes(bytes: &[u8]) -> Option<Self>

Returns a group element if the set of bytes forms a valid group element, otherwise returns None. This function is primarily intended for sampling random group elements from a hash-function or RNG output.

fn mul_bits<S: AsRef<[u64]>>(
    &self,
    bits: BitIteratorBE<S>
) -> <Self as AffineCurve>::Projective

Multiply this element by a scalar field element in BigInteger form.

fn mul_by_cofactor_to_projective(&self) -> Self::Projective

Multiply this element by the cofactor and output the resulting projective element.

fn mul_by_cofactor_inv(&self) -> Self

Multiply this element by the inverse of the cofactor modulo the size of Self::ScalarField.

fn into_projective(&self) -> Projective<P>

Converts this element into its projective representation.

fn is_in_correct_subgroup_assuming_on_curve(&self) -> bool

Checks that the point is in the prime order subgroup given the point on the curve.

fn to_x_coordinate(&self) -> Self::BaseField

Returns the x-coordinate of the point.

fn to_y_coordinate(&self) -> Self::BaseField

Returns the y-coordinate of the point.

fn mul_by_cofactor(&self) -> Self

Multiply this element by the cofactor.

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

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

Serializes self into writer.

fn serialized_size(&self) -> usize

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

Serializes self into writer without compression.

fn uncompressed_size(&self) -> usize

impl<P: Parameters> Clone for Affine<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 Affine<P>

const SERIALIZED_SIZE: usize

const UNCOMPRESSED_SIZE: usize

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

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

impl<'de, P: Parameters> Deserialize<'de> for Affine<P> where
    P::BaseField: Deserialize<'de>,
    P::BaseField: Deserialize<'de>, 

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

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

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

Formats the value using the given formatter.

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

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

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 Affine<P>

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

Reads Self from reader.

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

type Output = Self

The resulting type after applying the * operator.

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

Performs the * operation.

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

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

Performs the *= operation.

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

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: Parameters> PartialEq<Affine<P>> for Affine<P> where
    P: Parameters, 

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> Serialize for Affine<P> where
    P::BaseField: Serialize,
    P::BaseField: Serialize, 

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

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

type Output = Self

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

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

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

Serializes self into writer.

impl<M: TwistedEdwardsParameters, F: Field> ToConstraintField<F> for TEAffine<M> where
    M::BaseField: ToConstraintField<F>, 

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

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

fn zero() -> Self

fn is_zero(&self) -> bool

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

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