Aria.aria.ws: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/aria.bend as Aria
Lines 4575-4580 of bend-osdev-legacy-ciphers@0.1.0.0/aria.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&start_line=4575&end_line=4580

import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

# W0 .. W3 and the round keys, for CK1, CK2, CK3 = C(c1), C(c2), C(c3)
def aria.ws(+kl: M.CmBlock, +kr: M.CmBlock, c1: Nat, c2: Nat, c3: Nat) -> List<&2, M.CmBlock>:
  +w1 = M.CmBlock.xor(aria.fo(kl, aria.c(c1)), kr)
  +w2 = M.CmBlock.xor(aria.fe(w1, aria.c(c2)), kl)
  +w3 = M.CmBlock.xor(aria.fo(w2, aria.c(c3)), w1)
  aria.eks(kl, w1, w2, w3)

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend&name=CmBlock.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.c
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.eks
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.fe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.fo