def sign_drbg

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

import Base

130def sign_drbg(+one: Nat, +e: Nat, +d: Nat, g: Drbg) -> Maybe<&2, List<&2, U32>>:
131  match g:
132    case Drbg{+k, +v}:
133      +v1 = hmac(k, v)
134      sign_loop(16n, one, e, d, k, v1, attempt(one, e, d, v1))