type Block
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as Gcmimport Base
16type Block is Data:
17 B{w0: U32, w1: U32, w2: U32, w3: U32}
Uses (1)
Used by (22)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/ghash_defs:R
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:Acc
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:unpack
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:zero
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:ghash
- …