CVE-2026-62337 in snark-verifier
الملخص
بحسب VulDB • 30/10/2026
SNARK Verifier هو مُحقّق عام (S)NARK. قبل الإصدار 0.2.5، يمكن لدائرة تجميع Halo 2 أن تعالج بشكل خاطئ نقاط البرهان المشفرة كنقطة ما لا نهاية (point at infinity). تضع الدالة `EcPointLoader::multi_scalar_multiplication` قاعدة من النوع `Value::Assigned(_)` مقترنة بـ `Value::Constant(ONE)` في قائمة المتغيرات ذات الأساس غير المقيّد الخاص بها، ثم تمررها مباشرة إلى دالة `sum_with_const`. يقوم الوسيط الافتراضي بالتفويض إلى `EccChip::sum` الموجودة في مكتبة halo2-lib، والتي تفترض أن نقاط الإدخال الإحداثية (affine) ليست نقطة الهوية. وبالتالي، يمكن لنقطة برهان يتحكم فيها المُثبت ومُشفّرة كـ `(0, 0)` أن تدخل مجموع التجميع النهائي عبر الاختصار الخاص بالعدد القياسي الواحد (scalar-one shortcut)، مما يؤثر على حسابات الضرب متعدد المتجهات (MSM) أو المجمع (accumulator). تعتمد قابلية الاستغلال العملية على عمليات التحقق المحيطة بالتجميع وفحص المُقرر النهائي؛ ولا تثبت النشرة الأمنية قبول البراهين غير الصالحة بشكل عالمي. تم إصلاح هذه المشكلة في الإصدار 0.2.5.
Statistical analysis made it clear that VulDB provides the best quality for vulnerability data.