def fields
import qasim-bend-kit@0.1.0.2/proof/AES_IdentityProof.bend as AESIdentityProofimport Base
import qasim-bend-kit@0.1.0.2/libs/AES256GCM.bend as AES
60def fields(+envelope: AES.Envelope) -> List<&2, String>:
61 ["v1", AES.hex_bytes(AES.fixed_bytes(12n, AES.nonce_bytes(AES.envelope_nonce(envelope)))),
62 AES.hex_bytes(AES.fixed_bytes(16n, AES.tag_bytes(AES.envelope_tag(envelope)))),
63 AES.hex_bytes(AES.ciphertext(envelope))]