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, if is_infinite is false.
• 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
  This function only assumes that the points are on the curve It handles corner cases around the infinity point causing some overhead compared to embedded_curve_add_not_nul and embedded_curve_add_unsafe
• embedded_curve_add_not_nul
  This function assumes that: The points are on the curve, and The points don't share an x-coordinate, and Neither point is the infinity point. If it is used with correct input, the function ensures the correct non-zero result is returned. Except for points on the curve, the other assumptions are checked by the function. It will cause assertion failure if they are not respected.
• embedded_curve_add_unsafe
  Unsafe ec addition If the inputs are the same, it will perform a doubling, but only if point1 and point2 are the same variable. If they have the same value but are different variables, the result will be incorrect because in this case it assumes (but does not check) that the points' x-coordinates are not equal. It also assumes neither point is the infinity point.
• fixed_base_scalar_mul
• multi_scalar_mul