Function linear_verify_1

pub fn linear_verify_1(a: ((Scalar, Ge), Scalar), b: Ge)

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.