def gcm_decrypt_expanded
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
693def gcm_decrypt_expanded(+words: List<&2, U32>, nonce: List<&2, U32>, +ciphertext: List<&2, U32>) -> List<&2, U32>:
694 +start = gcm_inc32(gcm_j0(nonce))
695 +stream = gcm_ctr_stream_exact(List.length(&2, U32, ciphertext),
696 words, start)
697 gcm_zip_xor(ciphertext, stream)
Uses (7)
Used by (14)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:payload_parameters
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:xor_from_stream
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_cipher
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_decrypt_raw
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:decrypt_payload
- …