~/jendhub

def ad.ae.absorb

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

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

68# the state after the associated data's 16-byte pieces (the last
69# zero-padded)
70def ad.ae.absorb(+sb: R.AdSbox, ps: List<&2, List<&2, U32>>, st: AdAegisSt) -> AdAegisSt:
71  match ps:
72    case Nil{}:
73      st
74    case Con{p, t}:
75      ad.ae.absorb(sb, t, ad.ae.update(sb, st, R.AdBlk.of_list(p)))

Uses (6)

Used by (1)