~/jendhub

def encrypt_using_plaintext_validity

qasim-bend-kit@0.1.0.2 · PROOF.bend:625

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

625def encrypt_using_plaintext_validity(key: AES.SecretKey, nonce: AES.Nonce,
626    +aad: List<&2, U32>, +plaintext: List<&2, U32>, plaintext_ok: Bool) ->
627    Result<&2, &2, AES.Error, AES.Envelope>:
628    AES.encrypt_checked(key, nonce, aad, plaintext,
629        AES.aad_valid(aad), plaintext_ok)

Uses (10)

Used by (1)