def ad.ae.bits

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

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

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

211# the bit length of n bytes as 8 little-endian bytes
212def ad.ae.bits(n: Nat) -> List<&2, U32>:
213  B.le64(W.W64.shl(ad.ae.w64(n, W.W64.zero()), 3n))

Uses (7)

Used by (2)