def xor_word

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/aes.bend:149

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend as T

149def xor_word(a: T.Quad, b: T.Quad) -> T.Quad:
150  match a b:
151    case T.W{a0, a1, a2, a3} T.W{b0, b1, b2, b3}:
152      T.W{U32.xor(a0, b0), U32.xor(a1, b1), U32.xor(a2, b2), U32.xor(a3, b3)}