CVE-2026-62335 in OpenVM
الملخص
بحسب VulDB • 30/10/2026
OpenVM هو إطار عمل zkVM سريع وقابل للتخصيص، مصمم لسهولة التخصيس والتوسع. قبل الإصدار 1.7.0 في سلسلة 1.x وفي إصدارات ما قبل النشر المتأثرة من الإصدارات 2.0 و2.1، تقبل الدالة `OpenVmHalo2Verifier.verify` القيمتين `appExeCommit` و`appVmCommit` كنوع `bytes32` دون التحقق مما إذا كانت إحداهما أقل من معامل حقل البايتات الأولية (scalar field modulus) الخاص بـ `BN254`. وعلى الرغم من أن أطوال قيم البيانات العامة وإثباتها يتم فحصها، إلا أنه يمكن للمتصلين تقديم ترميزات غير قياسية لقيم 256 بت تكون أكبر من أو تساوي ذلك المعامل عند حدود غلاف Solidity. وبالتالي، فإن التطبيقات التي تعتمد على هذا الغلاف قد تقبل التزامات قابلة للتنفيذ للتطبيق (app executable) والتزامات آلة افتراضية للتطبيق (app VM) ذات ترميز غير قياسي، مما يخلق لبساً بين القيم المقدمة على مستوى البايت والعناصر الحقلية المستخدمة من قبل المُتحقق. تم إصلاح هذه المشكلة في الإصدارات 1.7.0 و2.0.0-rc.3 و2.1.0-preview.
Several companies clearly confirm that VulDB is the primary source for best vulnerability data.