Struct Projective 

pub struct Projective<P: DOCurveConfig> {
    pub e: P::BaseField,
    pub z: P::BaseField,
    pub u: P::BaseField,
    pub t: P::BaseField,
}

Fractional coordinates as utilised in https://doubleodd.group/doubleodd-jq.pdf, but first defined in https://www.sciencedirect.com/science/article/pii/S0020019007001433. Affine point (e,u) is represented as (E:Z:U:T) such that:

• Z != 0
• e = E/Z
• u = U/Z
• u**2 / T/Z

Fields

e: P::BaseField

E / Z projection of the affine e

z: P::BaseField

Projective multiplicative inverse.

u: P::BaseField

U / Z projection of the affine u

t: P::BaseField

Additional formula for faster addition: T = U^2/Z

Implementations

impl<P: DOCurveConfig> Projective<P>

pub const fn new_unchecked( e: P::BaseField, z: P::BaseField, u: P::BaseField, t: P::BaseField, ) -> Self

Constructs a new group element without checking whether the coordinates specify a point in the subgroup.

pub fn new( e: P::BaseField, z: P::BaseField, u: P::BaseField, t: P::BaseField, ) -> Self

Constructs a new group element in a way while enforcing that points are in the prime-order subgroup.

Trait Implementations

impl<'a, 'b, P: DOCurveConfig> Add<&'a Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

