def aria.xq

bend-osdev-legacy-ciphers@0.1.0.0 · aria.bend:4435

import Base

4435# four bytes XORed with the bytes of a round key's word
4436def aria.xq(x0: Word(8n), x1: Word(8n), x2: Word(8n), x3: Word(8n), w: U32) -> LcAriaQ:
4437  match w:
4438    case U32{+k}:
4439      LcAriaQ{Word.xor(8n, x0, aria.byte0(k)), Word.xor(8n, x1, aria.byte1(k)), Word.xor(8n, x2, aria.byte2(k)), Word.xor(8n, x3, aria.byte3(k))}