def sign_d

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/secp256k1/ecdsa.bend:136

import Base

136def sign_d(+one: Nat, +h: List<&2, U32>, +d: Nat, ok: Bool) -> Maybe<&2, List<&2, U32>>:
137  match ok:
138    case True{}:
139      +e = hash_scalar(one, h)
140      sign_drbg(one, e, d, drbg_init(cat(i2osp32(d), i2osp32(e))))
141    case False{}: None{}