Struct PallasAffine

pub struct PallasAffine {
    pub x: Fp,
    pub y: Fp,
}

Fields

x: Fp

y: Fp

Implementations

impl PallasAffine

pub fn generator() -> Self

pub fn random(rng: impl RngCore) -> Self

Trait Implementations

impl<'a, 'b> Add<&'a Pallas> for &'b PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'a Pallas) -> Pallas

Performs the + operation.

impl<'b> Add<&'b Pallas> for PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'b Pallas) -> Pallas

Performs the + operation.

impl<'a, 'b> Add<&'a PallasAffine> for &'b Pallas

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'a PallasAffine) -> Pallas

Performs the + operation.

impl<'a, 'b> Add<&'a PallasAffine> for &'b PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'a PallasAffine) -> Pallas

Performs the + operation.

impl<'b> Add<&'b PallasAffine> for Pallas

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'b PallasAffine) -> Pallas

Performs the + operation.

impl<'b> Add<&'b PallasAffine> for PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: &'b PallasAffine) -> Pallas

Performs the + operation.

impl<'a> Add<Pallas> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: Pallas) -> Pallas

Performs the + operation.

impl Add<Pallas> for PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: Pallas) -> Pallas

Performs the + operation.

impl<'a> Add<PallasAffine> for &'a Pallas

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: PallasAffine) -> Pallas

Performs the + operation.

impl<'a> Add<PallasAffine> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: PallasAffine) -> Pallas

Performs the + operation.

impl Add<PallasAffine> for Pallas

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: PallasAffine) -> Pallas

Performs the + operation.

impl Add for PallasAffine

type Output = Pallas

The resulting type after applying the + operator.

fn add(self, rhs: PallasAffine) -> Pallas

Performs the + operation.

impl<'b> AddAssign<&'b PallasAffine> for Pallas

