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)