Function linear_verify_1

Source
pub fn linear_verify_1(a: ((Scalar, Ge), Scalar), b: Ge)
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.

§Cost

43364 mWU (milli weight units)