Consensys يكشف ثغرة في gnark قد تتيح تزوير إثباتات Ethereum (ETH) بدرجة 7.5

كشف Consensys لثغرة تجاوز الإثبات

كشف Consensys، الشركة المطورة للبنية التحتية لشبكة Ethereum (ETH)، عن ثغرة أمنية عالية الخطورة في مكتبة gnark مفتوحة المصدر لإثباتات المعرفة الصفرية، وقد تتيح الثغرة مرور نتيجة حسابية مزيفة بوصفها إثباتًا شرعيًا في بعض بيئات التشغيل. جاء الكشف في تنبيه أمني نشرته الشركة على GitHub يوم الاثنين 9 نوفمبر، وصنفت الثغرة بدرجة 7.5 من 10، أي بتصنيف عالٍ. المشكلة الجوهرية، وفق التنبيه، أن gnark لا يتحقق كما ينبغي من نتيجة بعض العمليات التشفيرية. والتحقق هنا يعني تأكيد أن عملية حسابية نُفذت تمامًا كما يُدّعى، دون الاطلاع على البيانات الأساسية. تتناول الثغرة عائلتين من المنحنيات التشفيرية هما BLS12-381 وBW6-761: يمكن لمهاجم يعبث بالقيم المُدخلة في الحساب أن يجعل المدقق يقبل مخرجًا يختلف عن النتيجة الحقيقية، أي أن إجابة خاطئة قد تُلبس رداء الإجابة الموثقة. وتتعلق عيبة ثانية بالتحقق من المدخلات، إذ يفشل gnark في فحص ما إذا كانت القيم المستخدمة في الحساب تحقق الشروط التي تحددها العملية التشفيرية، ما يسمح بمرور نتائج غير متسقة مع حساب صحيح كذلك. وأكد باحثون أمنيون المشكلتين تجريبيًا بإنتاج إثباتات معرفة صفرية مزيفة كان التحقق ينبغي أن يرفضها. تحتوي هذه الإثباتات على أنظمة المدفاعات الخاصة وحلول التوسع بالمعرفة الصفرية في الصناعة كلها، لذا فإن عيبًا في مكتبة مشتركة يتجاوز نطاق شيفرة مشروع واحد. وحذرت Consensys من أن الثغرة قد تمكن، بحسب مكان تشغيل المكتبة، من تزوير التحقق من التوقيعات أو نتائج حسابات البلوكتشين أو التحقق من الإثباتات العودية، وهي تقنية تربط عدة إثباتات في فحص واحد. وقالت الشركة إن الثغرة أُبلغت عنها عبر قناة خاصة، وأنها لم تحدد حتى الآن أي دليل على استغلالها. ولا يحمل التنبيه أي تقييم لأثر الثغرة على سعر الإيثيريوم، وتقع نقطة الضعف المعلنة في برمجيات الإثبات لا في طبقة إثبات الحصة وآلية الإجماع للشبكة.

إصدار gnark 0.16.5 يحمل الإصلاح

موضوع الكشف يتجاوز المكتبة نفسها. تعتمد Consensys على gnark في شبكتها من الطبقة الثانية الخاصة بإيثيريوم، وهي Linea، والشبكة من هذه الطبقة تنفذ المعاملات خارج السلسلة الرئيسية قبل أن تعيد نشر إثبات مضغوط لنتائجها إلى إيثيريوم، وهي بالضبط القناة التي يقع فيها الضرر عند قبول إثبات مزيف. والتحقق العودي، أحد الأهداف المذكورة في التنبيه، يضغط إثباتات كثيرة في إثبات واحد، لذا يمكن لخطوة مزيفة واحدة أن تنتشر عبر سلسلة فحص كاملة. ويوضح التنبيه أن العيب الجوهري يشمل إصدارات gnark من 0.16.0 حتى 0.16.4. فمنحنى BLS12-381 هو المنحنى الملائم للاقتران المستخدم في توقيعات المدققين في إيثيريوم، ما يمنح العيب خطًا مباشرًا إلى الحزمة التشفيرية للسلسلة، فيما بُني منحنى BW6-761 للعمل معه في إعدادات الإثباتات العودية. وأثناء مراجعة الشيفرة ذات الصلة، عثر فريق التطوير أيضًا على مشكلات تحقق إضافية تسبق هذا الكشف، وأصلحها في الإصدار نفسه. وقد أطلق هذا الإصدار، gnark 0.16.5، بالفعل. فارقت Consensys بين العيبين في توجيهاتها: الأول لا علاج له سوى الترقية، أما الثاني فيمكن معالجته مؤقتًا بإضافة خطوات تحقق محددة إلى العملية المتأثرة. ويرفق التنبيه الإصلاح بتعليمات عملية للفرق غير القادرة على الترقية فورًا، إذ تصل الترقية على شكل تحديث لتبعية يتعين على المشاريع التابعة سحبه بنفسها. تواجه الفرق التي تشغل المكتبة إذًا درجات استعجال مختلفة بحسب مسار الشيفرة الذي تستخدمه. وأشارت الشركة إلى أن الثغرة كُشفت سرًا قبل نشر التنبيه علنًا، وأنه لم يُرصد حتى اليوم أي مؤشر على إساءة استخدام فعلية. ولم تذكر ما إذا كان نظام الإثبات التشغيلي لـLinea قد شغّل أي إصدار متأثر، تاركة درجة تعرض شبكتها نفسها غير معلنة. ويقدم التنبيه خطر التزوير على أنه مشروط ببيئة التطبيق لا مؤكد لأي شبكة بعينها.

gnark يقع خارج طبقة الإجماع

بالنسبة لإيثيريوم نفسه، فإن التعرض أضيق مما قد توحي به درجة 7.5 وحدها. فgnark بنية تحتية للإثبات وليس شيفرة إجماع: إنتاج الكتل ومجموعة المدققين وتنفيذ العقود الذكية تعمل جميعها على تطبيقات لا يمسها التنبيه. ويتركز الخطر في الأنظمة التي تدمج gnark، وفي مقدمةها شبكة Linea، وفي أي تطبيق يعتمد على إثباتات موثقة بصورة عودية. ولعدم رصد أي هجوم، يبقى الأمر كشفًا تقنيًا لا موجة خوف وتشكيك (FUD) على مستوى السوق، لكن النافذة المفتوحة هي الفترة بين تنبيه 9 نوفمبر وإتمام الترقية عبر المشاريع التابعة. وما لم يؤكد أحد هو السؤال الذي تركته Consensys دون إجابة: هل شغّلت مولدات الإثبات التشغيلية في Linea الإصدارات المتأثرة قط. وقد تلقى قطاع البنية التحتية لإيثيريوم تحذيرات أمنية عبر GitHub وقنوات السلسلة من قبل، من إنذار SlowMist بشأن هجوم سلسلة التوريد في Swarm إلى احتيالات غبار استهدفت محفظة التكوين في إيثيريوم، وهو نمط متكرر يجعل تدقيق التبعيات الدفاع الدائم لهذا القطاع.