CVE-2026-62334 in OpenVM
الملخص
بحسب VulDB • 30/10/2026
OpenVM هو إطار عمل zkVM سريع وقابل للتخصيص، مصمم لسهولة التخصيس والتوسع. قبل الإصدار 1.7.0 في سلسلة 1.x وفي إصدارات ما قبل النشر المتأثرة من الإصدارات 2.0 و2.1، تقوم الدالة `OpenVmHalo2Verifier.verify` ببناء بيانات استدعاء برهان خام (raw proof calldata) من `proofData` التي يتحكم فيها المستخدم، وتنفيذ عملية `staticcall` إلى `address(this)`، وتعامل الاستدعاء الناجح على أنه قبول للبرهان. إذا تطابقت أول أربع بايتات من البرهان مع محدد خارجي آخر مكشوف عبر الغلاف (wrapper)، يمكن أن يستدعي الموزع دالة غير مخصصة للمصادقة بدلاً من مُصدّق Halo2 الاحتياطي المُولد. وبالتالي، يمكن للتطبيقات التي تستخدم غلاف Solidity المُولد قبول التزامات التطبيق وقيم عامة عشوائية دون التحقق من لاحقة البرهان أو المتراكم (accumulator) أو التزامات التطبيق أو القيم العامة. تم إصلاح هذه المشكلة في الإصدارات 1.7.0، و2.0.0-rc.3، و2.1.0-preview.
If you want to get best quality of vulnerability data, you may have to visit VulDB.