Intel

AIKIDO-2026-243648

libcrux-sha3 is vulnerable to Improper Validation of Array Index

Improper Validation of Array Index Pre-CVE
Found by Aikido Intel before public disclosure or CVE publication.
Published Today

82

High Risk

This Affects:

RUSTlibcrux-sha3
0.0.0 - 0.0.9
Fixed in 0.0.10
Are you affected? Scan for Free

TL;DR

A flaw in the AVX2-optimized SHAKE-256 implementation could cause a panic due to an out-of-bounds indexing operation when processing output buffers larger than 32 bytes whose length is not a multiple of 8. An attacker able to trigger this code path with specially crafted input could cause a denial of service by crashing the application. This issue does not affect ML-KEM or ML-DSA, as they only use output buffer lengths that are multiples of 8.

Who does this affect?

You are affected if you are using a version that falls within the vulnerable range and you are using the libcrux_sha3::avx2::x4::shake256 function.

Background info

libcrux-sha3 is vulnerable to Improper Validation of Array Index in versions 0.0.0 - 0.0.9.

How to fix this

Upgrade the libcrux-sha3 library to the patch version.