def envelope_from_tag_proof

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

import Base

411def envelope_from_tag_proof(nonce: Nonce, +ciphertext: List<&2, U32>, tag_bytes: List<&2, U32>,
412    tag: Maybe<&2, Tag>, valid: Maybe<&0, {bytes_valid(ciphertext) == True{} : Bool}>) -> Maybe<&2, Envelope>:
413    match tag:
414        case None{}: None{}
415        case Some{tag}: envelope_from_proofs(nonce, ciphertext, tag, valid)