def ad.ae.fin.go

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

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

189# Finalization: the tag from the state after the message, and the lengths
190def ad.ae.fin.go(n: Nat, +sb: R.AdSbox, +tmp: R.AdBlk, st: AdAegisSt) -> AdAegisSt:
191  match n:
192    case 0n:
193      st
194    case 1n+p:
195      ad.ae.fin.go(p, sb, tmp, ad.ae.update(sb, st, tmp))