def xor_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aes/gcm.bend:87

import Base

87def xor_bytes(xs: List<&2, U32>, ks: List<&2, U32>) -> List<&2, U32>:
88  match xs ks:
89    case x <> xt k <> kt:
90      U32.xor(x, k) <> xor_bytes(xt, kt)
91    case _ _:
92      Nil{}