~/jendhub

def ad.ae.init.go

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

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

57def ad.ae.init.go(n: Nat, +sb: R.AdSbox, +k: R.AdBlk, +kiv: R.AdBlk, st: AdAegisSt) -> AdAegisSt:
58  match n:
59    case 0n:
60      st
61    case 1n+p:
62      ad.ae.init.go(p, sb, k, kiv, ad.ae.update(sb, ad.ae.update(sb, st, k), kiv))

Uses (5)

Used by (1)