fn add_assign(&mut self, rhs: &'b PallasAffine)

Performs the += operation.

impl AddAssign<PallasAffine> for Pallas

fn add_assign(&mut self, rhs: PallasAffine)

Performs the += operation.

impl Clone for PallasAffine

fn clone(&self) -> PallasAffine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl CofactorCurveAffine for PallasAffine

type Curve = Pallas

type Scalar = Fq

fn identity() -> Self

Returns the additive identity.

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl ConditionallySelectable for PallasAffine

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl ConstantTimeEq for PallasAffine

fn ct_eq(&self, other: &Self) -> Choice

Determine if two items are equal.

fn ct_ne(&self, other: &Self) -> Choice

Determine if two items are NOT equal.

impl CurveAffine for PallasAffine

type ScalarExt = Fq

The scalar field of this elliptic curve.

type Base = Fp

The base field over which this elliptic curve is constructed.

type CurveExt = Pallas

The projective form of the curve

fn is_on_curve(&self) -> Choice

Returns whether or not this element is on the curve; should always be true unless an “unchecked” API was used.

fn coordinates(&self) -> CtOption<Coordinates<Self>>

Gets the coordinates of this point.

fn from_xy(x: Self::Base, y: Self::Base) -> CtOption<Self>

Obtains a point given $(x, y)$, failing if it is not on the curve.

fn a() -> Self::Base

Returns the curve constant $a$.

fn b() -> Self::Base

Returns the curve constant $b$.

impl Debug for PallasAffine

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

Formats the value using the given formatter.

impl Default for PallasAffine

fn default() -> PallasAffine

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PallasAffine

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl<'a> From<&'a Pallas> for PallasAffine

fn from(p: &'a Pallas) -> PallasAffine

Converts to this type from the input type.

impl<'a> From<&'a PallasAffine> for Pallas

fn from(p: &'a PallasAffine) -> Pallas

Converts to this type from the input type.

impl From<Pallas> for PallasAffine

fn from(p: Pallas) -> PallasAffine

Converts to this type from the input type.

impl From<PallasAffine> for Pallas

fn from(p: PallasAffine) -> Pallas

Converts to this type from the input type.

impl GroupEncoding for PallasAffine

type Repr = Repr<[< $name:upper _COMPRESSED_SIZE >]>

The encoding of group elements.

fn from_bytes(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element from its encoding.

fn from_bytes_unchecked(bytes: &Self::Repr) -> CtOption<Self>

Attempts to deserialize a group element, not checking if the element is valid.

fn to_bytes(&self) -> Self::Repr

Converts this element into its byte encoding. This may or may not support encoding the identity.

impl<'a, 'b> Mul<&'b Fq> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the * operator.

fn mul(self, other: &'b Fq) -> Self::Output

Performs the * operation.

impl<'b> Mul<&'b Fq> for PallasAffine

type Output = Pallas

The resulting type after applying the * operator.

fn mul(self, rhs: &'b Fq) -> Pallas

Performs the * operation.

impl<'a> Mul<Fq> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the * operator.

fn mul(self, rhs: Fq) -> Pallas

Performs the * operation.

impl Mul<Fq> for PallasAffine

type Output = Pallas

The resulting type after applying the * operator.

fn mul(self, rhs: Fq) -> Pallas

Performs the * operation.

impl<'a> Neg for &'a PallasAffine

type Output = PallasAffine

The resulting type after applying the - operator.

fn neg(self) -> PallasAffine

Performs the unary - operation.

impl Neg for PallasAffine

type Output = PallasAffine

The resulting type after applying the - operator.

fn neg(self) -> PallasAffine

Performs the unary - operation.

impl PartialEq for PallasAffine

fn eq(&self, other: &PallasAffine) -> 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 PrimeCurveAffine for PallasAffine

type Curve = Pallas

type Scalar = Fq

fn generator() -> Self

Returns a fixed generator of unknown exponent.

fn identity() -> Self

Returns the additive identity.

fn is_identity(&self) -> Choice

Determines if this point represents the point at infinity; the additive identity.

fn to_curve(&self) -> Self::Curve

Converts this element to its curve representation.

impl SerdeObject for PallasAffine

fn from_raw_bytes_unchecked(bytes: &[u8]) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from bytes as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. As such this function should only be used internally as an extension of machine memory. It should not be used to deserialize externally provided data.

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

fn to_raw_bytes(&self) -> Vec<u8>

fn read_raw_unchecked<R: Read>(reader: &mut R) -> Self

The purpose of unchecked functions is to read the internal memory representation of a type from disk as quickly as possible. No sanitization checks are performed to ensure the bytes represent a valid object. This function should only be used internally when some machine state cannot be kept in memory (e.g., between runs) and needs to be reloaded as quickly as possible.

fn read_raw<R: Read>(reader: &mut R) -> Result<Self>

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

impl Serialize for PallasAffine

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl<'a, 'b> Sub<&'a Pallas> for &'b PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b Pallas> for PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: &'b Pallas) -> Pallas

Performs the - operation.

impl<'a, 'b> Sub<&'a PallasAffine> for &'b Pallas

type Output = Pallas

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'a, 'b> Sub<&'a PallasAffine> for &'b PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

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

Performs the - operation.

impl<'b> Sub<&'b PallasAffine> for Pallas

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: &'b PallasAffine) -> Pallas

Performs the - operation.

impl<'b> Sub<&'b PallasAffine> for PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: &'b PallasAffine) -> Pallas

Performs the - operation.

impl<'a> Sub<Pallas> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: Pallas) -> Pallas

Performs the - operation.

impl Sub<Pallas> for PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: Pallas) -> Pallas

Performs the - operation.

impl<'a> Sub<PallasAffine> for &'a Pallas

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: PallasAffine) -> Pallas

Performs the - operation.

impl<'a> Sub<PallasAffine> for &'a PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: PallasAffine) -> Pallas

Performs the - operation.

impl Sub<PallasAffine> for Pallas

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: PallasAffine) -> Pallas

Performs the - operation.

impl Sub for PallasAffine

type Output = Pallas

The resulting type after applying the - operator.

fn sub(self, rhs: PallasAffine) -> Pallas

Performs the - operation.

impl<'b> SubAssign<&'b PallasAffine> for Pallas

fn sub_assign(&mut self, rhs: &'b PallasAffine)

Performs the -= operation.

impl SubAssign<PallasAffine> for Pallas

fn sub_assign(&mut self, rhs: PallasAffine)

Performs the -= operation.

impl UncompressedEncoding for PallasAffine

type Uncompressed = Repr<{ 2*$base::SIZE }>

fn from_uncompressed(bytes: &Self::Uncompressed) -> CtOption<Self>

Attempts to deserialize an element from its uncompressed encoding.

fn from_uncompressed_unchecked(bytes: &Self::Uncompressed) -> CtOption<Self>

Attempts to deserialize an uncompressed element, not checking if the element is in the correct subgroup.

fn to_uncompressed(&self) -> Self::Uncompressed

Converts this element into its uncompressed encoding, so long as it’s not the point at infinity.

impl Copy for PallasAffine

impl Eq for PallasAffine

impl StructuralPartialEq for PallasAffine