def update

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

import Base

56# K = HMAC_K(V || tag || seed), V = HMAC_K(V)
57def update(+k: List<&2, U32>, +v: List<&2, U32>, +tag: U32, +seed: List<&2, U32>) -> Drbg:
58  update_v(hmac(k, cat(v, tag <> seed)), v)