def block_bytes

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/aes/gcm.bend:51

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/gcm.bend as Gcm
import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/poly.bend as P

51def block_bytes(w: Word(128n)) -> List<&2, U32>:
52  bits_bytes(P.coefficients(128n, w))

Uses (5)

Used by (5)