Skip to main content

Boteraser | Website and Server Security Solutions

🛡️ RUSTSEC-2025-0133 — libcrux-intrinsics

⚪ Unknown ✅ No Known Exploit OSV
N/A
CVSS Score
0 Low4 Medium7 High9 Critical10

Description

Incorrect calculation on aarch64

On platforms without the core::arch::aarch64::vxarq_u64 intrinsic, an unverified fallback in libcrux-intrinsics v0.0.3

passed incorrect arguments and produced wrong results. This corrupted SHA-3 digests and caused libcrux-ml-kem and

libcrux-ml-dsa to sample incorrectly, yielding incorrect shared secrets and invalid signatures.

The issue has been fixed in v0.0.4.

Affected software

RUSTSEC-2025-0133 is recorded against 1 package.

  • libcrux-intrinsics

Timeline and source

Published on 4 December 2025 and last revised on 6 December 2025. No public exploit is currently recorded for this entry. Record sourced from OSV.

References

crates.io (Package)
rustsec.org (Advisory)
github.com (Report)

Other advisories for this package

libcrux-intrinsics has other advisories on record. If you are patching this one, these are worth checking on the same host:

Details

Severity Unknown
CVSS Score N/A
CVSS Vector N/A
CWE N/A
Public Exploit ✅ No
Source OSV
Published 2025-12-04
Updated 2026-08-20
Modified 2025-12-06
Fix URL N/A

Affected Packages

Software From version Fixed in
libcrux-intrinsics — —

Similar Threats

Free Vulnerability Check

Is your site affected by RUSTSEC-2025-0133?

BotEraser helps you identify potentially vulnerable plugins and themes by checking your installation against RUSTSEC-2025-0133 and other known CVE records.

Scan My Site Free →

No credit card required  ·  Results in minutes

ⓘ Data Notice: The information presented above has been compiled from publicly available internet sources. Boteraser aggregates this data solely for informational purposes and does not independently classify, evaluate, or endorse any findings about the vulnerabilities listed. The accuracy and completeness of this information is the sole responsibility of the original publishers. Boteraser and its operators accept no liability for any decisions made based on this data.

Browse related advisories

All advisoriesRustsecRustsec 2025
✓