def hs.stb.v512

bend-osdev-hashes@0.1.0.0 · streebog.bend:814

import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
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

814# The transformations on 512-bit vectors as 64-byte strings, byte i a_i (a
815# shorter string is a number's low bytes, zeros above; bytes past 64 are
816# ignored): LPS, and the compression function g_N(h, m) (RFC 6986,
817# sections 7 and 8)
818def hs.stb.v512(o: B.Octets) -> Hs.HsW16:
819  Hs.hs.block.le(B.take(64n, B.append(B.Octets.to_list(o), B.zeros(64n))))

Uses (7)

Used by (2)