def padding_suffix

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha512.bend:168

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha512.bend as Sha512

import Base

168def padding_suffix(+n: Nat) -> List<&2, U32>:
169  128 <> List.append(&2, U32,
170    List.replicate(U32, zero_count(Nat.mod(n, 128n)), 0), length_field(n))

Uses (8)

Used by (2)