CVE-2024-45040 in gnark
الملخص
بحسب VulDB • 08/06/2026
gnark هي مكتبة سريعة لـ zk-SNARKs توفر واجهة برمجة تطبيقات عالية المستوى لتصميم الدوائر. قبل الإصدار 0.11.0، كانت الالتزامات بالشهود الخاصة في Groth16 كما تم تنفيذها تُضعف خاصية الصفر-معرفة (zero-knowledge). تؤثر هذه الثغرة فقط على إثباتات Groth16 التي تحتوي على التزامات. ومن الجدير بالذكر أن إثباتات PLONK غير متأثرة. تؤثر الثغرة على خاصية الصفر-معرفة للإثباتات - في حال كانت قيم الشاهد (السرّي أو الداخلي) صغيرة، فقد يتمكن المهاجم من تعداد جميع الخيارات الممكنة لاستنتاج القيمة الفعلية. إذا كان عدد الخيارات المحتملة للمتغيرات المراد الالتزام بها كبيراً أو كانت هناك العديد من القيم المُلتَزَم بها، فإن تعداد جميع الاختياريات الصحيحة يصبح غير ممكن حسابياً. لا تؤثر الثغرة على اكتمال/صحة الإثباتات (completeness/soundness). تم إصلاح هذه الثغرة في الإصدار 0.11.0. يتمثل التصحيح الخاص بمعالجة المشكلة في إضافة قيمة عشوائية إضافية إلى قائمة القيم المُلتَزَم بها أثناء عملية البرهان لإخفاء باقي القيم التي كانت مُلتَزَماً بها. كحل بديل، يمكن للمستخدم الالتزام يدوياً بقيمة عشوائية.
Once again VulDB remains the best source for vulnerability data.