def verify_len

bend-collections@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:187

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

187def verify_len(+one: Nat, +pk: List<&2, U32>, +h: List<&2, U32>, +sig: List<&2, U32>, strict: Bool, ok: Bool) -> Bool:
188  match ok:
189    case True{}: verify_q(one, h, sig, strict, CV.decode(p(one), pk))
190    case False{}: False{}