01Решётки
RSA стоит на разложении на множители, эллиптические кривые — на дискретном логарифме; квантовый компьютер решает оба алгоритмом Шора. ML-KEM стоит на другой задаче: по матрице A и A·s + e с малым шумом e найти s. Квантового алгоритма, решающего её быстрее классического, не известно.
⋰
02Стандарт
FIPS 203, опубликован NIST в августе 2024-го после шестилетнего открытого конкурса. Эта страница реализует его строка за строкой: Keccak, арифметика в Z₃₃₂₉, теоретико-числовое преобразование, выборка, сжатие, K-PKE и сам KEM с неявным отказом.
◫
03Проверено
Шесть детерминированных seed'ов через этот код и через независимую реализацию: открытые и закрытые ключи, шифртексты и общие секреты совпадают байт в байт. SHA-3 и SHAKE сходятся с тестовыми векторами стандарта. Полный обмен здесь занимает около 50 мс.
↗
Размеры: открытый ключ 1184 байта, закрытый 2400, шифртекст 1088, общий секрет 32 — ровно как FIPS 203 задаёт для ML-KEM-768.
Ни сервера, ни запроса после открытия. Ключи рождаются здесь и умирают вместе с вкладкой.