def drbg_init
import bend-collections@1.0.0.0/spec/crypto/secp256k1/ecdsa.bend as Ecdsaimport Base
64# steps b-g, with seed = int2octets(x) || bits2octets(h1)
65def drbg_init(+seed: List<&2, U32>) -> Drbg:
66 update2(update(fill(32n, 0), fill(32n, 1), 0, seed), seed)