def ad.ae.tag

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

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

197def ad.ae.tag(st: AdAegisSt) -> B.Octets:
198  match st:
199    case AdAegisSt{a0, a1, a2, a3, a4}:
200      R.AdBlk.to_octets(R.AdBlk.xor(R.AdBlk.xor(R.AdBlk.xor(a0, a1), R.AdBlk.xor(a2, a3)), a4))