def gcm_ctr_stream_exact
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
514def gcm_ctr_stream_exact(fuel: Nat, +words: List<&2, U32>,
515 +start: List<&2, U32>) -> List<&2, U32>:
516 gcm_ctr_stream_exact.go(fuel, words, start, Nil{})
Uses (4)
Used by (17)
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_decrypt_expanded
- qasim-bend-kit@0.1.0.2/libs/AES256GCMCore:gcm_ctr_encrypt
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:stream_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
- …