def gcm_output_from_ciphertext
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
672def gcm_output_from_ciphertext(+words: List<&2, U32>,
673 nonce: List<&2, U32>, aad: List<&2, U32>,
674 cipher_output: GcmCiphertext) -> GcmOutput:
675 match cipher_output:
676 case GcmCiphertext{+ciphertext, valid}:
677 gcm_output_from_tag(words, nonce, aad, ciphertext, valid)