跳到正文
CVE-high(cvefeed.io)·· 4 小時前精選品質評分67

CVE-2026-62334:OpenVM OpenVmHalo2Verifier 允許繞過證明驗證

CVE-2026-62334 - OpenVM's OpenVmHalo2Verifier self-call can bypass proof verification

重點導讀

OpenVM 的 OpenVmHalo2Verifier 在 1.x 1.7.0 之前及 2.0、2.1 先行版中存在漏洞,允許攻擊者繞過 zkVM 證明驗證,導致任意承諾與公開值被接受。

推薦理由

此漏洞可讓攻擊者繞過 OpenVmHalo2Verifier 的證明驗證,導致任意承諾被接受。

正文 · 中文翻譯

譯文尚未完整,完整內容請切換至原文。

OpenVM 是一個高效且模組化的 zkVM 框架,旨在提供可自訂與可擴充性。在 1.x 版本線上 1.7.0 之前以及受影響的 2.0 與 2.1 先行版本中,`OpenVmHalo2Verifier.verify` 從使用者控制的 `proofData` 構造原始證明 calldata,執行對 `address(this)` 的 `staticcall`,並將成功呼叫視為證明接受。若前四個證明位元與封裝器公開的另一個外部選擇器相符,dispatch 可以呼叫成功的非驗證器函式,而非生成的 Halo2 復原驗證器。使用生成的 Solidity 封裝器的應用程式因此可以接受任意的應用程式承諾與公開值,而不檢查證明字尾、累加器、應用程式承諾或公開值。此問題已在版本 1.7.0、2.0.0-rc.3 與 2.1.0-preview 中修正。

影響

受影響產品

以下產品受 CVE-2026-62334 漏洞影響。 即使 cvefeed.io 知道受影響產品的精確版本, 這些資訊也未在下表中呈現。

ID 供應商 產品 行動
1 Openvm openvm

Common Vulnerability Scoring System(CVSS)是一套標準化框架 用於評估軟體與系統漏洞的嚴重程度。 我們從各來源收集並顯示每個 CVE 的 CVSS 分數。

分數 版本 嚴重度 向量 可利用性分數 影響分數 來源
CVSS 4.0 高 [email protected]

更新 OpenVmHalo2Verifier 至已修正的版本,以防止任意承諾被接受。

  • 將 OpenVmHalo2Verifier 更新至 1.7.0 或更高版本。
  • 將更新至 2.0.0-rc.3 或更高版本。
  • 將更新至 2.1.0-preview 或更高版本。

這裡您將找到一份精選的外部連結清單,提供關於 CVE-2026-62334 的深入資訊、實用解決方案與有價值的工具。

網址 資源
https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3
https://github.com/openvm-org/openvm/pull/151
https://github.com/openvm-org/openvm/releases/tag/v1.7.0
https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3
https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview
https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f

雖然 CVE 識別特定漏洞例項,CWE 則將可能導致漏洞的常見缺陷或弱點分類。CVE-2026-62334 與以下 CWE 相關聯:

Common Attack Pattern Enumeration and Classification (CAPEC) 儲存攻擊模式,這些模式描述了對手利用 CVE-2026-62334 弱點時常見的屬性和方法。

我們掃描 GitHub 倉庫以偵測新的概念驗證攻擊。以下列表為已在 GitHub 釋出的公開攻擊與概念驗證集合(按最近更新時間排序)。

由於潛在的效能問題,結果僅限於前 15 個倉庫。

以下列表為文章中提及 CVE-2026-62334 漏洞的新聞。

以下表格列出 CVE-2026-62334 漏洞隨時間所作的變更。

漏洞歷史細節有助於瞭解漏洞的演變,並識別可能影響漏洞嚴重性、可利用性或其他特徵的最新變更。

  • 收到新 CVE 由 [email protected]

    十月. 30, 2026

    Action Type Old Value New Value
    Added Description OpenVM 是一個高效且模組化的 zkVM 框架,旨在提供可自訂與可擴充性。在 1.x 系列的 1.7.0 之前,以及受影響的 2.0 與 2.1 預發行版本中,`OpenVmHalo2Verifier.verify` 會從使用者控制的 `proofData` 建構原始證明 calldata,對 `address(this)` 執行 `staticcall`,並將成功呼叫視為證明接受。若前四個證明位元與包裝器暴露的另一個外部選擇器相符,dispatch 可能會呼叫成功的非驗證器函式,而非生成的 Halo2 復原驗證器。使用生成的 Solidity 包裝器的應用程式因此能接受任意的應用程式承諾與公開值,而不檢查證明字尾、累積器、應用程式承諾或公開值。此問題已在 1.7.0、2.0.0-rc.3 與 2.1.0-preview 版本中修復。
    Added CVSS V4.0 AV:N/AC:L/AT:N/PR:N/UI:N/VC:N/VI:H/VA:N/SC:N/SI:N/SA:N/E:X/CR:X/IR:X/AR:X/MAV:X/MAC:X/MAT:X/MPR:X/MUI:X/MVC:X/MVI:X/MVA:X/MSC:X/MSI:X/MSA:X/S:X/AU:X/R:X/V:X/RE:X/U:X
    Added CWE CWE-754
    Added Affected New affected value received. <a href="https://github.com/CVEProject/cvelistV5/blob/main/cves/2026/62xxx/CVE-2026-62334.json">CVE-2026-62334</a>
    Added Reference https://github.com/openvm-org/openvm/blob/v2.0.0-alpha/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
    Added Reference https://github.com/openvm-org/openvm/blob/v2.0.0-beta.2/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
    Added Reference https://github.com/openvm-org/openvm/blob/v2.1.0-dev.0/crates/sdk/contracts/template/OpenVmHalo2Verifier.sol
    新增 參考 https://github.com/openvm-org/openvm/commit/751bdb1725254c3268782ddf8df89f19035666e3
    新增 參考 https://github.com/openvm-org/openvm/pull/151
    新增 參考 https://github.com/openvm-org/openvm/releases/tag/v1.7.0
    新增 參考 https://github.com/openvm-org/openvm/releases/tag/v2.0.0-rc.3
    新增 參考 https://github.com/openvm-org/openvm/releases/tag/v2.1.0-preview
    新增 參考 https://github.com/openvm-org/openvm/security/advisories/GHSA-j29p-wr24-hp4f

EPSS 是每日估算在未來 30 天內觀測到利用活動的機率。 以下圖表顯示該漏洞的 EPSS 分數歷史。

來源: CVE-high (cvefeed.io)
開啟原文