def gcm_ctr_encrypt
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
679def gcm_ctr_encrypt(+words: List<&2, U32>, nonce: List<&2, U32>,
680 +plaintext: List<&2, U32>) -> GcmCiphertext:
681 +start = gcm_inc32(gcm_j0(nonce))
682 +stream = gcm_ctr_stream_exact(List.length(&2, U32, plaintext),
683 words, start)
684 GcmCiphertext{gcm_zip_xor(plaintext, stream),
685 gcm_zip_xor_valid(plaintext, stream)}
Uses (9)
Used by (13)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_encrypt
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_encrypt_raw
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:expanded
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_cipher
- qasim-bend-kit@0.1.0.2/proof/AES_CoreTagProof:raw_encrypt_output_ciphertext
- …