Streebog.hs.stb.compress.of: def of bend-osdev-hashes@0.1.0.0
Import: import bend-osdev-hashes@0.1.0.0/streebog.bend as Streebog
Lines 778-782 of bend-osdev-hashes@0.1.0.0/streebog.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&start_line=778&end_line=782

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

# One 64-byte block of stage 2: h = g_N(h, m), N += 512, Sigma += m
def hs.stb.compress.of(cv: HsStbCv, +m: Hs.HsW16) -> HsStbCv:
  match cv:
    case HsStbCv{h, +n, s, +t}:
      HsStbCv{hs.stb.g(t, n, h, m), hs.stb.add(n, hs.stb.small(512)), hs.stb.add(s, m), t}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/hashes.bend&name=HsW16
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=HsStbCv
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.add
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.g
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-hashes@0.1.0.0/streebog.bend&name=hs.stb.small