HPKE: Support for export-only AEAD ID #890
Description
Would it be possible to support the AEAD ID 0xFFFF and the Export() function for your HPKE implementation? I'm looking to access the exported secret (_export_secret) without encrypting any messages, and if I understand correctly, RFC 9180 seems to specify that AEAD ID for this purpose: