Aria.aria.xor: 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 4441-4446 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=4441&end_line=4446

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

# The state XORed with a round key, kept as a block (a word at a time: Bend's
# C backend takes at most 247 live one-word values, and a state is 128 bits)
def aria.xor(s: LcAriaSt, k: M.CmBlock) -> LcAriaSt:
  match s k:
    case LcAriaSt{x0, x1, x2, x3, x4, x5, x6, x7, x8, x9, x10, x11, x12, x13, x14, x15} M.CmBlock{w0, w1, w2, w3}:
      aria.of_quads(aria.xq(x0, x1, x2, x3, w0), aria.xq(x4, x5, x6, x7, w1), aria.xq(x8, x9, x10, x11, w2), aria.xq(x12, x13, x14, x15, w3))

Uses (4):
  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-legacy-ciphers@0.1.0.0/aria.bend&name=LcAriaSt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.of_quads
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/aria.bend&name=aria.xq