def zero
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as Gcmimport Base
22def zero() -> Block:
23 B{0, 0, 0, 0}
Uses (1)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:tag
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:absorb
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/gcm:tag_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/ghash:absorb_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/ghash:ghash_all_ok