type GcmCiphertext
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
300type GcmCiphertext is Data:
301 GcmCiphertext{
302 bytes: List<&2, U32>,
303 valid: {gcm_bytes_valid(bytes) == True{} : Bool}
304 }
Uses (4)
Used by (6)
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_ctr_encrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:ciphertext
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_ciphertext_bytes
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_output_from_ciphertext
- qasim-bend-kit@0.1.0.2/proof/AES_CoreTagProof:output_from_ciphertext_matches
- …