simfony_as_rust::jet::elliptic_curve_functions

Function point_verify_1

Source 
pub fn point_verify_1(a: ((Scalar, Point), Scalar), b: Point)
Expand description

Assert that a point b is equal to the linear combination a.0 * a.1 + a.2 * g, where g is the generator point.

§Panics

  • The assertion fails.
  • Fails if the points cannot be decompressed.

§Cost

41494 mWU (milli weight units)