بوتيرين يقول إن التحقق الرسمي بواسطة الذكاء الاصطناعي يعزز أمان العملات المشفرة

بوتيرين ينشر منشورًا جديدًا حول الذكاء الاصطناعي وسلامة الكود

نشر المؤسس المشارك لإيثريوم فيتاليك بوتيرين منشورًا على مدونته في 18 مايو 2026 على vitalik.eth.limo. في هذا المنشور، يجادل بأن التحقق الرسمي المدعوم بالذكاء الاصطناعي سيصبح أحد أهم أدوات الأمن السيبراني. التحقق الرسمي هو طريقة تستخدم الأدلة الرياضية لتأكيد أن البرنامج يعمل تمامًا كما هو مقصود. يذكر بوتيرين أن دمج الذكاء الاصطناعي مع التحقق الرسمي سيساعد المطورين في العثور على الثغرات قبل أن يقوم المهاجمون بذلك.

كلود ميثوس يُذكر كمثال على قوة الذكاء الاصطناعي

يسمي بوتيرين كلود ميثوس، وهو نموذج ذكاء اصطناعي تم تطويره بواسطة Anthropic، كمثال على الأنظمة الذكية المتزايدة القوة. يجادل بأن مثل هذه الأنظمة يمكن أن تسرع من اكتشاف الثغرات واستغلالها. كلود ميثوس هو نموذج حقيقي. أكدت Anthropic وجوده بعد تسرب بيانات غير مقصود في مارس 2026. تم إصدار معاينة للنموذج لشركاء مختارين في أبريل 2026.

بوتيرين يسرد حدود التحقق الرسمي

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

مشروع Arklib يستهدف تنفيذ STARK الموثوق به

يبرز بوتيرين Arklib كمثال ملموس على تطبيق الطرق الرسمية على إيثريوم. Arklib هو مشروع مفتوح المصدر يهدف إلى بناء تنفيذ موثوق به رسميًا بالكامل لنظام إثبات STARK. STARK هو نوع من الإثباتات التشفيرية المستخدمة في بنية إيثريوم التحتية للتوسع. قامت مؤسسة إيثريوم بتمويل Nethermind لتوسيع Arklib مع توثيق بروتوكول FRI في مساعد الإثبات Lean. كما يشير بوتيرين إلى تنفيذات موثوقة رسميًا للآلة الافتراضية لإيثريوم مكتوبة مباشرة بلغة التجميع RISC-V.