def zero_pad

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/hmac.bend:39

import Base

39def zero_pad(+k: List<&2, U32>) -> List<&2, U32>:
40  List.append(&2, U32, k,
41    List.replicate(U32, Nat.sub(block_len(), List.length(&2, U32, k)), 0))