def verify

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

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

192# verify(Q, H, r || s): Q a SEC 1 public key, H 32 bytes, r || s 64 bytes
193def verify(+one: Nat, +pk: List<&2, U32>, +h: List<&2, U32>, +sig: List<&2, U32>, strict: Bool) -> Bool:
194  verify_len(one, pk, h, sig, strict, Bool.and(CV.length_is(32n, h), CV.length_is(64n, sig)))