def padding_suffix

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha.bend:61

import Base

61def padding_suffix(+n: Nat) -> List<&2, U32>:
62  128 <> List.append(&2, U32,
63    List.replicate(U32, zero_count(Nat.mod(n, 64n)), 0), length_field(n))