Struct Affine

pub struct Affine {
    pub x: Field,
    pub y: Field,
    pub infinity: bool,
}

A group element of the secp256k1 curve, in affine coordinates.

Fields

x: Field

y: Field

infinity: bool

Implementations

impl Affine

pub const fn new(x: Field, y: Field) -> Self

Create a new affine.

pub fn set_xy(&mut self, x: &Field, y: &Field)

Set a group element equal to the point with given X and Y coordinates.

pub fn set_xquad(&mut self, x: &Field) -> bool

Set a group element (affine) equal to the point with the given X coordinate and a Y coordinate that is a quadratic residue modulo p. The return value is true iff a coordinate with the given X coordinate exists.

pub fn set_xo_var(&mut self, x: &Field, odd: bool) -> bool

Set a group element (affine) equal to the point with the given X coordinate, and given oddness for Y. Return value indicates whether the result is valid.

pub fn is_infinity(&self) -> bool

Check whether a group element is the point at infinity.

pub fn is_valid_var(&self) -> bool

Check whether a group element is valid (i.e., on the curve).

pub fn neg_in_place(&mut self, other: &Affine)

pub fn neg(&self) -> Affine

pub fn set_gej(&mut self, a: &Jacobian)

Set a group element equal to another which is given in jacobian coordinates.

pub fn from_gej(a: &Jacobian) -> Self

pub fn set_gej_var(&mut self, a: &Jacobian)

pub fn set_gej_zinv(&mut self, a: &Jacobian, zi: &Field)

pub fn clear(&mut self)

Clear a secp256k1_ge to prevent leaking sensitive information.

impl Affine

pub fn compose(x: &Field, z: &Field) -> Affine

Trait Implementations

impl Clone for Affine

fn clone(&self) -> Affine

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Affine

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

Formats the value using the given formatter.

impl Default for Affine

fn default() -> Affine

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Affine

fn deserialize<D>(deserializer: D) -> Result<Affine, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<&[u8]> for Affine

fn from(value: &[u8]) -> Self

Converts to this type from the input type.

impl From<&[u8; 64]> for Affine

fn from(value: &[u8; 64]) -> Self

Converts to this type from the input type.

impl From<&Jacobian> for Affine

fn from(value: &Jacobian) -> Self

Converts to this type from the input type.

impl From<AffineStorage> for Affine

fn from(a: AffineStorage) -> Affine

Converts to this type from the input type.

impl From<Jacobian> for Affine

fn from(value: Jacobian) -> Self

Converts to this type from the input type.

impl Into<[u8; 64]> for Affine

fn into(self) -> [u8; 64]

Converts this type into the (usually inferred) input type.

impl Into<AffineStorage> for Affine

fn into(self) -> AffineStorage

Converts this type into the (usually inferred) input type.

impl PartialEq for Affine

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

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

where S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Affine

impl Eq for Affine

impl StructuralPartialEq for Affine