~/jendhub

def envelope_ciphertext_valid

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

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

161def envelope_ciphertext_valid(envelope: Envelope) ->
162    {bytes_valid(ciphertext(envelope)) == True{} : Bool}:
163    match envelope:
164        case Envelope{nonce, ciphertext, tag, valid}: valid

Uses (4)

Used by (1)