def verify
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1.bend as Secp256k1import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/ecdsa.bend as E
95def verify(+pk: List<&2, U32>, +hash: List<&2, U32>, +sig: List<&2, U32>) -> Bool:
96 E.verify(pk, hash, sig)