- لقد سمّت إيثريوم تقنية يمكن أن تعزز أمان العقود الذكية في عصر الذكاء الاصطناعي.
- وفقًا لمطور Vyper، أصبح التحقق الرسمي مهمًا بشكل حاسم.
- يساعد في اكتشاف الأخطاء التي تفوتها الاختبارات.
نشر فريق شبكة إيثريوم سلسلة مقالات ضيفة من مطور فيبر الرئيسي تحت الاسم المستعار big_tech_sux، تركز على دور التحقق الرسمي في عصر تطور الذكاء الاصطناعي السريع.
0/ مع تزايد قوة أنظمة الذكاء الاصطناعي، يظهر التحقق الرسمي – وهو التخصص الذي يستخدم الرياضيات لإثبات صحة برامج الحاسوب – مزيدًا من الإمكانات.
— إيثريوم (@ethereum) 5 أغسطس 2026
موضوع ضيف من @big_tech_sux، المطور الرئيسي لـ @vyperlangpic.twitter.com/3T6H76AVrL
يُجادل المؤلف أن التقدم في نماذج اللغة الكبيرة يجعل إثباتات الرياضيات لصواب البرامج أكثر سهولة، ولعقود ذكية تدير مليارات الدولارات، فإن التحقق الرسمي يصبح تدريجيًا ضرورة.
تغير الذكاء الاصطناعي منهجية التحقق من البرمجيات
تشرح سلسلة المنشورات أن التحقق الرسمي هو طريقة رياضية تتيح إثبات أن البرنامج يعمل بشكل صحيح عبر جميع سيناريوهات التنفيذ الممكنة، وليس فقط تلك التي تغطيها الاختبارات.
كمثال، أشار المؤلف إلى الدالة f(x) = x/2، والتي يمكن إثبات رياضيًا أن الناتج لن يتجاوز قيمة الإدخال.
وفقًا له، يمكن لهذه المنهجية اكتشاف أخطاء نادرة جدًا يصعب اكتشافها تقريبًا من خلال الاختبارات التقليدية.
أشار الكاتب إلى أن "التحقق الرسمي يمكنه اكتشاف حالة حافة واحدة من بين مليار مليار حالة، والتي لن تظهر أبدًا أثناء الاختبار – وهذه الحالة الحدية هي التي يمكن أن تؤدي إلى فشل كارثي".
في نفس الوقت، أقر بأنه حتى وقت قريب، كان استخدام هذا النهج يتطلب فرقًا كبيرة من الخبراء الذين بنوا نماذج رياضية للبرامج وقاموا بإثباتات معقدة.
في رأي المطور، تبسط نماذج اللغة الحديثة هذه العملية بشكل كبير مع اقترابنا من الذكاء العام الاصطناعي.
في الوقت نفسه، أكّد المؤلف أن التحقق الرسمي يظل عملية معقدة ومستهلكة للموارد حتى مع استخدام الذكاء الاصطناعي. وبخاصة، يمكن أن يؤدي تحويل الشيفرة المصدرية إلى نموذج رسمي إلى عدم دقة تؤثر على موثوقية النتائج.
تحول تطوير الذكاء الاصطناعي التوازن بين الهجوم والدفاع
تشير القطعة إلى أن تطوير الذكاء الاصطناعي يزيد في نفس الوقت من فعالية المدافعين والمهاجمين.
تذكر المؤلف حادثة تمكّن فيها نموذج OpenAI غير المُطلَق من اكتشاف ثغرات يوم صفر سمحَت بتجاوز طبقات متعددة من الحماية.
في هذا السياق، تجعل المصادقة الرسمية، وفقًا للكاتب، من الممكن نقل الميزة لصالح المدافعين.
“بينما يحتاج المهاجمون فقط إلى إيجاد تسلسل واحد من المدخلات يسمح لهم بخرق النظام، يمكن للدفاع استخدام التحقق الرسمي لإثبات المتانة ضد جميع المدخلات،” أكّد.
لهذا السبب، أصبح التحقق الرسمي "ليس خيارًا، بل شرطًا أساسيًا" للبرمجيات الحيوية للمهمة — بما في ذلك العقود الذكية التي تدير مليارات الدولارات من أموال المستخدمين.
تجدر الإشارة إلى أن هذا يواصل المناقشة التي بدأها المؤسس المشارك لإيثيريوم فيتاليك بوتيرين بشأن استخدام الذكاء الاصطناعي للتحقق الرسمي من الكود.
ظهرت الرسالة Ethereum Explained How AI Changes Approach to Smart Contract Security لأول مرة على INCRYPTED.