def verify_len

bend-collections@1.0.0.0 · src/crypto/secp256k1/schnorr.bend:80

import Base
import bend-collections@1.0.0.0/src/crypto/secp256k1/bytes.bend as B

80def verify_len(+pk: List<&2, U32>, +m: List<&2, U32>, +sig: List<&2, U32>, ok: Bool) -> Bool:
81  match ok:
82    case True{}: verify_p(pk, m, sig, lift_x(B.of_be(pk)))
83    case False{}: False{}