def suffix

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:782

import Base

782# FIPS padding suffix for a message of n bytes, computed with modular
783# arithmetic. The proofs state the streaming hash in terms of it.
784def suffix(+byte_length: Nat) -> List<&2, U32>:
785  128 <> List.append(&2, U32,
786    List.replicate(U32, Nat.mod(Nat.sub(119n, Nat.mod(byte_length, 64n)), 64n), 0), bit_length(byte_length))