~/jendhub

def decrypt_checked

qasim-bend-kit@0.1.0.2 · libs/AES256GCM.bend:502

import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES256GCM
import Base

502def decrypt_checked(+key: SecretKey, aad: List<&2, U32>, +envelope: Envelope,
503                    aad_ok: Bool, ciphertext_ok: Bool) -> Result<&2, &2, Error, List<&2, U32>>:
504    match aad_ok ciphertext_ok:
505        case False{} _: Fail{InvalidBytes{}}
506        case True{} False{}: Fail{InvalidBytes{}}
507        case True{} True{}: decrypt_authenticated(key, aad, envelope)

Uses (8)

Used by (6)