Aria.aria.ek4: 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 4541-4543 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=4541&end_line=4543

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

# the four rotated round keys of one rotation: W0 xor (W1 >>> r), ...
def aria.ek4(+r: Nat, +w0: M.CmBlock, +w1: M.CmBlock, +w2: M.CmBlock, +w3: M.CmBlock) -> List<&2, M.CmBlock>:
  [M.CmBlock.xor(w0, aria.rotr(r, w1)), M.CmBlock.xor(w1, aria.rotr(r, w2)), M.CmBlock.xor(w2, aria.rotr(r, w3)), M.CmBlock.xor(aria.rotr(r, w0), w3)]

Uses (5):
  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.rotr