GHSA-5xgj-pmjj-gw49: Risc0 zkvm RISC Zero ZkVM Notes On Vulnerability

LOW
Share
Published
Advisory Summary

GHSA-5xgj-pmjj-gw49 is a LOW risc zero zkvm notes on vulnerability (General Security Weakness) affecting Risc0 zkvm libraries in the crates.io ecosystem. The issue involves risc zero zkvm notes on zero-knowledge. Remediation is available in the latest vendor maintenance releases.

GHSA-5xgj-pmjj-gw49 at a Glance

CVE Identifier N/A
GHSA Identifier GHSA-5xgj-pmjj-gw49
Severity LOW
CVSS v3.1 Base Score N/A
CWE Classification General Security Weakness
Affected Product Risc0 zkvm
Package Ecosystem crates.io
Published Date
Last Updated

How to Fix GHSA-5xgj-pmjj-gw49

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

risc0-zkvm fixed: Latest secure release 
Upgrade risc0-zkvm to Latest secure release
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 risc0-zkvm

How to Check if You Are Affected

To determine whether your application is affected by GHSA-5xgj-pmjj-gw49, inspect your project dependencies for Risc0 zkvm:

inspect dependencies for risc0-zkvm

Analyze the terminal output to locate any version of Risc0 zkvm in your dependency tree. If any resolved version matches the vulnerable ranges listed in the table below (for example, versions earlier than the patched release), 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 General Security Weakness. In Risc0 zkvm, 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

RISC Zero zkVM was designed from its inception to provide three main guarantees: 1. *Computational integrity*: that a given software program executed correctly. 2. *Succinctness*: that the proof of execution does not grow in relation to the program being executed. 3. *Zero Knowledge*: that details of the program execution are not visible within the proof of program execution. Ulrich Habock and Al Kindi have released [new research] that indicates that several STARK implementations -including our RISC Zero zkVM- do not meet the requirements to assert the specific property of zero knowledge provably. While a vast majority of real-world applications that leverage RISC Zero zkVM or similar systems depend primarily on computational integrity and succinctness, a subset of applications critically depend on the privacy guarantees provided by zero-knowledge; and for those use cases, users are cautioned to understand the research and make informed decisions based on the risks outlined in using an impacted system. Although the maintainers are not aware of any attacks that can take advantage of this potential weakness, they are working to proactively address this discovery as quickly as possible. [new research]: https://eprint.iacr.org/2024/1037

GHSA-5xgj-pmjj-gw49 Affected Risc0 zkvm Versions

1 component(s)
Product / Package Ecosystem Affected Versions Fixed Version
risc0-zkvm
 crates.io
≤ 1.0.2

References

GitHub Advisory / Wiki ADVISORY
https://github.com/risc0/risc0/security/advisories/GHSA-5xgj-pmjj-gw49
eprint.iacr.org/2024/1037 WEB
https://eprint.iacr.org/2024/1037
Risc0 zkvm Source Repository REPOSITORY
https://github.com/risc0/risc0

Frequently Asked Questions

What is GHSA-5xgj-pmjj-gw49?
GHSA-5xgj-pmjj-gw49 is a security vulnerability in Risc0 zkvm involving RISC Zero zkVM notes on zero-knowledge under General Security Weakness.
Which Risc0 zkvm versions are affected?
Affected versions include releases prior to current release patches across affected packages: risc0-zkvm.
What version fixes GHSA-5xgj-pmjj-gw49?
Upgrading to current release patches (or the latest patched release for your respective branch) resolves the vulnerability.
Is risc0-zkvm affected?
Yes, risc0-zkvm is affected in releases prior to Latest secure release. Upgrade your dependency to Latest secure release or later.
What CWE is associated with GHSA-5xgj-pmjj-gw49?
GHSA-5xgj-pmjj-gw49 is classified under General Security Weakness.
How can I check crates.io dependencies for GHSA-5xgj-pmjj-gw49?
Run the dependency tree command: 'inspect dependencies for risc0-zkvm'. 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-5xgj-pmjj-gw49",
  "modified" : "2024-07-15T18:32:22Z",
  "published" : "2024-07-15T18:32:22Z",
  "aliases" : [ ],
  "summary" : "RISC Zero zkVM notes on zero-knowledge",
  "details" : "RISC Zero zkVM was designed from its inception to provide three main guarantees:\n1. *Computational integrity*: that a given software program executed correctly.\n2. *Succinctness*: that the proof of execution does not grow in relation to the program being executed.\n3. *Zero Knowledge*: that details of the program execution are not visible within the proof of program execution.\n\nUlrich Habock and Al Kindi have released [new research] that indicates that several STARK implementations -including our RISC Zero zkVM- do not meet the requirements to assert the specific property of zero knowledge provably. \n\nWhile a vast majority of real-world applications that leverage RISC Zero zkVM or similar systems depend primarily on computational integrity and succinctness, a subset of applications critically depend on the privacy guarantees provided by zero-knowledge; and for those use cases, users are cautioned to understand the research and make informed decisions based on the risks outlined in using an impacted system.\n\nAlthough the maintainers are not aware of any attacks that can take advantage of this potential weakness, they are working to proactively address this discovery as quickly as possible. \n\n[new research]: https://eprint.iacr.org/2024/1037",
  "severity" : [ ],
  "affected" : [ {
    "package" : {
      "ecosystem" : "crates.io",
      "name" : "risc0-zkvm"
    },
    "ranges" : [ {
      "type" : "ECOSYSTEM",
      "events" : [ {
        "introduced" : "0"
      }, {
        "last_affected" : "1.0.2"
      } ]
    } ]
  } ],
  "references" : [ {
    "type" : "WEB",
    "url" : "https://github.com/risc0/risc0/security/advisories/GHSA-5xgj-pmjj-gw49"
  }, {
    "type" : "WEB",
    "url" : "https://eprint.iacr.org/2024/1037"
  }, {
    "type" : "PACKAGE",
    "url" : "https://github.com/risc0/risc0"
  } ],
  "database_specific" : {
    "cwe_ids" : [ ],
    "severity" : "LOW",
    "github_reviewed" : true,
    "github_reviewed_at" : "2024-07-15T18:32:22Z",
    "nvd_published_at" : null
  }
}