From me at runxiyu.org  Tue Mar 17 07:29:57 2026
From: me at runxiyu.org (Runxi Yu)
Date: Tue, 17 Mar 2026 14:29:57 +0000
Subject: [noise] Basic QP KEM hybrid scheme ideas
Message-ID: <DH54NUY12M4R.3A36LLLJY7H4G@runxiyu.org>

Dear all,

I wrote up a basic variant of noise that adds ke and kem tokens to
include PQ KEM contributions in ck. It's not as elegant as I want (CSIDH
is nice but too slow and too new), but it should work with ML-KEM (and
if you somehow fit the huge key into the protocol, potentially Classic
McEliece).

	https://runxiyu.org/comp/nkem1/

I'd appreciate any review; I'm still learning applied pi-calculus and
I'm currently unable to write ProVerif or anything.

Thank you!

Best wishes,
Runxi Yu