~/jendhub

def result_ciphertext_length

qasim-bend-kit@0.1.0.2 · proof/AES_EncryptProof.bend:190

import qasim-bend-kit@0.1.0.2/proof/AES_EncryptProof.bend as AESEncryptProof
import Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES

190def result_ciphertext_length(
191    result: Result<&2, &2, AES.Error, AES.Envelope>) -> Nat:
192    match result:
193        case Fail{error}: 0n
194        case Done{envelope}:
195            List.length(&2, U32, AES.ciphertext(envelope))

Uses (7)

Used by (1)