def aes256gcm_nist_empty
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
506def aes256gcm_nist_empty() -> AES.Envelope:
507 AES.Envelope{aes256gcm_nist_nonce(), [],
508 AES.Tag{[253, 44, 170, 22, 165, 131, 46, 118, 170, 19, 44, 20, 83, 238, 218, 126], {==}, {==}}, {==}}
Uses (4)
Used by (9)
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:checkpoint_empty_authenticated
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:empty_decrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistVectorProof:empty_encrypt
- qasim-bend-kit@0.1.0.2/LAWS:aes256gcm_nist_canonical_encoding
- qasim-bend-kit@0.1.0.2/LAWS:aes256gcm_nist_canonical_parsing
- …