def ad.ae.zhead
import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128import Base
120# the next keystream byte
121def ad.ae.zhead(r: AdAegisRun) -> U32:
122 match r:
123 case AdAegisRun{st, zs, buf, n}:
124 ad.ae.head(zs)
import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128import Base
120# the next keystream byte
121def ad.ae.zhead(r: AdAegisRun) -> U32:
122 match r:
123 case AdAegisRun{st, zs, buf, n}:
124 ad.ae.head(zs)