Struct Secp256k1Affine 

pub struct Secp256k1Affine {
    pub x: BigUint,
    pub y: BigUint,
    pub is_point_at_infinity: Wire,
}

Curve point in affine form - a tuple (x, y) that satisfies y^2 = x^3 + 7, or (0, 0) for additive identity (point at infinity).

Fields

x: BigUint

y: BigUint

is_point_at_infinity: Wire

Implementations

impl Secp256k1Affine

pub fn point_at_infinity(b: &CircuitBuilder) -> Self

Point at infinity - the identity element.

pub fn generator(b: &CircuitBuilder) -> Self

Generator basepoint.

pub fn pai_unless(&self, b: &CircuitBuilder, cond: Wire) -> Secp256k1Affine

Return point-at-infinity unless the MSB-boolean cond is true, then pass the point unchanged.

Trait Implementations

impl Clone for Secp256k1Affine

fn clone(&self) -> Secp256k1Affine

Returns a duplicate of the value.

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

Performs copy-assignment from source.