def aes.words

bend-osdev-cipher-modes@0.1.0.0 · aes.bend:203

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

203# the key's bytes as big-endian words
204def aes.words(xs: List<&2, U32>) -> List<&2, U32>:
205  match xs:
206    case Con{a, Con{b, Con{c, Con{d, t}}}}:
207      Con{M.cm.word(a, b, c, d), aes.words(t)}
208    case _:
209      Nil{}