def ad.ae.zhead

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

import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128
import 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)

Uses (3)

Used by (10)