def ad.aes.col
import bend-osdev-aead@0.1.0.0/aesround.bend as Aesroundimport Base
164# one column of the round: rows 0 .. 3 from columns c, c + 1, c + 2, c + 3
165# (ShiftRows), each through the S-box (SubBytes), then MixColumns
166def ad.aes.col(+t: AdTab, +x0: U32, +x1: U32, +x2: U32, +x3: U32) -> U32:
167 ad.aes.mix(ad.aes.s(t, x0, 24n), ad.aes.s(t, x1, 16n), ad.aes.s(t, x2, 8n), ad.aes.s(t, x3, 0n))