fn add(self, other: &'a Projective<P>) -> Projective<P>

Performs the + operation.

impl<'a, P: DOCurveConfig> Add<&'a Projective<P>> for Affine<P>

type Output = Projective<P>

The resulting type after applying the + operator.

fn add(self, other: &'a Projective<P>) -> Projective<P>

Performs the + operation.

impl<'a, P: DOCurveConfig> Add<&'a Projective<P>> for Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'a, 'b, P: DOCurveConfig> Add<&'a mut Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

fn add(self, other: &'a mut Projective<P>) -> Projective<P>

Performs the + operation.

impl<'a, P: DOCurveConfig> Add<&'a mut Projective<P>> for Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<'b, P: DOCurveConfig> Add<Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

fn add(self, other: Projective<P>) -> Projective<P>

Performs the + operation.

impl<P: DOCurveConfig> Add<Projective<P>> for Affine<P>

type Output = Projective<P>

The resulting type after applying the + operator.

fn add(self, other: Projective<P>) -> Projective<P>

Performs the + operation.

impl<P: DOCurveConfig, T: Borrow<Affine<P>>> Add<T> for Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

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

Performs the + operation.

impl<P: DOCurveConfig> Add for Projective<P>

type Output = Projective<P>

The resulting type after applying the + operator.

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

Performs the + operation.

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

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

Using Algorithm 3 from https://doubleodd.group/doubleodd-jq.pdf.

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

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

Performs the += operation.

impl<P: DOCurveConfig, T: Borrow<Affine<P>>> AddAssign<T> for Projective<P>

fn add_assign(&mut self, other: T)

Using Algorithm 3 from https://doubleodd.group/doubleodd-jq.pdf, simplified because the second point is affine (n2 = Z1, n5 = Z1*T2 + T1).

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

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl<P: DOCurveConfig> AdditiveGroup for Projective<P>

const ZERO: Self

The additive identity of the field.

type Scalar = <P as CurveConfig>::ScalarField

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

Doubles self in place.

fn double(&self) -> Self

Doubles self.

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

Negates self in place.

impl<P: DOCurveConfig> CanonicalDeserialize for Projective<P>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate, ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable. Performs validation if applicable.

fn deserialize_compressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the compressed form if applicable, without validating the deserialized value.

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

where R: Read,

Reads Self from reader using the uncompressed form. Performs validation if applicable.

fn deserialize_uncompressed_unchecked<R>( reader: R, ) -> Result<Self, SerializationError>

where R: Read,

Reads Self from reader using the uncompressed form, without validating the deserialized value.

impl<P: DOCurveConfig> CanonicalSerialize for Projective<P>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

Returns the size in bytes of the serialized version of self with the given compression mode.

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

Serializes self into writer using the compressed form if applicable.

fn compressed_size(&self) -> usize

Returns the size in bytes of the compressed serialized version of self.

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

where W: Write,

Serializes self into writer using the uncompressed form.

fn uncompressed_size(&self) -> usize

Returns the size in bytes of the uncompressed serialized version of self.

impl<P: DOCurveConfig> Clone for Projective<P>

where P::BaseField: Copy,

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<P: DOCurveConfig> CurveGroup for Projective<P>

type Config = P

type BaseField = <P as CurveConfig>::BaseField

The field over which this curve is defined.

type Affine = Affine<P>

The affine representation of this element.

type FullGroup = Affine<P>

Type representing an element of the full elliptic curve group, not just the prime order subgroup.

fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>

Normalizes a slice of group elements into affine.

fn into_affine(self) -> Self::Affine

Converts self into the affine representation.

impl<P: DOCurveConfig> Debug for Projective<P>

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

Formats the value using the given formatter.

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

fn default() -> Self

Returns the “default value” for a type.

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

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

Formats the value using the given formatter.

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

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

Generates a uniformly random instance of the curve.

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

where R: Rng, Self: Sized,

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, Self: Sized,

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

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

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

Converts to this type from the input type.

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

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

Converts to this type from the input type.

impl<P: DOCurveConfig> Hash for Projective<P>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

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

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<P: DOCurveConfig, T: Borrow<P::ScalarField>> Mul<T> for Projective<P>

type Output = Projective<P>

The resulting type after applying the * operator.

fn mul(self, other: T) -> Self

Performs the * operation.

impl<P: DOCurveConfig, T: Borrow<P::ScalarField>> MulAssign<T> for Projective<P>

fn mul_assign(&mut self, other: T)

Performs the *= operation.

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

type Output = Projective<P>

The resulting type after applying the - operator.

fn neg(self) -> Self

Performs the unary - operation.

impl<P: DOCurveConfig> PartialEq<Affine<P>> for Projective<P>

fn eq(&self, other: &Affine<P>) -> 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<P: DOCurveConfig> PartialEq<Projective<P>> for Affine<P>

fn eq(&self, other: &Projective<P>) -> 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<P: DOCurveConfig> PartialEq for Projective<P>

fn eq(&self, other: &Self) -> 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<P: DOCurveConfig> PrimeGroup for Projective<P>

type ScalarField = <P as CurveConfig>::ScalarField

The scalar field F_r, where r is the order of this group.

fn generator() -> Self

Returns a fixed generator of this group.

fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self

Performs scalar multiplication of this element.

fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self

Computes other * self, where other is a big-endian bit representation of some integer.

impl<P: DOCurveConfig> ScalarMul for Projective<P>

const NEGATION_IS_CHEAP: bool = true

type MulBase = Affine<P>

fn batch_convert_to_mul_base(bases: &[Self]) -> Vec<Self::MulBase>

fn batch_mul(self, v: &[Self::ScalarField]) -> Vec<Self::MulBase>

Compute the vector v[0].G, v[1].G, …, v[n-1].G, given:

fn batch_mul_with_preprocessing( table: &BatchMulPreprocessing<Self>, v: &[Self::ScalarField], ) -> Vec<Self::MulBase>

Compute the vector v[0].G, v[1].G, …, v[n-1].G, given:

impl<'a, 'b, P: DOCurveConfig> Sub<&'a Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

fn sub(self, other: &'a Projective<P>) -> Projective<P>

Performs the - operation.

impl<'a, P: DOCurveConfig> Sub<&'a Projective<P>> for Affine<P>

type Output = Projective<P>

The resulting type after applying the - operator.

fn sub(self, other: &'a Projective<P>) -> Projective<P>

Performs the - operation.

impl<'a, P: DOCurveConfig> Sub<&'a Projective<P>> for Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b, P: DOCurveConfig> Sub<&'a mut Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

fn sub(self, other: &'a mut Projective<P>) -> Projective<P>

Performs the - operation.

impl<'a, P: DOCurveConfig> Sub<&'a mut Projective<P>> for Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b, P: DOCurveConfig> Sub<Projective<P>> for &'b Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

fn sub(self, other: Projective<P>) -> Projective<P>

Performs the - operation.

impl<P: DOCurveConfig> Sub<Projective<P>> for Affine<P>

type Output = Projective<P>

The resulting type after applying the - operator.

fn sub(self, other: Projective<P>) -> Projective<P>

Performs the - operation.

impl<P: DOCurveConfig, T: Borrow<Affine<P>>> Sub<T> for Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

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

Performs the - operation.

impl<P: DOCurveConfig> Sub for Projective<P>

type Output = Projective<P>

The resulting type after applying the - operator.

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

Performs the - operation.

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

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

Performs the -= operation.

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

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

Performs the -= operation.

impl<P: DOCurveConfig, T: Borrow<Affine<P>>> SubAssign<T> for Projective<P>

fn sub_assign(&mut self, other: T)

Performs the -= operation.

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

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a, P: DOCurveConfig> Sum<&'a Projective<P>> for Projective<P>

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

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<P: DOCurveConfig, T: Borrow<Affine<P>>> Sum<T> for Projective<P>

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

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<P: DOCurveConfig> Sum for Projective<P>

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

Takes an iterator and generates Self from the elements by “summing up” the items.

impl<M: DOCurveConfig, ConstraintF: Field> ToConstraintField<ConstraintF> for Projective<M>

where M::BaseField: ToConstraintField<ConstraintF>,

fn to_field_elements(&self) -> Option<Vec<ConstraintF>>

impl<P: DOCurveConfig> Valid for Projective<P>

fn check(&self) -> Result<(), SerializationError>

Checks whether self is valid. If self is valid, returns Ok(()). Otherwise, returns an error describing the failure. This method is called by deserialize_with_mode if validate is Validate::Yes.

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send, ) -> Result<(), SerializationError>

where Self: 'a,

Checks whether all items in batch are valid. If all items are valid, returns Ok(()). Otherwise, returns an error describing the first failure.

const TRIVIAL_CHECK: bool = false

Whether the check method is trivial (i.e. always returns Ok(())). If this is true, the batch_check method will skip all checks and return Ok(()). This should be set to true for types where check is trivial, e.g. integers, field elements, etc. This is false by default. This is primarily an optimization to skip unnecessary checks in batch_check.

impl<P: DOCurveConfig> VariableBaseMSM for Projective<P>

const ZERO_BUCKET: Self = Self::ZERO

type Bucket = Projective<P>

fn msm( bases: &[Self::MulBase], bigints: &[Self::ScalarField], ) -> Result<Self, usize>

Performs multi-scalar multiplication.

fn msm_unchecked(bases: &[Self::MulBase], scalars: &[Self::ScalarField]) -> Self

Computes an inner product between the PrimeField elements in scalars and the corresponding group elements in bases.

fn msm_bigint( bases: &[Self::MulBase], bigints: &[<Self::ScalarField as PrimeField>::BigInt], ) -> Self

Optimized implementation of multi-scalar multiplication.

fn msm_u1(bases: &[Self::MulBase], scalars: &[bool]) -> Self

Performs multi-scalar multiplication when the scalars are known to be boolean. The default implementation is faster than Self::msm_bigint.

fn msm_u8(bases: &[Self::MulBase], scalars: &[u8]) -> Self

Performs multi-scalar multiplication when the scalars are known to be u8-sized. The default implementation is faster than Self::msm_bigint.

fn msm_u16(bases: &[Self::MulBase], scalars: &[u16]) -> Self

Performs multi-scalar multiplication when the scalars are known to be u16-sized. The default implementation is faster than Self::msm_bigint.

fn msm_u32(bases: &[Self::MulBase], scalars: &[u32]) -> Self

Performs multi-scalar multiplication when the scalars are known to be u32-sized. The default implementation is faster than Self::msm_bigint.

fn msm_u64(bases: &[Self::MulBase], scalars: &[u64]) -> Self

Performs multi-scalar multiplication when the scalars are known to be u64-sized. The default implementation is faster than Self::msm_bigint.

fn msm_chunks<I, J>(bases_stream: &J, scalars_stream: &I) -> Self

where I: Iterable + ?Sized, I::Item: Borrow<Self::ScalarField>, J: Iterable, J::Item: Borrow<Self::MulBase>,

Streaming multi-scalar multiplication algorithm with hard-coded chunk size.

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

fn zero() -> Self

Returns one of the representants for the identity, namely the point-at-infinity (1,1,0,0).

The other representant N=(-1,1,0,0) of the identity could also be returned, but the implementation of formulas only requires one representant.

fn is_zero(&self) -> bool

Returns true if self is equal to the additive identity.

fn set_zero(&mut self)

Sets self to the additive identity element of Self, 0.

impl<P: DOCurveConfig> Zeroize for Projective<P>

fn zeroize(&mut self)

Zero out this object from memory using Rust intrinsics which ensure the zeroization operation is not “optimized away” by the compiler.

impl<P: DOCurveConfig> Copy for Projective<P>

where P::BaseField: Copy,

impl<P: DOCurveConfig> Eq for Projective<P>