Trait pairing_ce::CurveProjective

pub trait CurveProjective: PartialEq + Eq + Sized + Copy + Clone + Send + Sync + Debug + Display + Rand + 'static {
    type Engine: Engine<Fr = Self::Scalar>;
    type Scalar: PrimeField + SqrtField;
    type Base: SqrtField;
    type Affine: CurveAffine<Projective = Self, Scalar = Self::Scalar>;
    fn zero() -> Self;
    fn one() -> Self;
    fn is_zero(&self) -> bool;
    fn batch_normalization(v: &mut [Self]);
    fn is_normalized(&self) -> bool;
    fn double(&mut self);
    fn add_assign(&mut self, other: &Self);
    fn add_assign_mixed(&mut self, other: &Self::Affine);
    fn negate(&mut self);
    fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(
        &mut self, 
        other: S
    );
    fn into_affine(&self) -> Self::Affine;
    fn recommended_wnaf_for_scalar(
        scalar: <Self::Scalar as PrimeField>::Repr
    ) -> usize;
    fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize;

    fn sub_assign(&mut self, other: &Self) { ... }
    fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base) { ... }
    fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base) { ... }
    fn from_xyz_unchecked(
        _x: Self::Base, 
        _y: Self::Base, 
        _z: Self::Base
    ) -> Self { ... }
    fn from_xyz_checked(
        _x: Self::Base, 
        _y: Self::Base, 
        _z: Self::Base
    ) -> Result<Self, GroupDecodingError> { ... }
}

Projective representation of an elliptic curve point guaranteed to be in the correct prime order subgroup.

Associated Types

type Engine: Engine<Fr = Self::Scalar>

type Scalar: PrimeField + SqrtField

type Base: SqrtField

type Affine: CurveAffine<Projective = Self, Scalar = Self::Scalar>

Loading content...

Required methods

fn zero() -> Self

Returns the additive identity.

fn one() -> Self

Returns a fixed generator of unknown exponent.

fn is_zero(&self) -> bool

Determines if this point is the point at infinity.

fn batch_normalization(v: &mut [Self])

Normalizes a slice of projective elements so that conversion to affine is cheap.

fn is_normalized(&self) -> bool

Checks if the point is already “normalized” so that cheap affine conversion is possible.

fn double(&mut self)

Doubles this element.

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

Adds another element to this element.

fn add_assign_mixed(&mut self, other: &Self::Affine)

Adds an affine element to this element.

fn negate(&mut self)

Negates this element.

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

Performs scalar multiplication of this element.

fn into_affine(&self) -> Self::Affine

Converts this element into its affine representation.

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> 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.

Loading content...

Provided methods

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

Subtracts another element from this element.

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

Returns references to underlying X, Y and Z coordinates. Users should check for infinity outside of this call

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

Returns underlying X, Y and Z coordinates. Users should check for infinity outside of this call

fn from_xyz_unchecked(_x: Self::Base, _y: Self::Base, _z: Self::Base) -> Self

Creates a point from raw X, Y and Z coordinates. Point of infinity is encoded as (0,1,0) by default. On-curve check is NOT performed

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

Creates a point from raw X, Y and Z coordinates. Point of infinity is encoded as (0,1,0) by default. On-curve check is performed

Loading content...

Implementors

impl CurveProjective for pairing_ce::bls12_381::G1

type Engine = Bls12

type Scalar = Fr

type Base = Fq

type Affine = G1Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G1Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

impl CurveProjective for pairing_ce::bls12_381::G2

type Engine = Bls12

type Scalar = Fr

type Base = Fq2

type Affine = G2Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G2Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

impl CurveProjective for pairing_ce::bn256::G1

type Engine = Bn256

type Scalar = Fr

type Base = Fq

type Affine = G1Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G1Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

impl CurveProjective for pairing_ce::bn256::G2

type Engine = Bn256

type Scalar = Fr

type Base = Fq2

type Affine = G2Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G2Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

impl CurveProjective for pairing_ce::compact_bn256::G1

type Engine = Bn256

type Scalar = Fr

type Base = Fq

type Affine = G1Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G1Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

impl CurveProjective for pairing_ce::compact_bn256::G2

type Engine = Bn256

type Scalar = Fr

type Base = Fq2

type Affine = G2Affine

fn zero() -> Self

fn one() -> Self

fn is_zero(&self) -> bool

fn is_normalized(&self) -> bool

fn batch_normalization(v: &mut [Self])

fn double(&mut self)

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

fn add_assign_mixed(&mut self, other: &Self::Affine)

fn negate(&mut self)

fn mul_assign<S: Into<<Self::Scalar as PrimeField>::Repr>>(&mut self, other: S)

fn into_affine(&self) -> G2Affine

fn recommended_wnaf_for_scalar(
    scalar: <Self::Scalar as PrimeField>::Repr
) -> usize

fn recommended_wnaf_for_num_scalars(num_scalars: usize) -> usize

fn as_xyz(&self) -> (&Self::Base, &Self::Base, &Self::Base)

fn into_xyz_unchecked(self) -> (Self::Base, Self::Base, Self::Base)

fn from_xyz_unchecked(x: Self::Base, y: Self::Base, z: Self::Base) -> Self

fn from_xyz_checked(
    _x: Self::Base,
    _y: Self::Base,
    _z: Self::Base
) -> Result<Self, GroupDecodingError>

Loading content...