GHSA-vjf8-9fx6-mv6x: Triton vm Triton VM Soundness Vulnerability Due Vulnerability

MODERATE
Share
CWE-345
Published
Advisory Summary

GHSA-vjf8-9fx6-mv6x is a MODERATE triton vm soundness vulnerability due vulnerability (CWE-345: Insufficient Verification of Data Authenticity) affecting Triton vm libraries in the crates.io ecosystem. The issue involves triton vm soundness vulnerability due to missing constraint. Remediation is available by upgrading affected packages to version 4.0.0.

GHSA-vjf8-9fx6-mv6x at a Glance

CVE Identifier N/A
GHSA Identifier GHSA-vjf8-9fx6-mv6x
Severity MODERATE
CVSS v3.1 Base Score N/A
CWE Classification CWE-345: Insufficient Verification of Data Authenticity
Affected Product Triton vm
Package Ecosystem crates.io
Published Date
Last Updated

How to Fix GHSA-vjf8-9fx6-mv6x

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: 4.0.0 
Upgrade triton-vm to 4.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-vjf8-9fx6-mv6x, 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 4.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-345: Insufficient Verification of Data Authenticity, where the product does not sufficiently verify the origin or authenticity of data, in a way that causes it to accept invalid data. 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

The instruction `sponge_absorb_mem` Triton VM fails to verify that hashed values come from the claimed memory location. Malicious provers can substitute arbitrary data instead of actual memory contents. Any application using instruction `sponge_absorb_mem` to hash memory data can be given a proof for a forged hash that doesn't correspond to the actual memory. This breaks the security of memory-based commitments. The flaw was corrected in commits `17c7ba0a` and `ef9d9e72` by including the appropriate constraints.

GHSA-vjf8-9fx6-mv6x Affected Triton vm Versions

1 component(s)
Fixed Versions:
4.0.0
Product / Package Ecosystem Affected Versions Fixed Version
triton-vm
 crates.io
≥ 0.42.0-alpha.4
< 4.0.0
4.0.0

References

Security Fix Commit FIX COMMIT
https://github.com/TritonVM/triton-vm/commit/17c7ba0a19f31793f1c807a58afaf9504342aac5
Triton vm Source Repository REPOSITORY
https://github.com/TritonVM/triton-vm
rustsec.org/advisories/rustsec-... WEB
https://rustsec.org/advisories/RUSTSEC-2021-0156.html

Frequently Asked Questions

What is GHSA-vjf8-9fx6-mv6x?
GHSA-vjf8-9fx6-mv6x is a security vulnerability in Triton vm involving Triton VM Soundness Vulnerability due to Missing Constraint under CWE-345: Insufficient Verification of Data Authenticity.
Which Triton vm versions are affected?
Affected versions include releases prior to 4.0.0 across affected packages: triton-vm.
What version fixes GHSA-vjf8-9fx6-mv6x?
Upgrading to 4.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 4.0.0. Upgrade your dependency to 4.0.0 or later.
What CWE is associated with GHSA-vjf8-9fx6-mv6x?
GHSA-vjf8-9fx6-mv6x is classified under CWE-345: Insufficient Verification of Data Authenticity (The product does not sufficiently verify the origin or authenticity of data, in a way that causes it to accept invalid data.).
How can I check crates.io dependencies for GHSA-vjf8-9fx6-mv6x?
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
View Raw JSON 
{
  "schema_version" : "1.4.0",
  "id" : "GHSA-vjf8-9fx6-mv6x",
  "modified" : "2026-08-18T20:22:22Z",
  "published" : "2026-08-18T20:22:21Z",
  "aliases" : [ ],
  "summary" : "Triton VM Soundness Vulnerability due to Missing Constraint",
  "details" : "The instruction `sponge_absorb_mem` Triton VM fails to verify that hashed values come from the claimed memory location. Malicious provers can substitute arbitrary data instead of actual memory contents.\n\nAny application using instruction `sponge_absorb_mem` to hash memory data can be given a proof for a forged hash that doesn't correspond to the actual memory. This breaks the security of memory-based commitments.\n\nThe flaw was corrected in commits `17c7ba0a` and `ef9d9e72` by including the appropriate constraints.",
  "severity" : [ {
    "type" : "CVSS_V4",
    "score" : "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:L/VA:N/SC:N/SI:N/SA:N"
  } ],
  "affected" : [ {
    "package" : {
      "ecosystem" : "crates.io",
      "name" : "triton-vm"
    },
    "ranges" : [ {
      "type" : "ECOSYSTEM",
      "events" : [ {
        "introduced" : "0.42.0-alpha.4"
      }, {
        "fixed" : "4.0.0"
      } ]
    } ]
  } ],
  "references" : [ {
    "type" : "WEB",
    "url" : "https://github.com/TritonVM/triton-vm/commit/17c7ba0a19f31793f1c807a58afaf9504342aac5"
  }, {
    "type" : "PACKAGE",
    "url" : "https://github.com/TritonVM/triton-vm"
  }, {
    "type" : "WEB",
    "url" : "https://rustsec.org/advisories/RUSTSEC-2021-0156.html"
  } ],
  "database_specific" : {
    "cwe_ids" : [ "CWE-345" ],
    "severity" : "MODERATE",
    "github_reviewed" : true,
    "github_reviewed_at" : "2026-08-18T20:22:21Z",
    "nvd_published_at" : null
  }
}