Core.fips_compress16: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/sha/core.bend as Core
Lines 640-661 of bend-collections@1.0.0.0/src/crypto/sha/core.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/sha/core.bend&start_line=640&end_line=661

import Base
import bend-collections@1.0.0.0/src/crypto/sha/state.bend as S

# window_compress16 specialized to the FIPS table: no constant list is walked.
def fips_compress16(+a: U32, +b: U32, +c: U32, +d: U32,
  +e: U32, +f: U32, +g: U32, +h: U32,
  +i: U32, +j: U32, +k: U32, +l: U32,
  +m: U32, +n: U32, +o: U32, +p: U32, +q: Nat, +s: S.State) -> S.State:
  s1 = step(s, 1116352408, a)
  s2 = step(s1, 1899447441, b)
  s3 = step(s2, 3049323471, c)
  s4 = step(s3, 3921009573, d)
  s5 = step(s4, 961987163, e)
  s6 = step(s5, 1508970993, f)
  s7 = step(s6, 2453635748, g)
  s8 = step(s7, 2870763221, h)
  s9 = step(s8, 3624381080, i)
  s10 = step(s9, 310598401, j)
  s11 = step(s10, 607225278, k)
  s12 = step(s11, 1426881987, l)
  s13 = step(s12, 1925078388, m)
  s14 = step(s13, 2162078206, n)
  s15 = step(s14, 2614888103, o)
  s16 = step(s15, 3248222580, p)
  feedforward(s, kr16(q, W{p, o, n, m, l, k, j, i, h, g, f, e, d, c, b, a}, s16))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/core.bend&name=ShaWindow
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/core.bend&name=feedforward
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/core.bend&name=kr16
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/core.bend&name=step
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/sha/state.bend&name=State