اكتشاف ثغرة عالية الخطورة في Succinct SP1 قد تسمح بالشهادات غير الصالحة على الشبكة الرئيسية

كشف نظام إثبات المعرفة الصفرية SP1 التابع لشركة Succinct عن ثغرة موثوقية عالية الخطورة. تم الكشف عن هذه الثغرة في 11 أكتوبر من خلال إعلان GitHub GHSA-p7v2-jjv3-8p8f، حيث تؤثر على إصدارات 6.0.0 إلى 6.8.0 من مُحقق Rust الأصلي لـ SP1، مما قد يسمح لشبكة Prover Network الرئيسية بقبول شهادات غير صالحة. يمكن للمحققين الخبيثين تقديم شهادات تنفيذ غير صالحة، بينما لا يزال مُحقق الشبكة يقبلها. سبب الثغرة هو أن المُحقق يقرأ فقط تسميات البيانات، دون التحقق مما إذا كان عدد العناصر المخزنة الفعلي يساوي حاصل ضرب الأبعاد، مما يسمح للمهاجمين بتزوير التسميات لجعل الشهادات غير الصالحة تمر. لا تتأثر شهادات Groth16 وPlonk التي تستخدم إثباتات ذات شكل ثابت، كما أن مُحقق Solidity على السلسلة آمن أيضًا. أصدرت Succinct الإصدار المُعدل 6.8.1 في 24 سبتمبر، وتم نشره على الشبكة الرئيسية؛ حيث أضاف هذا الإصدار تحقق من طول التسلسل. تم اكتشاف الثغرة بواسطة Vitalis Salis وتم الإبلاغ عنها من خلال برنامج مكافآت الثغرات Immunefi. يجب على المستخدمين الذين يقومون بتشغيل مُحقق Rust الأصلي ويقبلون الشهادات غير الموثوقة الترقية إلى الإصدار 6.8.1.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.