Module embedded_curve_ops

Structs

• EmbeddedCurvePoint
  A point on the embedded elliptic curve By definition, the base field of the embedded curve is the scalar field of the proof system curve, i.e the Noir Field. x and y denotes the Weierstrass coordinates of the point.
• EmbeddedCurveScalar
  Scalar for the embedded curve represented as low and high limbs By definition, the scalar field of the embedded curve is base field of the proving system curve. It may not fit into a Field element, so it is represented with two Field elements; its low and high limbs.

Functions

• embedded_curve_add
  Elliptic curve addition IMPORTANT: this function is expected to perform a full addition in order to handle all corner cases:

  • points on the curve
  • point doubling
  • point at infinity As a result, you may not get optimal performance, depending on the assumptions of your inputs.
• fixed_base_scalar_mul
• multi_scalar_mul
  Computes a multi scalar multiplication over the embedded curve. For bn254, We have Grumpkin.