def decrypt_expanded
qasim-bend-kit@0.1.0.2 · proof/AES_NistObservationProof.bend:138
import qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof.bend as AESNistObservationProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
138def decrypt_expanded(+words: List<&2, U32>, +aad: List<&2, U32>,
139 +envelope: AES.Envelope) -> Result<&2, &2, AES.Error, List<&2, U32>>:
140 match envelope:
141 case AES.Envelope{nonce, bytes, tag, valid}:
142 AES.decrypt_authenticated_tag(words, AES.raw_nonce_bytes(nonce), aad, bytes, envelope, tag)