def verify_len

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

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

92def verify_len(+one: Nat, +pk: List<&2, U32>, +m: List<&2, U32>, +sig: List<&2, U32>, ok: Bool) -> Bool:
93  match ok:
94    case True{}: verify_p(one, pk, m, sig, lift_x(one, CV.os2ip(pk)))
95    case False{}: False{}