def verify

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

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

97# Verify(pk, m, sig): pk 32 bytes, sig 64 bytes, m any length
98def verify(+one: Nat, +pk: List<&2, U32>, +m: List<&2, U32>, +sig: List<&2, U32>) -> Bool:
99  verify_len(one, pk, m, sig, Bool.and(CV.length_is(32n, pk), CV.length_is(64n, sig)))