def HsMichael.final

bend-osdev-hashes@0.1.0.0 · michael.bend:72

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

72# the tag of the bytes so far
73def HsMichael.final(+s: Hs.HsMdState<Hs.HsW2>) -> B.Octets:
74  Hs.HsW2.le(Hs.HsMd.cv(~Hs.HsW2, Hs.HsMd.update_list(~Hs.HsW2, ~HsMichael.compress, ~3, s, hs.michael.pad(Hs.HsMd.count(~Hs.HsW2, s)))))