def sign_fin

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

import Base

127def sign_fin(+one: Nat, +pb: List<&2, U32>, +m: List<&2, U32>, +sig: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
128  sign_if(sig, verify(one, pb, m, sig))