Refine your search

5 vulnerabilities found for openvm by openvm-org

CVE-2026-62333 (GCVE-0-2026-62333)
Vulnerability from cvelistv5
Published
2026-10-30 20:08
Modified
2026-11-05 02:39
Severity ?
8.7 (High) - CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
CWE
  • CWE-20 - Improper Input Validation
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `MemoryMerkleAir` does not forbid Merkle expansion rows at `parent_height` = 0 or below while `expand_direction` != 0. A malicious prover can fabricate a subtree below a memory leaf and swap digests inside that subtree to change the committed memory root without a corresponding memory operation. The fraudulent rows still balance against the Merkle and compression buses and require no memory-bus operation for the changed leaf. Because the memory Merkle root binds VM memory state across continuation segment boundaries, this affects the soundness of OpenVM proofs using persistent memory. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.
References
Impacted products
Vendor Product Version
openvm-org openvm Version: < 1.7.0
Version: >= 2.0.0-alpha, < 2.0.0-rc.3
Version: >= 2.1.0-dev.0, < 2.1.0-preview
 Create a notification for this product.
Show details on NVD website

To clipboard 

{
  "containers": {
    "adp": [
      {
        "metrics": [
          {
            "other": {
              "content": {
                "id": "CVE-2026-62333",
                "options": [
                  {
                    "Exploitation": "none"
                  },
                  {
                    "Automatable": "yes"
                  },
                  {
                    "Technical Impact": "partial"
                  }
                ],
                "role": "CISA Coordinator",
                "timestamp": "2026-11-05T02:39:44.088042Z",
                "version": "2.0.3"
              },
              "type": "ssvc"
            }
          }
        ],
        "providerMetadata": {
          "dateUpdated": "2026-11-05T02:39:53.772Z",
          "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
          "shortName": "CISA-ADP"
        },
        "title": "CISA ADP Vulnrichment"
      }
    ],
    "cna": {
      "affected": [
        {
          "product": "openvm",
          "vendor": "openvm-org",
          "versions": [
            {
              "status": "affected",
              "version": "\u003c 1.7.0"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.0.0-alpha, \u003c 2.0.0-rc.3"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.1.0-dev.0, \u003c 2.1.0-preview"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `MemoryMerkleAir` does not forbid Merkle expansion rows at `parent_height` = 0 or below while `expand_direction` != 0. A malicious prover can fabricate a subtree below a memory leaf and swap digests inside that subtree to change the committed memory root without a corresponding memory operation. The fraudulent rows still balance against the Merkle and compression buses and require no memory-bus operation for the changed leaf. Because the memory Merkle root binds VM memory state across continuation segment boundaries, this affects the soundness of OpenVM proofs using persistent memory. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview."
        }
      ],
      "metrics": [
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "NETWORK",
            "baseScore": 8.7,
            "baseSeverity": "HIGH",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "NONE",
            "vectorString": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N",
            "version": "4.0",
            "vulnAvailabilityImpact": "NONE",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "HIGH"
          }
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-20",
              "description": "CWE-20: Improper Input Validation",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-10-30T20:08:48.566Z",
        "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "shortName": "GitHub_M"
      },
      "references": [
        {
          "name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-396x-v8w4-9x82",
          "tags": [
            "x_refsource_CONFIRM"
          ],
          "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-396x-v8w4-9x82"
        },
        {
          "name": "https://github.com/openvm-org/openvm/pull/148",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/pull/148"
        },
        {
          "name": "https://github.com/openvm-org/openvm/commit/bb123f6073691bd2b794171c594264c77e45c376",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/commit/bb123f6073691bd2b794171c594264c77e45c376"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/vm/src/system/memory/merkle/air.rs",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/vm/src/system/memory/merkle/air.rs"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/vm/src/system/memory/merkle/air.rs",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/vm/src/system/memory/merkle/air.rs"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/vm/src/system/memory/merkle/air.rs",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/vm/src/system/memory/merkle/air.rs"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview"
        }
      ],
      "source": {
        "advisory": "GHSA-396x-v8w4-9x82",
        "discovery": "UNKNOWN"
      },
      "title": "OpenVM: MemoryMerkleAir allows below-leaf rows to alter memory roots"
    }
  },
  "cveMetadata": {
    "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
    "assignerShortName": "GitHub_M",
    "cveId": "CVE-2026-62333",
    "datePublished": "2026-10-30T20:08:48.566Z",
    "dateReserved": "2026-07-13T21:42:50.094Z",
    "dateUpdated": "2026-11-05T02:39:53.772Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2"
}

CVE-2026-62334 (GCVE-0-2026-62334)
Vulnerability from cvelistv5
Published
2026-10-30 20:06
Modified
2026-10-30 22:13
Severity ?
8.7 (High) - CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
CWE
  • CWE-754 - Improper Check for Unusual or Exceptional Conditions
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `OpenVmHalo2Verifier.verify` constructs raw proof calldata from user-controlled `proofData`, performs a `staticcall` to `address(this)`, and treats a successful call as proof acceptance. If the first four proof bytes match another external selector exposed by the wrapper, dispatch can invoke a successful non-verifier function instead of the generated Halo2 fallback verifier. Applications using the generated Solidity wrapper can consequently accept arbitrary app commitments and public values without checking the proof suffix, accumulator, app commitments or public values. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.
References
Impacted products
Vendor Product Version
openvm-org openvm Version: < 1.7.0
Version: >= 2.0.0-alpha, < 2.0.0-rc.3
Version: >= 2.1.0-dev.0, < 2.1.0-preview
 Create a notification for this product.
Show details on NVD website

To clipboard 

{
  "containers": {
    "adp": [
      {
        "metrics": [
          {
            "other": {
              "content": {
                "id": "CVE-2026-62334",
                "options": [
                  {
                    "Exploitation": "none"
                  },
                  {
                    "Automatable": "yes"
                  },
                  {
                    "Technical Impact": "partial"
                  }
                ],
                "role": "CISA Coordinator",
                "timestamp": "2026-10-30T21:26:46.463302Z",
                "version": "2.0.3"
              },
              "type": "ssvc"
            }
          }
        ],
        "providerMetadata": {
          "dateUpdated": "2026-10-30T22:13:55.245Z",
          "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
          "shortName": "CISA-ADP"
        },
        "title": "CISA ADP Vulnrichment"
      }
    ],
    "cna": {
      "affected": [
        {
          "product": "openvm",
          "vendor": "openvm-org",
          "versions": [
            {
              "status": "affected",
              "version": "\u003c 1.7.0"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.0.0-alpha, \u003c 2.0.0-rc.3"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.1.0-dev.0, \u003c 2.1.0-preview"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `OpenVmHalo2Verifier.verify` constructs raw proof calldata from user-controlled `proofData`, performs a `staticcall` to `address(this)`, and treats a successful call as proof acceptance. If the first four proof bytes match another external selector exposed by the wrapper, dispatch can invoke a successful non-verifier function instead of the generated Halo2 fallback verifier. Applications using the generated Solidity wrapper can consequently accept arbitrary app commitments and public values without checking the proof suffix, accumulator, app commitments or public values. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview."
        }
      ],
      "metrics": [
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "NETWORK",
            "baseScore": 8.7,
            "baseSeverity": "HIGH",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "NONE",
            "vectorString": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N",
            "version": "4.0",
            "vulnAvailabilityImpact": "NONE",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "HIGH"
          }
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-754",
              "description": "CWE-754: Improper Check for Unusual or Exceptional Conditions",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-10-30T20:06:32.957Z",
        "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "shortName": "GitHub_M"
      },
      "references": [
        {
          "name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f",
          "tags": [
            "x_refsource_CONFIRM"
          ],
          "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f"
        },
        {
          "name": "https://github.com/openvm-org/openvm/pull/151",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/pull/151"
        },
        {
          "name": "https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview"
        }
      ],
      "source": {
        "advisory": "GHSA-j29p-wr24-hp4f",
        "discovery": "UNKNOWN"
      },
      "title": "OpenVM\u0027s OpenVmHalo2Verifier self-call can bypass proof verification"
    }
  },
  "cveMetadata": {
    "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
    "assignerShortName": "GitHub_M",
    "cveId": "CVE-2026-62334",
    "datePublished": "2026-10-30T20:06:32.957Z",
    "dateReserved": "2026-07-13T21:42:50.094Z",
    "dateUpdated": "2026-10-30T22:13:55.245Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2"
}

CVE-2026-62335 (GCVE-0-2026-62335)
Vulnerability from cvelistv5
Published
2026-10-30 20:03
Modified
2026-10-30 20:03
Severity ?
6.9 (Medium) - 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
CWE
  • CWE-20 - Improper Input Validation
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `OpenVmHalo2Verifier.verify` accepts `appExeCommit` and `appVmCommit` as `bytes32` values without checking that either is less than the `BN254` scalar field modulus. Although public-value and proof-data lengths are checked, callers can provide non-canonical 256-bit encodings greater than or equal to that modulus at the Solidity wrapper boundary. Applications relying on the wrapper can therefore accept non-canonical app executable and app VM commitments, creating ambiguity between the supplied byte-level values and the field elements used by the verifier. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview.
References
Impacted products
Vendor Product Version
openvm-org openvm Version: < 1.7.0
Version: >= 2.0.0-alpha, < 2.0.0-rc.3
Version: >= 2.1.0-dev.0, < 2.1.0-preview
 Create a notification for this product.
Show details on NVD website

To clipboard 

{
  "containers": {
    "cna": {
      "affected": [
        {
          "product": "openvm",
          "vendor": "openvm-org",
          "versions": [
            {
              "status": "affected",
              "version": "\u003c 1.7.0"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.0.0-alpha, \u003c 2.0.0-rc.3"
            },
            {
              "status": "affected",
              "version": "\u003e= 2.1.0-dev.0, \u003c 2.1.0-preview"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "OpenVM is a performant and modular zkVM framework built for customization and extensibility. Before 1.7.0 in the 1.x line and in affected 2.0 and 2.1 prereleases, `OpenVmHalo2Verifier.verify` accepts `appExeCommit` and `appVmCommit` as `bytes32` values without checking that either is less than the `BN254` scalar field modulus. Although public-value and proof-data lengths are checked, callers can provide non-canonical 256-bit encodings greater than or equal to that modulus at the Solidity wrapper boundary. Applications relying on the wrapper can therefore accept non-canonical app executable and app VM commitments, creating ambiguity between the supplied byte-level values and the field elements used by the verifier. This issue is fixed in versions 1.7.0, 2.0.0-rc.3 and 2.1.0-preview."
        }
      ],
      "metrics": [
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "NETWORK",
            "baseScore": 6.9,
            "baseSeverity": "MEDIUM",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "NONE",
            "vectorString": "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",
            "version": "4.0",
            "vulnAvailabilityImpact": "NONE",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "LOW"
          }
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-20",
              "description": "CWE-20: Improper Input Validation",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-10-30T20:03:14.543Z",
        "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "shortName": "GitHub_M"
      },
      "references": [
        {
          "name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-w82q-w67c-67wv",
          "tags": [
            "x_refsource_CONFIRM"
          ],
          "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-w82q-w67c-67wv"
        },
        {
          "name": "https://github.com/openvm-org/openvm/pull/152",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/pull/152"
        },
        {
          "name": "https://github.com/openvm-org/openvm/commit/1962276254aabc5420de266a8cb672433ce955ff",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/commit/1962276254aabc5420de266a8cb672433ce955ff"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v1.7.0"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview"
        }
      ],
      "source": {
        "advisory": "GHSA-w82q-w67c-67wv",
        "discovery": "UNKNOWN"
      },
      "title": "OpenVM\u0027s OpenVmHalo2Verifier accepts non-canonical app commitments"
    }
  },
  "cveMetadata": {
    "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
    "assignerShortName": "GitHub_M",
    "cveId": "CVE-2026-62335",
    "datePublished": "2026-10-30T20:03:14.543Z",
    "dateReserved": "2026-07-13T21:42:50.094Z",
    "dateUpdated": "2026-10-30T20:03:14.543Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2"
}

CVE-2026-46669 (GCVE-0-2026-46669)
Vulnerability from cvelistv5
Published
2026-06-10 20:09
Modified
2026-06-11 14:10
Severity ?
8.7 (High) - CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N
CWE
  • CWE-20 - Improper Input Validation
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. Prior to version 1.6.0, the openvm-pairing guest library's try_honest_pairing_check function invokes Theorem 3 of https://eprint.iacr.org/2024/640.pdf but does not check that the scaling factor s is in a proper subfield of Fp12. This allows incorrect results to the pairing check. This issue has been patched in version 1.6.0.
References
Impacted products
Vendor Product Version
openvm-org openvm Version: < 1.6.0
 Create a notification for this product.
Show details on NVD website

To clipboard 

{
  "containers": {
    "adp": [
      {
        "metrics": [
          {
            "other": {
              "content": {
                "id": "CVE-2026-46669",
                "options": [
                  {
                    "Exploitation": "poc"
                  },
                  {
                    "Automatable": "yes"
                  },
                  {
                    "Technical Impact": "partial"
                  }
                ],
                "role": "CISA Coordinator",
                "timestamp": "2026-06-11T14:09:17.731451Z",
                "version": "2.0.3"
              },
              "type": "ssvc"
            }
          }
        ],
        "providerMetadata": {
          "dateUpdated": "2026-06-11T14:10:23.903Z",
          "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
          "shortName": "CISA-ADP"
        },
        "references": [
          {
            "tags": [
              "exploit"
            ],
            "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-76mq-v757-53gr"
          }
        ],
        "title": "CISA ADP Vulnrichment"
      }
    ],
    "cna": {
      "affected": [
        {
          "product": "openvm",
          "vendor": "openvm-org",
          "versions": [
            {
              "status": "affected",
              "version": "\u003c 1.6.0"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "OpenVM is a performant and modular zkVM framework built for customization and extensibility. Prior to version 1.6.0, the openvm-pairing guest library\u0027s try_honest_pairing_check function invokes Theorem 3 of https://eprint.iacr.org/2024/640.pdf but does not check that the scaling factor s is in a proper subfield of Fp12. This allows incorrect results to the pairing check. This issue has been patched in version 1.6.0."
        }
      ],
      "metrics": [
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "NETWORK",
            "baseScore": 8.7,
            "baseSeverity": "HIGH",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "NONE",
            "vectorString": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N",
            "version": "4.0",
            "vulnAvailabilityImpact": "NONE",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "HIGH"
          }
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-20",
              "description": "CWE-20: Improper Input Validation",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2026-06-10T20:09:31.670Z",
        "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "shortName": "GitHub_M"
      },
      "references": [
        {
          "name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-76mq-v757-53gr",
          "tags": [
            "x_refsource_CONFIRM"
          ],
          "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-76mq-v757-53gr"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v1.6.0",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v1.6.0"
        }
      ],
      "source": {
        "advisory": "GHSA-76mq-v757-53gr",
        "discovery": "UNKNOWN"
      },
      "title": "`openvm-pairing` pairing check missing proper subfield check on scaling factor"
    }
  },
  "cveMetadata": {
    "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
    "assignerShortName": "GitHub_M",
    "cveId": "CVE-2026-46669",
    "datePublished": "2026-06-10T20:09:31.670Z",
    "dateReserved": "2026-05-15T21:46:51.546Z",
    "dateUpdated": "2026-06-11T14:10:23.903Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.2"
}

CVE-2025-46723 (GCVE-0-2025-46723)
Vulnerability from cvelistv5
Published
2025-05-02 22:18
Modified
2025-05-06 14:37
Severity ?
7.8 (High) - CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:H/SC:N/SI:N/SA:N/E:P
CWE
  • CWE-131 - Incorrect Calculation of Buffer Size
Summary
OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumeration should give i=1,2,3, leaving pc_limbs[3] range checked to 8-bits instead of 6-bits. This leads to a vulnerability where the pc_limbs decomposition differs from the true pc, which means a malicious prover can make the destination register take a different value than the AUIPC instruction dictates, by making the decomposition overflow the BabyBear field. This issue has been patched in version 1.1.0.
References
Impacted products
Vendor Product Version
openvm-org openvm Version: = 1.0.0
 Create a notification for this product.
Show details on NVD website

To clipboard 

{
  "containers": {
    "adp": [
      {
        "metrics": [
          {
            "other": {
              "content": {
                "id": "CVE-2025-46723",
                "options": [
                  {
                    "Exploitation": "none"
                  },
                  {
                    "Automatable": "yes"
                  },
                  {
                    "Technical Impact": "partial"
                  }
                ],
                "role": "CISA Coordinator",
                "timestamp": "2025-05-06T13:47:21.220851Z",
                "version": "2.0.3"
              },
              "type": "ssvc"
            }
          }
        ],
        "providerMetadata": {
          "dateUpdated": "2025-05-06T14:37:52.764Z",
          "orgId": "134c704f-9b21-4f2e-91b3-4a467353bcc0",
          "shortName": "CISA-ADP"
        },
        "title": "CISA ADP Vulnrichment"
      }
    ],
    "cna": {
      "affected": [
        {
          "product": "openvm",
          "vendor": "openvm-org",
          "versions": [
            {
              "status": "affected",
              "version": "= 1.0.0"
            }
          ]
        }
      ],
      "descriptions": [
        {
          "lang": "en",
          "value": "OpenVM is a performant and modular zkVM framework built for customization and extensibility. In version 1.0.0, OpenVM is vulnerable to overflow through byte decomposition of pc in AUIPC chip. A typo results in the highest limb of pc being range checked to 8-bits instead of 6-bits. This results in the if statement never being triggered because the enumeration gives i=0,1,2, when instead the enumeration should give i=1,2,3, leaving pc_limbs[3] range checked to 8-bits instead of 6-bits. This leads to a vulnerability where the pc_limbs decomposition differs from the true pc, which means a malicious prover can make the destination register take a different value than the AUIPC instruction dictates, by making the decomposition overflow the BabyBear field. This issue has been patched in version 1.1.0."
        }
      ],
      "metrics": [
        {
          "cvssV4_0": {
            "attackComplexity": "LOW",
            "attackRequirements": "NONE",
            "attackVector": "NETWORK",
            "baseScore": 7.8,
            "baseSeverity": "HIGH",
            "privilegesRequired": "NONE",
            "subAvailabilityImpact": "NONE",
            "subConfidentialityImpact": "NONE",
            "subIntegrityImpact": "NONE",
            "userInteraction": "NONE",
            "vectorString": "CVSS:4.0/AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:H/SC:N/SI:N/SA:N/E:P",
            "version": "4.0",
            "vulnAvailabilityImpact": "HIGH",
            "vulnConfidentialityImpact": "NONE",
            "vulnIntegrityImpact": "HIGH"
          }
        }
      ],
      "problemTypes": [
        {
          "descriptions": [
            {
              "cweId": "CWE-131",
              "description": "CWE-131: Incorrect Calculation of Buffer Size",
              "lang": "en",
              "type": "CWE"
            }
          ]
        }
      ],
      "providerMetadata": {
        "dateUpdated": "2025-05-02T22:18:55.696Z",
        "orgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
        "shortName": "GitHub_M"
      },
      "references": [
        {
          "name": "https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7",
          "tags": [
            "x_refsource_CONFIRM"
          ],
          "url": "https://github.com/openvm-org/openvm/security/advisories/GHSA-jf2r-x3j4-23m7"
        },
        {
          "name": "https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/commit/68da4b50c033da5603517064aa0a08e1bbf70a01"
        },
        {
          "name": "https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://cantina.xyz/code/c486d600-bed0-4fc6-aed1-de759fd29fa2/findings/21"
        },
        {
          "name": "https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/blob/0f94c8a3dfa7536c1231465d1bdee5fc607a5993/extensions/rv32im/circuit/src/auipc/core.rs#L135"
        },
        {
          "name": "https://github.com/openvm-org/openvm/releases/tag/v1.1.0",
          "tags": [
            "x_refsource_MISC"
          ],
          "url": "https://github.com/openvm-org/openvm/releases/tag/v1.1.0"
        }
      ],
      "source": {
        "advisory": "GHSA-jf2r-x3j4-23m7",
        "discovery": "UNKNOWN"
      },
      "title": "OpenVM byte decomposition of pc in AUIPC chip can overflow"
    }
  },
  "cveMetadata": {
    "assignerOrgId": "a0819718-46f1-4df5-94e2-005712e83aaa",
    "assignerShortName": "GitHub_M",
    "cveId": "CVE-2025-46723",
    "datePublished": "2025-05-02T22:18:55.696Z",
    "dateReserved": "2025-04-28T20:56:09.084Z",
    "dateUpdated": "2025-05-06T14:37:52.764Z",
    "state": "PUBLISHED"
  },
  "dataType": "CVE_RECORD",
  "dataVersion": "5.1"
}