В криптобиблиотеке libcrux исправлены паники на коротких и повреждённых данных

В криптобиблиотеке libcrux исправлены три случая паники при обработке коротких и повреждённых входных данных. Два из них позволяют удалённому атакующему без прав вызвать панику — оценка CVSS 8.2 и 8.7. Бюллетени вышли 7 октября 2026 года.

Что за библиотека

libcrux — криптографическая библиотека на Rust, развиваемая проектом Cryspen с опорой на формальную верификацию. Внутри неё — генератор псевдослучайных чисел HMAC-DRBG и реализация постквантовых KEM: гибридные схемы на базе X25519 и ML-KEM в драфтовой форме, а также X-Wing.

Паника в HMAC-DRBG

Автоматически повторно засеивающийся HMAC-DRBG паниковал, если запросить ненулевую длину вывода, кратную 65 536 байтам — максимальному объёму, который можно выдать до повторного посева. Функция HmacDrbgRng::fill_bytes в версиях не новее 0.0.1. Оценка CVSS 8.2, вектор — сеть, прав не требуется. Исправлено в 0.0.2 крейта libcrux-hmac-drbg.

Паника при разборе коротких ключей

Функции разбора X25519MlKem768Draft00PrivateKey::decode, X25519MlKem768Draft00PublicKey::decode и XWingKemDraft06PublicKey::decode паниковали на операции индексации, если входной срез короче длины соответствующего ключа: меньше 2400 байт для приватного ключа и меньше 1184 байт для публичных. Приложения, разбирающие переданные атакующим срезы, могли быть остановлены паникой. Оценка CVSS 8.7, прав не требуется. В версии 0.0.10 крейта libcrux-kem разбор стал возвращать ошибки InvalidPrivateKey и InvalidPublicKey.

Паника на коротком зерне

Третья уязвимость — паника при гибридной инкапсуляции из короткого зерна (seed), оценка CVSS 5.6. Исправлена в той же версии 0.0.10.

Характер ошибок

Все три — отсутствие проверки длины перед индексацией или обращением к генератору. Для кода на Rust это напоминание: паника при обработке непроверенных внешних данных превращается в отказ в обслуживании, особенно когда приложение собрано с политикой panic=abort.

Оригинал

Auto-Reseeding HMAC-DRBG could panic for some output lengths; Hybrid Encapsulation from Seed Panics on Short Seed; Panic on Decoding Short Hybrid Keys. The deserialization functions ... would panic during an indexing operation when provided an input slice that is shorter than the length of the given key type.