def decrypt_auth_result
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCMimport Base
479def decrypt_auth_result(words: List<&2, U32>, envelope: Envelope, authenticated: Bool) -> Result<&2, &2, Error, List<&2, U32>>:
480 match authenticated:
481 case False{}: Fail{AuthenticationFailed{}}
482 case True{}: decrypt_payload(words, envelope)
Uses (7)
Used by (8)
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:finish_auth
- qasim-bend-kit@0.1.0.2/proof/AES_NistObservationProof:payload_parameters
- qasim-bend-kit@0.1.0.2/libs/AES256GCM:decrypt_authenticated_tag
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:decrypt_auth_tag_canonical
- qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof:successful_encrypt_decrypt_authenticated
- …