type Acc
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as Gcmimport Base
19type Acc is Data:
20 Acc{z: Block, v: Block}
Uses (1)
Used by (14)
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/ghash_defs:steps
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:step
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/aes/ghash_defs:F
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:absorb
- bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm:acc_z
- …