Function simfony_as_rust::jet::elliptic_curve_functions::point_verify_1

pub fn point_verify_1(a: ((Scalar, Point), Scalar), b: Point)

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.