def ad.ae.dafter

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

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

163def ad.ae.dafter(ys: List<&2, U32>, +sb: R.AdSbox, +r: AdAegisRun) -> AdAegisRun:
164  match ys:
165    case Nil{}:
166      r
167    case Con{+y, t}:
168      ad.ae.dafter(t, sb, ad.ae.step(sb, r, B.byte(U32.xor(y, ad.ae.zhead(r)))))