def parse_decoded_hex

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

import Base

523def parse_decoded_hex(nonce: Maybe<&2, List<&2, U32>>, tag: Maybe<&2, List<&2, U32>>,
524    ciphertext: Maybe<&2, List<&2, U32>>) -> Result<&2, &2, Error, Envelope>:
525    match nonce tag ciphertext:
526        case Some{+n} Some{+t} Some{+c}:
527            parse_decoded(n, t, c, aes_nat_eq_proof(List.length(&2, U32, n), 12n),
528                aes_nat_eq_proof(List.length(&2, U32, t), 16n), aes_bytes_valid_proof(n),
529                aes_bytes_valid_proof(t), aes_bytes_valid_proof(c))
530        case _ _ _: Fail{InvalidEnvelope{}}