يروج فيتاليك بوتيرين للذكاء الاصطناعي باعتباره أداة قوية لتعزيز دفاعات blockchain من خلال إثبات رياضي صارم.

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

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

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

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

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