Vulnerability-Lookup

rustsec-2025-0133

Vulnerability from osv_rustsec

Published

2025-12-04 12:00

Modified

2025-12-06 07:36

Summary

Incorrect calculation on aarch64

Details

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.

References

URL

Type

	https://crates.io/crates/libcrux-intrinsics	PACKAGE
	https://rustsec.org/advisories/RUSTSEC-2025-0133.html	ADVISORY
	https://github.com/cryspen/libcrux/issues/1220	REPORT

JSON

To clipboard

{
  "affected": [
    {
      "database_specific": {
        "categories": [
          "crypto-failure"
        ],
        "cvss": null,
        "informational": null
      },
      "ecosystem_specific": {
        "affected_functions": null,
        "affects": {
          "arch": [
            "aarch64"
          ],
          "functions": [],
          "os": []
        }
      },
      "package": {
        "ecosystem": "crates.io",
        "name": "libcrux-intrinsics",
        "purl": "pkg:cargo/libcrux-intrinsics"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0.0.4-0"
            },
            {
              "fixed": "0.0.4"
            }
          ],
          "type": "SEMVER"
        }
      ],
      "versions": []
    }
  ],
  "aliases": [
    "GHSA-2cgv-28vr-rv6j"
  ],
  "database_specific": {
    "license": "CC0-1.0"
  },
  "details": "On platforms without the `core::arch::aarch64::vxarq_u64` intrinsic, an unverified fallback in `libcrux-intrinsics` v0.0.3\npassed incorrect arguments and produced wrong results. This corrupted SHA-3 digests and caused `libcrux-ml-kem` and\n`libcrux-ml-dsa` to sample incorrectly, yielding incorrect shared secrets and invalid signatures.\n\nThe issue has been fixed in v0.0.4.",
  "id": "RUSTSEC-2025-0133",
  "modified": "2025-12-06T07:36:56Z",
  "published": "2025-12-04T12:00:00Z",
  "references": [
    {
      "type": "PACKAGE",
      "url": "https://crates.io/crates/libcrux-intrinsics"
    },
    {
      "type": "ADVISORY",
      "url": "https://rustsec.org/advisories/RUSTSEC-2025-0133.html"
    },
    {
      "type": "REPORT",
      "url": "https://github.com/cryspen/libcrux/issues/1220"
    }
  ],
  "related": [],
  "severity": [],
  "summary": "Incorrect calculation on aarch64"
}

GHSA-2CGV-28VR-RV6J

Vulnerability from github – Published: 2025-12-04 17:24 – Updated: 2026-02-17 22:00

Summary

libcrux incorrectly calculates on aarch64

Details

The issue has been fixed in v0.0.4.

Severity

8.8 (High)


                  
                    CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:L/VA:N/SC:N/SI:N/SA:N

Show details on source website

JSON

To clipboard

{
  "affected": [
    {
      "package": {
        "ecosystem": "crates.io",
        "name": "libcrux-intrinsics"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0.0.3"
            },
            {
              "fixed": "0.0.4"
            }
          ],
          "type": "ECOSYSTEM"
        }
      ],
      "versions": [
        "0.0.3"
      ]
    },
    {
      "package": {
        "ecosystem": "crates.io",
        "name": "libcrux-ml-kem"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0.0.3"
            },
            {
              "fixed": "0.0.4"
            }
          ],
          "type": "ECOSYSTEM"
        }
      ],
      "versions": [
        "0.0.3"
      ]
    },
    {
      "package": {
        "ecosystem": "crates.io",
        "name": "libcrux-ml-dsa"
      },
      "ranges": [
        {
          "events": [
            {
              "introduced": "0.0.3"
            },
            {
              "fixed": "0.0.4"
            }
          ],
          "type": "ECOSYSTEM"
        }
      ],
      "versions": [
        "0.0.3"
      ]
    }
  ],
  "aliases": [],
  "database_specific": {
    "cwe_ids": [
      "CWE-200",
      "CWE-327"
    ],
    "github_reviewed": true,
    "github_reviewed_at": "2025-12-04T17:24:23Z",
    "nvd_published_at": null,
    "severity": "HIGH"
  },
  "details": "On platforms without the `core::arch::aarch64::vxarq_u64` intrinsic, an unverified fallback in `libcrux-intrinsics` v0.0.3\npassed incorrect arguments and produced wrong results. This corrupted SHA-3 digests and caused `libcrux-ml-kem` and\n`libcrux-ml-dsa` to sample incorrectly, yielding incorrect shared secrets and invalid signatures.\n\nThe issue has been fixed in v0.0.4.",
  "id": "GHSA-2cgv-28vr-rv6j",
  "modified": "2026-02-17T22:00:42Z",
  "published": "2025-12-04T17:24:23Z",
  "references": [
    {
      "type": "WEB",
      "url": "https://github.com/cryspen/libcrux/issues/1220"
    },
    {
      "type": "WEB",
      "url": "https://github.com/cryspen/libcrux/pull/1222"
    },
    {
      "type": "WEB",
      "url": "https://github.com/cryspen/libcrux/commit/8d10f45631afd1d93fabb2278dbb388a075b5608"
    },
    {
      "type": "PACKAGE",
      "url": "https://github.com/cryspen/libcrux"
    },
    {
      "type": "WEB",
      "url": "https://rustsec.org/advisories/RUSTSEC-2025-0133.html"
    }
  ],
  "schema_version": "1.4.0",
  "severity": [
    {
      "score": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:H/VI:L/VA:N/SC:N/SI:N/SA:N",
      "type": "CVSS_V4"
    }
  ],
  "summary": "libcrux incorrectly calculates on aarch64"
}

Sightings

Author	Source	Type	Date	Other

Nomenclature

Seen: The vulnerability was mentioned, discussed, or observed by the user.
Confirmed: The vulnerability has been validated from an analyst's perspective.
Published Proof of Concept: A public proof of concept is available for this vulnerability.
Exploited: The vulnerability was observed as exploited by the user who reported the sighting.
Patched: The vulnerability was observed as successfully patched by the user who reported the sighting.
Not exploited: The vulnerability was not observed as exploited by the user who reported the sighting.
Not confirmed: The user expressed doubt about the validity of the vulnerability.
Not patched: The vulnerability was not observed as successfully patched by the user who reported the sighting.

Detection rules are retrieved from Rulezet.

The MITRE ATT&CK techniques below are AI-generated suggestions, inferred from the description of the vulnerability by the CIRCL/vulnerability-attack-technique-classification-roberta-base model, served locally by ML-Gateway. They have not been verified by an analyst and are provided for guidance only.
The approach is described in our paper Mapping CVEs to MITRE ATT&CK Techniques: A Curated Gold-Set Classifier and the Limits of LLM-Assisted Label Expansion.
Browse all ATT&CK techniques and the vulnerabilities related to each.

Related by attack behaviour

Vulnerabilities whose description is nearest to this one in the vector space of the CIRCL/vulnerability-attack-technique-biencoder model. This is a similarity search over the bi-encoder space (plain cosine), not a classification, and it has no measured accuracy.