def verify_ok

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/schnorr.bend:77

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as CV

77def verify_ok(+one: Nat, +r: Nat, +s: Nat, +e: Nat, +pp: CV.SPoint, ok: Bool) -> Bool:
78  match ok:
79    case True{}: verify_rs(one, r, s, e, pp)
80    case False{}: False{}