Aegis128.ad.ae.update: def of bend-osdev-aead@0.1.0.0
Import: import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128
Lines 39-42 of bend-osdev-aead@0.1.0.0/aegis128.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aead@0.1.0.0/aegis128.bend&start_line=39&end_line=42

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

def ad.ae.update(+sb: R.AdSbox, st: AdAegisSt, +m: R.AdBlk) -> AdAegisSt:
  match st:
    case AdAegisSt{+a0, +a1, +a2, +a3, +a4}:
      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)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aegis128.bend&name=AdAegisSt
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdAes.round
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdBlk
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdBlk.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aead@0.1.0.0/aesround.bend&name=AdSbox