Struct ark_ec::models::short_weierstrass::Projective
source · pub struct Projective<P: SWCurveConfig> {
pub x: P::BaseField,
pub y: P::BaseField,
pub z: P::BaseField,
}
Expand description
Jacobian coordinates for a point on an elliptic curve in short Weierstrass
form, over the base field P::BaseField
. This struct implements arithmetic
via the Jacobian formulae
Fields
x: P::BaseField
X / Z
projection of the affine X
y: P::BaseField
Y / Z
projection of the affine Y
z: P::BaseField
Projective multiplicative inverse. Will be 0
only at infinity.
Implementations
sourceimpl<P: SWCurveConfig> Projective<P>
impl<P: SWCurveConfig> Projective<P>
sourcepub const fn new_unchecked(
x: P::BaseField,
y: P::BaseField,
z: P::BaseField
) -> Self
pub const fn new_unchecked(
x: P::BaseField,
y: P::BaseField,
z: P::BaseField
) -> Self
Constructs a new group element without checking whether the coordinates specify a point in the subgroup.
Trait Implementations
sourceimpl<'a, 'b, P: SWCurveConfig> Add<&'a Projective<P>> for &'b Projective<P>
impl<'a, 'b, P: SWCurveConfig> Add<&'a Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourcefn add(self, other: &'a Projective<P>) -> Projective<P>
fn add(self, other: &'a Projective<P>) -> Projective<P>
+
operation. Read moresourceimpl<'a, P: SWCurveConfig> Add<&'a Projective<P>> for Affine<P>
impl<'a, P: SWCurveConfig> Add<&'a Projective<P>> for Affine<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourcefn add(self, other: &'a Projective<P>) -> Projective<P>
fn add(self, other: &'a Projective<P>) -> Projective<P>
+
operation. Read moresourceimpl<'a, P: SWCurveConfig> Add<&'a Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> Add<&'a Projective<P>> for Projective<P>
sourceimpl<'a, 'b, P: SWCurveConfig> Add<&'a mut Projective<P>> for &'b Projective<P>
impl<'a, 'b, P: SWCurveConfig> Add<&'a mut Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourcefn add(self, other: &'a mut Projective<P>) -> Projective<P>
fn add(self, other: &'a mut Projective<P>) -> Projective<P>
+
operation. Read moresourceimpl<'a, P: SWCurveConfig> Add<&'a mut Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> Add<&'a mut Projective<P>> for Projective<P>
sourceimpl<'b, P: SWCurveConfig> Add<Projective<P>> for &'b Projective<P>
impl<'b, P: SWCurveConfig> Add<Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourcefn add(self, other: Projective<P>) -> Projective<P>
fn add(self, other: Projective<P>) -> Projective<P>
+
operation. Read moresourceimpl<P: SWCurveConfig> Add<Projective<P>> for Affine<P>
impl<P: SWCurveConfig> Add<Projective<P>> for Affine<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourcefn add(self, other: Projective<P>) -> Projective<P>
fn add(self, other: Projective<P>) -> Projective<P>
+
operation. Read moresourceimpl<P: SWCurveConfig> Add<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> Add<Projective<P>> for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourceimpl<P: SWCurveConfig, T: Borrow<Affine<P>>> Add<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<Affine<P>>> Add<T> for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
+
operator.sourceimpl<'a, P: SWCurveConfig> AddAssign<&'a Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> AddAssign<&'a Projective<P>> for Projective<P>
sourcefn add_assign(&mut self, other: &'a Self)
fn add_assign(&mut self, other: &'a Self)
+=
operation. Read moresourceimpl<'a, P: SWCurveConfig> AddAssign<&'a mut Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> AddAssign<&'a mut Projective<P>> for Projective<P>
sourcefn add_assign(&mut self, other: &'a mut Self)
fn add_assign(&mut self, other: &'a mut Self)
+=
operation. Read moresourceimpl<P: SWCurveConfig> AddAssign<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> AddAssign<Projective<P>> for Projective<P>
sourcefn add_assign(&mut self, other: Self)
fn add_assign(&mut self, other: Self)
+=
operation. Read moresourceimpl<P: SWCurveConfig, T: Borrow<Affine<P>>> AddAssign<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<Affine<P>>> AddAssign<T> for Projective<P>
sourcefn add_assign(&mut self, other: T)
fn add_assign(&mut self, other: T)
+=
operation. Read moresourceimpl<P: SWCurveConfig> CanonicalDeserialize for Projective<P>
impl<P: SWCurveConfig> CanonicalDeserialize for Projective<P>
sourcefn deserialize_with_mode<R: Read>(
reader: R,
compress: Compress,
validate: Validate
) -> Result<Self, SerializationError>
fn deserialize_with_mode<R: Read>(
reader: R,
compress: Compress,
validate: Validate
) -> Result<Self, SerializationError>
fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_compressed_unchecked<R>(
reader: R
) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>where
R: Read,
fn deserialize_uncompressed_unchecked<R>(
reader: R
) -> Result<Self, SerializationError>where
R: Read,
sourceimpl<P: SWCurveConfig> CanonicalSerialize for Projective<P>
impl<P: SWCurveConfig> CanonicalSerialize for Projective<P>
sourcefn serialize_with_mode<W: Write>(
&self,
writer: W,
compress: Compress
) -> Result<(), SerializationError>
fn serialize_with_mode<W: Write>(
&self,
writer: W,
compress: Compress
) -> Result<(), SerializationError>
fn serialized_size(&self, compress: Compress) -> usize
fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn compressed_size(&self) -> usize
fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where
W: Write,
fn uncompressed_size(&self) -> usize
sourceimpl<P: SWCurveConfig> Clone for Projective<P>where
P: SWCurveConfig,
impl<P: SWCurveConfig> Clone for Projective<P>where
P: SWCurveConfig,
sourceimpl<P: SWCurveConfig> CurveGroup for Projective<P>
impl<P: SWCurveConfig> CurveGroup for Projective<P>
sourcefn normalize_batch(v: &[Self]) -> Vec<Self::Affine>
fn normalize_batch(v: &[Self]) -> Vec<Self::Affine>
Normalizes a slice of projective elements so that conversion to affine is cheap.
In more detail, this method converts a curve point in Jacobian coordinates (x, y, z) into an equivalent representation (x/z^2, y/z^3, 1).
For N = v.len()
, this costs 1 inversion + 6N field multiplications + N
field squarings.
(Where batch inversion comprises 3N field multiplications + 1 inversion of these operations)
type Config = P
type BaseField = <P as CurveConfig>::BaseField
type BaseField = <P as CurveConfig>::BaseField
type FullGroup = Affine<P>
type FullGroup = Affine<P>
sourcefn into_affine(self) -> Self::Affine
fn into_affine(self) -> Self::Affine
self
into the affine representation.sourceimpl<P: SWCurveConfig> Debug for Projective<P>
impl<P: SWCurveConfig> Debug for Projective<P>
sourceimpl<P: SWCurveConfig> Default for Projective<P>
impl<P: SWCurveConfig> Default for Projective<P>
sourceimpl<P: SWCurveConfig> Display for Projective<P>
impl<P: SWCurveConfig> Display for Projective<P>
sourceimpl<P: SWCurveConfig> Distribution<Projective<P>> for Standard
impl<P: SWCurveConfig> Distribution<Projective<P>> for Standard
sourcefn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Projective<P>
fn sample<R: Rng + ?Sized>(&self, rng: &mut R) -> Projective<P>
Generates a uniformly random instance of the curve.
sourceimpl<'a, P: BW6Parameters> From<&'a Projective<<P as BW6Parameters>::G1Parameters>> for G1Prepared<P>
impl<'a, P: BW6Parameters> From<&'a Projective<<P as BW6Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: &'a G1Projective<P>) -> Self
fn from(q: &'a G1Projective<P>) -> Self
sourceimpl<'a, P: BW6Parameters> From<&'a Projective<<P as BW6Parameters>::G2Parameters>> for G2Prepared<P>
impl<'a, P: BW6Parameters> From<&'a Projective<<P as BW6Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: &'a G2Projective<P>) -> Self
fn from(q: &'a G2Projective<P>) -> Self
sourceimpl<'a, P: Bls12Parameters> From<&'a Projective<<P as Bls12Parameters>::G1Parameters>> for G1Prepared<P>
impl<'a, P: Bls12Parameters> From<&'a Projective<<P as Bls12Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: &'a G1Projective<P>) -> Self
fn from(q: &'a G1Projective<P>) -> Self
sourceimpl<'a, P: Bls12Parameters> From<&'a Projective<<P as Bls12Parameters>::G2Parameters>> for G2Prepared<P>
impl<'a, P: Bls12Parameters> From<&'a Projective<<P as Bls12Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: &'a G2Projective<P>) -> Self
fn from(q: &'a G2Projective<P>) -> Self
sourceimpl<'a, P: BnParameters> From<&'a Projective<<P as BnParameters>::G1Parameters>> for G1Prepared<P>
impl<'a, P: BnParameters> From<&'a Projective<<P as BnParameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: &'a G1Projective<P>) -> Self
fn from(q: &'a G1Projective<P>) -> Self
sourceimpl<'a, P: BnParameters> From<&'a Projective<<P as BnParameters>::G2Parameters>> for G2Prepared<P>
impl<'a, P: BnParameters> From<&'a Projective<<P as BnParameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: &'a G2Projective<P>) -> Self
fn from(q: &'a G2Projective<P>) -> Self
sourceimpl<'a, P: MNT4Parameters> From<&'a Projective<<P as MNT4Parameters>::G1Parameters>> for G1Prepared<P>
impl<'a, P: MNT4Parameters> From<&'a Projective<<P as MNT4Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(g1: &'a G1Projective<P>) -> Self
fn from(g1: &'a G1Projective<P>) -> Self
sourceimpl<'a, P: MNT4Parameters> From<&'a Projective<<P as MNT4Parameters>::G2Parameters>> for G2Prepared<P>
impl<'a, P: MNT4Parameters> From<&'a Projective<<P as MNT4Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(g2: &'a G2Projective<P>) -> Self
fn from(g2: &'a G2Projective<P>) -> Self
sourceimpl<'a, P: MNT6Parameters> From<&'a Projective<<P as MNT6Parameters>::G1Parameters>> for G1Prepared<P>
impl<'a, P: MNT6Parameters> From<&'a Projective<<P as MNT6Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(g1: &'a G1Projective<P>) -> Self
fn from(g1: &'a G1Projective<P>) -> Self
sourceimpl<'a, P: MNT6Parameters> From<&'a Projective<<P as MNT6Parameters>::G2Parameters>> for G2Prepared<P>
impl<'a, P: MNT6Parameters> From<&'a Projective<<P as MNT6Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(g2: &'a G2Projective<P>) -> Self
fn from(g2: &'a G2Projective<P>) -> Self
sourceimpl<P: SWCurveConfig> From<Affine<P>> for Projective<P>
impl<P: SWCurveConfig> From<Affine<P>> for Projective<P>
sourcefn from(p: Affine<P>) -> Projective<P>
fn from(p: Affine<P>) -> Projective<P>
sourceimpl<P: BW6Parameters> From<Projective<<P as BW6Parameters>::G1Parameters>> for G1Prepared<P>
impl<P: BW6Parameters> From<Projective<<P as BW6Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: G1Projective<P>) -> Self
fn from(q: G1Projective<P>) -> Self
sourceimpl<P: BW6Parameters> From<Projective<<P as BW6Parameters>::G2Parameters>> for G2Prepared<P>
impl<P: BW6Parameters> From<Projective<<P as BW6Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: G2Projective<P>) -> Self
fn from(q: G2Projective<P>) -> Self
sourceimpl<P: Bls12Parameters> From<Projective<<P as Bls12Parameters>::G1Parameters>> for G1Prepared<P>
impl<P: Bls12Parameters> From<Projective<<P as Bls12Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: G1Projective<P>) -> Self
fn from(q: G1Projective<P>) -> Self
sourceimpl<P: Bls12Parameters> From<Projective<<P as Bls12Parameters>::G2Parameters>> for G2Prepared<P>
impl<P: Bls12Parameters> From<Projective<<P as Bls12Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: G2Projective<P>) -> Self
fn from(q: G2Projective<P>) -> Self
sourceimpl<P: BnParameters> From<Projective<<P as BnParameters>::G1Parameters>> for G1Prepared<P>
impl<P: BnParameters> From<Projective<<P as BnParameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(q: G1Projective<P>) -> Self
fn from(q: G1Projective<P>) -> Self
sourceimpl<P: BnParameters> From<Projective<<P as BnParameters>::G2Parameters>> for G2Prepared<P>
impl<P: BnParameters> From<Projective<<P as BnParameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(q: G2Projective<P>) -> Self
fn from(q: G2Projective<P>) -> Self
sourceimpl<P: MNT4Parameters> From<Projective<<P as MNT4Parameters>::G1Parameters>> for G1Prepared<P>
impl<P: MNT4Parameters> From<Projective<<P as MNT4Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(g1: G1Projective<P>) -> Self
fn from(g1: G1Projective<P>) -> Self
sourceimpl<P: MNT4Parameters> From<Projective<<P as MNT4Parameters>::G2Parameters>> for G2Prepared<P>
impl<P: MNT4Parameters> From<Projective<<P as MNT4Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(g2: G2Projective<P>) -> Self
fn from(g2: G2Projective<P>) -> Self
sourceimpl<P: MNT6Parameters> From<Projective<<P as MNT6Parameters>::G1Parameters>> for G1Prepared<P>
impl<P: MNT6Parameters> From<Projective<<P as MNT6Parameters>::G1Parameters>> for G1Prepared<P>
sourcefn from(g1: G1Projective<P>) -> Self
fn from(g1: G1Projective<P>) -> Self
sourceimpl<P: MNT6Parameters> From<Projective<<P as MNT6Parameters>::G2Parameters>> for G2Prepared<P>
impl<P: MNT6Parameters> From<Projective<<P as MNT6Parameters>::G2Parameters>> for G2Prepared<P>
sourcefn from(g2: G2Projective<P>) -> Self
fn from(g2: G2Projective<P>) -> Self
sourceimpl<P: SWCurveConfig> From<Projective<P>> for Affine<P>
impl<P: SWCurveConfig> From<Projective<P>> for Affine<P>
sourcefn from(p: Projective<P>) -> Affine<P>
fn from(p: Projective<P>) -> Affine<P>
sourceimpl<P: SWCurveConfig> Group for Projective<P>
impl<P: SWCurveConfig> Group for Projective<P>
sourcefn double_in_place(&mut self) -> &mut Self
fn double_in_place(&mut self) -> &mut Self
Sets self = 2 * self
. Note that Jacobian formulae are incomplete, and
so doubling cannot be computed as self + self
. Instead, this
implementation uses the following specialized doubling formulae:
type ScalarField = <P as CurveConfig>::ScalarField
type ScalarField = <P as CurveConfig>::ScalarField
F_r
, where r
is the order of this group.sourcefn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self
fn mul_bigint(&self, other: impl AsRef<[u64]>) -> Self
sourcefn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
fn mul_bits_be(&self, other: impl Iterator<Item = bool>) -> Self
sourceimpl<P: SWCurveConfig> Hash for Projective<P>
impl<P: SWCurveConfig> Hash for Projective<P>
sourceimpl<P: SWUParams> MapToCurve<Projective<P>> for SWUMap<P>
impl<P: SWUParams> MapToCurve<Projective<P>> for SWUMap<P>
sourcefn new() -> Result<Self, HashToCurveError>
fn new() -> Result<Self, HashToCurveError>
Constructs a new map if P
represents a valid map.
sourcefn map_to_curve(
&self,
point: P::BaseField
) -> Result<Affine<P>, HashToCurveError>
fn map_to_curve(
&self,
point: P::BaseField
) -> Result<Affine<P>, HashToCurveError>
Map an arbitrary base field element to a curve point. Based on https://github.com/zcash/pasta_curves/blob/main/src/hashtocurve.rs.
sourceimpl<P: WBParams> MapToCurve<Projective<P>> for WBMap<P>
impl<P: WBParams> MapToCurve<Projective<P>> for WBMap<P>
sourcefn new() -> Result<Self, HashToCurveError>
fn new() -> Result<Self, HashToCurveError>
Constructs a new map if P
represents a valid map.
sourcefn map_to_curve(
&self,
element: <Affine<P> as AffineRepr>::BaseField
) -> Result<Affine<P>, HashToCurveError>
fn map_to_curve(
&self,
element: <Affine<P> as AffineRepr>::BaseField
) -> Result<Affine<P>, HashToCurveError>
Map random field point to a random curve point inspired from https://github.com/zcash/pasta_curves/blob/main/src/hashtocurve.rs
sourceimpl<P: SWCurveConfig, T: Borrow<P::ScalarField>> Mul<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<P::ScalarField>> Mul<T> for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
*
operator.sourceimpl<P: SWCurveConfig, T: Borrow<P::ScalarField>> MulAssign<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<P::ScalarField>> MulAssign<T> for Projective<P>
sourcefn mul_assign(&mut self, other: T)
fn mul_assign(&mut self, other: T)
*=
operation. Read moresourceimpl<P: SWCurveConfig> Neg for Projective<P>
impl<P: SWCurveConfig> Neg for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourceimpl<P: SWCurveConfig> PartialEq<Affine<P>> for Projective<P>
impl<P: SWCurveConfig> PartialEq<Affine<P>> for Projective<P>
sourceimpl<P: SWCurveConfig> PartialEq<Projective<P>> for Affine<P>
impl<P: SWCurveConfig> PartialEq<Projective<P>> for Affine<P>
sourcefn eq(&self, other: &Projective<P>) -> bool
fn eq(&self, other: &Projective<P>) -> bool
sourceimpl<P: SWCurveConfig> PartialEq<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> PartialEq<Projective<P>> for Projective<P>
sourceimpl<P: SWCurveConfig> ScalarMul for Projective<P>
impl<P: SWCurveConfig> ScalarMul for Projective<P>
sourceimpl<'a, 'b, P: SWCurveConfig> Sub<&'a Projective<P>> for &'b Projective<P>
impl<'a, 'b, P: SWCurveConfig> Sub<&'a Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourcefn sub(self, other: &'a Projective<P>) -> Projective<P>
fn sub(self, other: &'a Projective<P>) -> Projective<P>
-
operation. Read moresourceimpl<'a, P: SWCurveConfig> Sub<&'a Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> Sub<&'a Projective<P>> for Projective<P>
sourceimpl<'a, 'b, P: SWCurveConfig> Sub<&'a mut Projective<P>> for &'b Projective<P>
impl<'a, 'b, P: SWCurveConfig> Sub<&'a mut Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourcefn sub(self, other: &'a mut Projective<P>) -> Projective<P>
fn sub(self, other: &'a mut Projective<P>) -> Projective<P>
-
operation. Read moresourceimpl<'a, P: SWCurveConfig> Sub<&'a mut Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> Sub<&'a mut Projective<P>> for Projective<P>
sourceimpl<'b, P: SWCurveConfig> Sub<Projective<P>> for &'b Projective<P>
impl<'b, P: SWCurveConfig> Sub<Projective<P>> for &'b Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourcefn sub(self, other: Projective<P>) -> Projective<P>
fn sub(self, other: Projective<P>) -> Projective<P>
-
operation. Read moresourceimpl<P: SWCurveConfig> Sub<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> Sub<Projective<P>> for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourceimpl<P: SWCurveConfig, T: Borrow<Affine<P>>> Sub<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<Affine<P>>> Sub<T> for Projective<P>
type Output = Projective<P>
type Output = Projective<P>
-
operator.sourceimpl<'a, P: SWCurveConfig> SubAssign<&'a Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> SubAssign<&'a Projective<P>> for Projective<P>
sourcefn sub_assign(&mut self, other: &'a Self)
fn sub_assign(&mut self, other: &'a Self)
-=
operation. Read moresourceimpl<'a, P: SWCurveConfig> SubAssign<&'a mut Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> SubAssign<&'a mut Projective<P>> for Projective<P>
sourcefn sub_assign(&mut self, other: &'a mut Self)
fn sub_assign(&mut self, other: &'a mut Self)
-=
operation. Read moresourceimpl<P: SWCurveConfig> SubAssign<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> SubAssign<Projective<P>> for Projective<P>
sourcefn sub_assign(&mut self, other: Self)
fn sub_assign(&mut self, other: Self)
-=
operation. Read moresourceimpl<P: SWCurveConfig, T: Borrow<Affine<P>>> SubAssign<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<Affine<P>>> SubAssign<T> for Projective<P>
sourcefn sub_assign(&mut self, other: T)
fn sub_assign(&mut self, other: T)
-=
operation. Read moresourceimpl<'a, P: SWCurveConfig> Sum<&'a Projective<P>> for Projective<P>
impl<'a, P: SWCurveConfig> Sum<&'a Projective<P>> for Projective<P>
sourceimpl<P: SWCurveConfig> Sum<Projective<P>> for Projective<P>
impl<P: SWCurveConfig> Sum<Projective<P>> for Projective<P>
sourceimpl<P: SWCurveConfig, T: Borrow<Affine<P>>> Sum<T> for Projective<P>
impl<P: SWCurveConfig, T: Borrow<Affine<P>>> Sum<T> for Projective<P>
sourceimpl<M: SWCurveConfig, ConstraintF: Field> ToConstraintField<ConstraintF> for Projective<M>where
M::BaseField: ToConstraintField<ConstraintF>,
impl<M: SWCurveConfig, ConstraintF: Field> ToConstraintField<ConstraintF> for Projective<M>where
M::BaseField: ToConstraintField<ConstraintF>,
fn to_field_elements(&self) -> Option<Vec<ConstraintF>>
sourceimpl<P: SWCurveConfig> Valid for Projective<P>
impl<P: SWCurveConfig> Valid for Projective<P>
fn check(&self) -> Result<(), SerializationError>
fn batch_check<'a>(
batch: impl Iterator<Item = &'a Self> + Send
) -> Result<(), SerializationError>where
Self: 'a,
sourceimpl<P: SWCurveConfig> VariableBaseMSM for Projective<P>
impl<P: SWCurveConfig> VariableBaseMSM for Projective<P>
sourcefn msm(bases: &[Self::MulBase], scalars: &[Self::ScalarField]) -> Self
fn msm(bases: &[Self::MulBase], scalars: &[Self::ScalarField]) -> Self
PrimeField
elements in scalars
and the corresponding group elements in bases
. Read moresourcefn msm_unchecked(
bases: &[Self::MulBase],
scalars: &[Self::ScalarField]
) -> Result<Self, usize>
fn msm_unchecked(
bases: &[Self::MulBase],
scalars: &[Self::ScalarField]
) -> Result<Self, usize>
bases.len() == scalars.len()
. Read more