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.

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 From<AffineStorage> for Affine

fn from(a: AffineStorage) -> Affine

Converts to this type from the 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 Copy for Affine

impl Eq for Affine

impl StructuralPartialEq for Affine