Struct Secp256k1Coord

#[repr(C, align(32))]
pub struct Secp256k1Coord(/* private fields */);

Trait Implementations

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

type Output = Secp256k1Coord

The resulting type after applying the + operator.

fn add(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the + operation.

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

type Output = Secp256k1Coord

The resulting type after applying the + operator.

fn add(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the + operation.

impl Add for Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<'a> AddAssign<&'a Secp256k1Coord> for Secp256k1Coord

fn add_assign(&mut self, other: &'a Secp256k1Coord)

Performs the += operation.

impl AddAssign for Secp256k1Coord

fn add_assign(&mut self, other: Self)

Performs the += operation.

impl Clone for Secp256k1Coord

fn clone(&self) -> Secp256k1Coord

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Secp256k1Coord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Secp256k1Coord

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<'a> DivAssignUnsafe<&'a Secp256k1Coord> for Secp256k1Coord

fn div_assign_unsafe(&mut self, other: &'a Secp256k1Coord)

Undefined behaviour when denominator is not coprime to N

impl DivAssignUnsafe for Secp256k1Coord

fn div_assign_unsafe(&mut self, other: Self)

Undefined behaviour when denominator is not coprime to N

impl<'a> DivUnsafe<&'a Secp256k1Coord> for &Secp256k1Coord

fn div_unsafe(self, other: &'a Secp256k1Coord) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = Secp256k1Coord

Output type of div_unsafe.

impl<'a> DivUnsafe<&'a Secp256k1Coord> for Secp256k1Coord

fn div_unsafe(self, other: &'a Secp256k1Coord) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = Secp256k1Coord

Output type of div_unsafe.

impl DivUnsafe for Secp256k1Coord

fn div_unsafe(self, other: Self) -> Self::Output

Undefined behaviour when denominator is not coprime to N

type Output = Secp256k1Coord

Output type of div_unsafe.

impl Field for Secp256k1Coord

const ZERO: Self = <Self as IntMod>::ZERO

The zero element of the field, the additive identity.

const ONE: Self = <Self as IntMod>::ONE

The one element of the field, the multiplicative identity.

type SelfRef<'a> = &'a Secp256k1Coord

fn double_assign(&mut self)

Doubles self in-place.

fn square_assign(&mut self)

Square self in-place

fn invert(&self) -> Self

Unchecked inversion. See DivUnsafe.

impl FromCompressed<Secp256k1Coord> for Secp256k1Point

fn decompress(x: Secp256k1Coord, rec_id: &u8) -> Self

Given x-coordinate,

fn hint_decompress(x: &Secp256k1Coord, rec_id: &u8) -> Secp256k1Coord

If it exists, hints the unique y coordinate that is less than Coordinate::MODULUS such that (x, y) is a point on the curve and y has parity equal to rec_id. If such y does not exist, undefined behavior.

impl IntMod for Secp256k1Coord

const MODULUS: Self::Repr = _

Modulus as a Repr.

const ZERO: Self = _

The zero element (i.e. the additive identity).

const NUM_LIMBS: usize = 32usize

Number of limbs used to internally represent an element of Self.

const ONE: Self = _

The one element (i.e. the multiplicative identity).

type Repr = [u8; 32]

Underlying representation of IntMod. Usually of the form [u8; NUM_LIMBS].

type SelfRef<'a> = &'a Secp256k1Coord

SelfRef<'a> should almost always be &'a Self. This is a way to include implementations of binary operations where both sides are &'a Self.

fn from_repr(repr: Self::Repr) -> Self

Creates a new IntMod from an instance of Repr.

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

Creates a new IntMod from an array of bytes, little endian.

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

Creates a new IntMod from an array of bytes, big endian.

fn from_u8(val: u8) -> Self

Creates a new IntMod from a u8.

fn from_u32(val: u32) -> Self

Creates a new IntMod from a u32.

fn from_u64(val: u64) -> Self

Creates a new IntMod from a u64.

fn as_le_bytes(&self) -> &[u8]

Value of this IntMod as an array of bytes, little endian.

fn to_be_bytes(&self) -> [u8; 32]

Value of this IntMod as an array of bytes, big endian.

fn modulus_biguint() -> BigUint

Modulus N as a BigUint.

fn from_biguint(biguint: BigUint) -> Self

Creates a new IntMod from a BigUint.

fn as_biguint(&self) -> BigUint

Value of this IntMod as a BigUint.

fn neg_assign(&mut self)

fn double_assign(&mut self)

Doubles self in-place.

fn square_assign(&mut self)

Squares self in-place.

fn double(&self) -> Self

Doubles this IntMod.

fn square(&self) -> Self

Squares this IntMod.

fn cube(&self) -> Self

Cubes this IntMod.

fn assert_unique(&self)

zkVM specific concept: the in-memory values of Self will normally be in their canonical unique form (e.g., less than modulus) but the zkVM circuit does not constrain it. In cases where uniqueness is essential for security, this function should be called to constrain uniqueness.

fn reduce(&mut self)

This function is mostly for internal use in other internal implemntations. Normal users are not advised to use it.

impl<'a> Mul<&'a Secp256k1Coord> for &Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the * operator.

fn mul(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the * operation.

impl<'a> Mul<&'a Secp256k1Coord> for Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the * operator.

fn mul(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the * operation.

impl Mul for Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self::Output

Performs the * operation.

impl<'a> MulAssign<&'a Secp256k1Coord> for Secp256k1Coord

fn mul_assign(&mut self, other: &'a Secp256k1Coord)

Performs the *= operation.

impl MulAssign for Secp256k1Coord

fn mul_assign(&mut self, other: Self)

Performs the *= operation.

impl<'a> Neg for &'a Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl Neg for Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl PartialEq for Secp256k1Coord

fn eq(&self, other: &Self) -> 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<'a> Product<&'a Secp256k1Coord> for Secp256k1Coord

fn product<I: Iterator<Item = &'a Secp256k1Coord>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Product for Secp256k1Coord

fn product<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by multiplying the items.

impl Reduce for Secp256k1Coord

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

Interpret the given bytes as an integer and perform a modular reduction.

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

impl Serialize for Secp256k1Coord

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

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

type Output = Secp256k1Coord

The resulting type after applying the - operator.

fn sub(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the - operation.

impl<'a> Sub for &'a Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the - operator.

fn sub(self, other: &'a Secp256k1Coord) -> Self::Output

Performs the - operation.

impl Sub for Secp256k1Coord

type Output = Secp256k1Coord

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<'a> SubAssign<&'a Secp256k1Coord> for Secp256k1Coord

fn sub_assign(&mut self, other: &'a Secp256k1Coord)

Performs the -= operation.

impl SubAssign for Secp256k1Coord

fn sub_assign(&mut self, other: Self)

Performs the -= operation.

impl<'a> Sum<&'a Secp256k1Coord> for Secp256k1Coord

fn sum<I: Iterator<Item = &'a Secp256k1Coord>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Sum for Secp256k1Coord

fn sum<I: Iterator<Item = Self>>(iter: I) -> Self

Takes an iterator and generates Self from the elements by “summing up” the items.

impl Eq for Secp256k1Coord