ترجمة آلية لم تُراجَع بعد. النص الإنجليزي هو المرجع في حال الاختلاف.
الملخص
إن OpenVM هو إطار عمل zkVM عالي الأداء وقابل للتخصيص والتوسع. قبل الإصدار 1.7.0 في سلسلة الإصدارات 1.x والإصدارات الأولية المتأثرة 2.0 و 2.1، يقوم `OpenVmHalo2Verifier.verify` بنناء بيانات استدعاء إثبات خام من `proofData` المُتحكم بها من قبل المستخدم، ويجري استدعاء `staticcall` إلى `address(this)`، ويعتبر الاستدعاء الناجح بمثابة قبول للإثبات. إذا تطابق أول أربعة بايتات من الإثبات مع محدد خارجي آخر مكشوف بواسطة الغلاف، فقد يؤدي الإرسال إلى استدعاء دالة غير مُتحققة ناجحة بدلاً من مُحقق الاحتياط Halo2 المُتولد. ونتيجة لذلك، يمكن للتطبيقات التي تستخدم غلاف Solidity المُتولد قبول التزامات تطبيقات عشوائية وقيم عامة دون التحقق من لاحقة الإثبات أو المُراكم أو التزامات التطبيق أو القيم العامة. تم إصلاح هذه المشكلة في الإصدارات 1.7.0 و 2.0.0-rc.3 و 2.1.0-preview.
المعالجة
المراجع
- مرجع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