def ad.ae.update

bend-osdev-aead@0.1.0.0 · aegis128.bend:39

import Base
import bend-osdev-aead@0.1.0.0/aesround.bend as R

39def ad.ae.update(+sb: R.AdSbox, st: AdAegisSt, +m: R.AdBlk) -> AdAegisSt:
40  match st:
41    case AdAegisSt{+a0, +a1, +a2, +a3, +a4}:
42      AdAegisSt{R.AdAes.round(sb, a4, R.AdBlk.xor(a0, m)), R.AdAes.round(sb, a0, a1), R.AdAes.round(sb, a1, a2), R.AdAes.round(sb, a2, a3), R.AdAes.round(sb, a3, a4)}