GHSA-rjr4-v43m-pxq6: Triton vm Triton VM Has A Soundness Vulnerability

LOW
CWE-330
Published
Advisory Summary

GHSA-rjr4-v43m-pxq6 is a LOW triton vm has a soundness vulnerability (CWE-330: Use of Insufficiently Random Values) affecting Triton vm libraries in the crates.io ecosystem. The issue involves triton vm has a soundness vulnerability due to improper sampling of randomness. Remediation is available by upgrading affected packages to version 2.0.0.

GHSA-rjr4-v43m-pxq6 at a Glance

CVE Identifier N/A
GHSA Identifier GHSA-rjr4-v43m-pxq6
Severity LOW
CVSS v3.1 Base Score N/A
CWE Classification CWE-330: Use of Insufficiently Random Values
Affected Product Triton vm
Package Ecosystem crates.io
Published Date
Last Updated

How to Fix GHSA-rjr4-v43m-pxq6

To remediate this vulnerability, upgrade all affected Triton vm dependencies to a patched release. Both direct and transitive dependencies should be checked, as frameworks or security libraries may pull in vulnerable versions transitively.

triton-vm fixed: 2.0.0
Upgrade triton-vm to 2.0.0
Verify Direct and Transitive Dependencies

Run the following command in your project directory to verify that all resolved dependencies use the patched release:

inspect dependencies for triton-vm

How to Check if You Are Affected

To determine whether your application is affected by GHSA-rjr4-v43m-pxq6, inspect your project dependencies for Triton vm:

inspect dependencies for triton-vm

Analyze the terminal output to locate any version of Triton vm in your dependency tree. If any resolved version matches the vulnerable ranges listed in the table below (for example, versions earlier than 2.0.0), your application is affected.

Note: Verify declared build manifests and deployed runtime container environments.

Technical Details

Vulnerability Mechanism & Technical Analysis

This vulnerability is classified under CWE-330: Use of Insufficiently Random Values, where the product uses insufficiently random numbers or values in a security context that depends on unpredictable numbers. In Triton vm, software state validation or input boundaries are circumvented during processing. Review the official source advisory statement below for specific affected components, classes, and reproduction details.

Source Advisory Statement

In affected versions of Triton VM, the verifier failed to correctly sample randomness in the FRI sub-protocol. Malicious provers can exploit this to craft proofs for arbitrary statements that this verifier accepts as valid, undermining soundness. Protocols that rely on proofs and the supplied verifier of the affected versions of Triton VM are completely broken. Protocols implementing their own verifier might be unaffected. The flaw was corrected in commit 3a045d63, where the relevant randomness is sampled correctly.

GHSA-rjr4-v43m-pxq6 Affected Triton vm Versions

1 component(s)
Fixed Versions:
2.0.0
Product / Package Ecosystem Affected Versions Fixed Version
triton-vm
crates.io
≥ 0.41.0
< 2.0.0
2.0.0

References

Frequently Asked Questions

What is GHSA-rjr4-v43m-pxq6?
GHSA-rjr4-v43m-pxq6 is a security vulnerability in Triton vm involving Triton VM has a Soundness Vulnerability due to Improper Sampling of Randomness under CWE-330: Use of Insufficiently Random Values.
Which Triton vm versions are affected?
Affected versions include releases prior to 2.0.0 across affected packages: triton-vm.
What version fixes GHSA-rjr4-v43m-pxq6?
Upgrading to 2.0.0 (or the latest patched release for your respective branch) resolves the vulnerability.
Is triton-vm affected?
Yes, triton-vm is affected in releases prior to 2.0.0. Upgrade your dependency to 2.0.0 or later.
What CWE is associated with GHSA-rjr4-v43m-pxq6?
GHSA-rjr4-v43m-pxq6 is classified under CWE-330: Use of Insufficiently Random Values (The product uses insufficiently random numbers or values in a security context that depends on unpredictable numbers.).
How can I check crates.io dependencies for GHSA-rjr4-v43m-pxq6?
Run the dependency tree command: 'inspect dependencies for triton-vm'. This command lists direct and transitive dependencies in your build configuration so you can verify if a vulnerable version is resolved.
Machine-readable OSV JSON OSV v1.5 Schema
Normalized schema output
{
  "schema_version" : "1.4.0",
  "id" : "GHSA-rjr4-v43m-pxq6",
  "modified" : "2026-01-22T13:41:48Z",
  "published" : "2026-01-21T22:52:56Z",
  "aliases" : [ ],
  "summary" : "Triton VM has a Soundness Vulnerability due to Improper Sampling of Randomness",
  "details" : "In affected versions of Triton VM, the verifier failed to correctly sample randomness in the FRI sub-protocol.\n\nMalicious provers can exploit this to craft proofs for arbitrary statements that this verifier accepts as valid, undermining soundness.\n\nProtocols that rely on proofs and the supplied verifier of the affected versions of Triton VM are completely broken. Protocols implementing their own verifier might be unaffected.\n\nThe flaw was corrected in commit 3a045d63, where the relevant randomness is sampled correctly.",
  "severity" : [ {
    "type" : "CVSS_V4",
    "score" : "CVSS:4.0/AV:N/AC:H/AT:N/PR:N/UI:N/VC:L/VI:L/VA:N/SC:N/SI:N/SA:N/E:U"
  } ],
  "affected" : [ {
    "package" : {
      "ecosystem" : "crates.io",
      "name" : "triton-vm"
    },
    "ranges" : [ {
      "type" : "ECOSYSTEM",
      "events" : [ {
        "introduced" : "0.41.0"
      }, {
        "fixed" : "2.0.0"
      } ]
    } ]
  } ],
  "references" : [ {
    "type" : "WEB",
    "url" : "https://github.com/TritonVM/triton-vm/commit/3a045d636e97bb2eb628671db0001aa665c19dd8"
  }, {
    "type" : "PACKAGE",
    "url" : "https://github.com/TritonVM/triton-vm"
  }, {
    "type" : "WEB",
    "url" : "https://github.com/TritonVM/triton-vm/releases/tag/v2.0.0"
  }, {
    "type" : "WEB",
    "url" : "https://rustsec.org/advisories/RUSTSEC-2026-0004.html"
  } ],
  "database_specific" : {
    "cwe_ids" : [ "CWE-330" ],
    "severity" : "LOW",
    "github_reviewed" : true,
    "github_reviewed_at" : "2026-01-21T22:52:56Z",
    "nvd_published_at" : null
  }
}