def aes256gcm_nist_aad_only
import qasim-bend-kit@0.1.0.2/LAWS.bend as LAWSimport Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
548def aes256gcm_nist_aad_only() -> AES.Envelope:
549 AES.Envelope{aes256gcm_nist_nonce(), [],
550 AES.Tag{[222, 52, 182, 220, 212, 206, 226, 253, 190, 195, 206, 160, 26, 241, 238, 68], {==}, {==}}, {==}}
Uses (4)
Used by (5)
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:aad_only_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:aad_only_encrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_aad_only_authenticated
- qasim-bend-kit@0.1.0.2/LAWS:aes256gcm_nist_aad_only_decrypt
- qasim-bend-kit@0.1.0.2/LAWS:aes256gcm_nist_aad_only_encrypt