def key_words

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

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

195# w[i] = [key[4i], key[4i+1], key[4i+2], key[4i+3]] for i < Nk.
196def key_words(key: List<&2, U32>) -> List<&2, T.Quad>:
197  match key:
198    case a <> b <> c <> d <> rest:
199      T.W{a, b, c, d} <> key_words(rest)
200    case _:
201      Nil{}