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

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

يقول فيتاليك بوتيرين إن الذكاء الاصطناعي بدأ يعيد تشكيل كيفية بناء إيثريوم.

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

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

هذه تجربة مثيرة للإعجاب جدًا. توليد الكود بشكل متوافق لخارطة طريق 2030 خلال أسابيع.

من الواضح أن مثل هذا العمل الذي تم خلال أسبوعين دون وجود EIPs لديه تحذيرات كبيرة: أخطاء حرجة على الأرجح، وربما في بعض الحالات نسخ مؤقتة من شيء… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 28 فبراير 2026

تسريع الكود باستخدام الذكاء الاصطناعي – لكن ليس الكمال

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

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

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

التحقق الرسمي يدخل التركيز

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

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

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

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

رفع مستوى الأمان

اعترف بوتيرين بأن البرمجيات الخالية من الأخطاء بشكل مطلق لا تزال مستحيلة. لا يمكن للكود أن يلتقط بشكل مثالي كل نية بشرية وراءه.

ومع ذلك، جادل بأن الضمانات الأمنية المستهدفة والقابلة للتحقق يمكن أن تقضي على غالبية المخاطر العملية.

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