def verify_ok

bend-collections@1.0.0.0 · src/crypto/secp256k1/ecdsa.bend:186

import Base
import bend-collections@1.0.0.0/src/crypto/secp256k1/point.bend as P

186def verify_ok(+q: P.Point, +z: List<&2, Nat>, +r: List<&2, Nat>, +s: List<&2, Nat>, ok: Bool) -> Bool:
187  match ok:
188    case True{}: verify_rs(q, z, r, s)
189    case False{}: False{}