Module secp256kfun::op

Operations in the secp256k1 group.

The purpose of this module is to hold all the operations that can be done with secp256k1 Points and Scalars. Usually, you shouldn’t call these directly but instead use the group g! and scalar s! expression macros which compile your expressions into (potentially more efficient) calls to these functions.

Some of the functions here use the type parameters to try and optimize the operation they perform.

Functions

• double_mul
  Computes x * A + y * B more efficiently than calling scalar_mul_point twice.
• lincombDeprecated
  Does a linear combination of points
• point_add
  Adds two points together
• point_conditional_negate
  Conditionally negate a point
• point_eq
  Checks if two points are equal
• point_is_y_even
  Check if a point has an even y-coordinate
• point_negate
  Negate a point
• point_normalize
  Normalize a point
• point_scalar_dot_product
  Does a dot product of points with scalars
• point_sub
  Subtracts one point from another
• scalar_add
  Adds two scalars together (modulo the curve order)
• scalar_conditional_negate
  Conditionally negate a scalar
• scalar_dot_product
  Does a [dot product] between two iterators of scalars.
• scalar_eq
  Checks equality between two scalars
• scalar_invert
  Invert a scalar
• scalar_is_high
  Check if the scalar is high
• scalar_is_zero
  Check if the scalar is zero
• scalar_mul
  Multiplies two scalars together (modulo the curve order)
• scalar_mul_point
  Computes multiplies the point P by the scalar x.
• scalar_negate
  Negate a scalar
• scalar_sub
  Subtracts one scalar from another