def hs.stb.v512
import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebogimport 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))))