def sign

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

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

166# Sign(sk, m, a): sk and a 32 bytes, m any length
167def sign(+one: Nat, +sk: List<&2, U32>, +m: List<&2, U32>, +aux: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
168  sign_ok(one, sk, m, aux, Bool.and(CV.length_is(32n, aux), secret_ok(one, sk)))