العقود الآجلة
وصول إلى مئات العقود الدائمة
TradFi
الذهب
منصّة واحدة للأصول التقليدية العالمية
الخیارات المتاحة
Hot
تداول خيارات الفانيلا على الطريقة الأوروبية
الحساب الموحد
زيادة كفاءة رأس المال إلى أقصى حد
التداول التجريبي
مقدمة حول تداول العقود الآجلة
استعد لتداول العقود الآجلة
أحداث مستقبلية
"انضم إلى الفعاليات لكسب المكافآت "
التداول التجريبي
استخدم الأموال الافتراضية لتجربة التداول بدون مخاطر
إطلاق
CandyDrop
اجمع الحلوى لتحصل على توزيعات مجانية.
منصة الإطلاق
-التخزين السريع، واربح رموزًا مميزة جديدة محتملة!
HODLer Airdrop
احتفظ بـ GT واحصل على توزيعات مجانية ضخمة مجانًا
منصة الإطلاق
كن من الأوائل في الانضمام إلى مشروع التوكن الكبير القادم
نقاط Alpha
تداول الأصول على السلسلة واكسب التوزيعات المجانية
نقاط العقود الآجلة
اكسب نقاط العقود الآجلة وطالب بمكافآت التوزيع المجاني
فيتاليك بوتيرين يقول إن الذكاء الاصطناعي قد يسرع خارطة طريق إيثيريوم لعام 2030
تلخيص سريع
يقول فيتاليك بوتيرين إن بإمكان الذكاء الاصطناعي تسريع خارطة طريق إيثيريوم لعام 2030 بمستويات أمان غير مسبوقة. وأشار إلى تجربة حديثة قام فيها مطور ببناء نموذج أولي لعميل إيثيريوم متوافقًا مع خارطة الطريق خلال أسبوعين باستخدام البرمجة الوكيلية. يتضمن النموذج الأولي نحو 700000 سطر من التعليمات البرمجية، ويغطي 65 عنصرًا ضمن خارطة الطريق، ويتزامن مع شبكة إيثيريوم الرئيسية.
يمتثل نموذج أولي مبني بالذكاء الاصطناعي مع خارطة طريق إيثيريوم لعام 2030
صرّح مؤسس إيثيريوم المشارك فيتاليك بوتيرين بأن الذكاء الاصطناعي يُسرّع تطوير إيثيريوم. وأشار إلى مطور استخدم البرمجة الوكيلية لبناء عميل يتوافق مع خارطة الطريق لعام 2030. اكتمل النموذج الأولي في نحو أسبوعين. ويتضمن حوالي 700000 سطر من التعليمات البرمجية ويدعم 65 عنصرًا ضمن خارطة الطريق. يقوم العميل بالمزامنة مع شبكة إيثيريوم الرئيسية.
وصف بوتيرين الجهد بأنه تجربة تُظهر تقدمًا سريعًا. وقال إن أعمالًا مماثلة لم تكن واقعية قبل ستة أشهر. وأضاف أن اتجاه تقدم الذكاء الاصطناعي هو الأهم. كما شارك مثالًا شخصيًا. وقال إنه بنى برمجيات مشابهة لمدونته خلال ساعة باستخدام البرمجة الوكيلية. وكان النموذج المستخدم يعمل محليًا على جهازه المحمول.
مكاسب السرعة تأتي مع مخاطر تقنية
حذّر بوتيرين من أن عمليات البناء السريعة بالذكاء الاصطناعي تحمل مخاطر. وقال إن مشروعًا اكتمل خلال أسبوعين دون EIPs مُعتمدة على الأرجح يحتوي أخطاءً حرجة. وأضاف أن بعض الأجزاء قد تكون نسخًا أولية (stub). وحذّر من افتراض أن استدعاءً واحدًا (prompt) يمكنه توليد كود إنتاجي آمن. وقال إن هناك أخطاءً وعدم اتساق عبر عمليات التنفيذ.
ومع ذلك، قال إن الذكاء الاصطناعي يتيح لهذه العملية أن تتحرك أسرع بخمس مرات. وشرح أن المطورين سيحتاجون، مع ذلك، إلى مراجعة الكود ومقارنته. يظل الاختبار والتحقق خطوات ضرورية.
يقلل الذكاء الاصطناعي الوقت المستغرق في المهام المتكررة ويزيد سرعة التكرار. وقال بوتيرين إن التجربة لا ينبغي النظر إليها باعتبارها بنية تحتية مكتملة. وقد صاغها على أنها إشارة إلى تغيّر أساليب التطوير. أصبح الذكاء الاصطناعي الآن جزءًا من سير العمل التقني في إيثيريوم.
التركيز على الاختبار والتحقق الصوري الرسمي
قال بوتيرين إن مكاسب الذكاء الاصطناعي ينبغي تقسيمها بين السرعة والأمان. واقترح أن يذهب نصف مكاسب الإنتاجية إلى اختبار أقوى. ويتضمن ذلك توليد المزيد من حالات الاختبار وإجراء تحقق صوري. وأشار إلى جهود Lean إيثيريوم التي تهدف إلى التحقق صوريًا من مكونات إيثيريوم. استخدم أحد المتعاونين الذكاء الاصطناعي لإنشاء برهان قابل للتحقق آليًا من نظرية STARK معقدة.
وقال بوتيرين إن التحقق الصوري يدعم الأنظمة التي لا تتطلب الثقة. وأضاف أن الذكاء الاصطناعي يمكنه توسيع حجم الاختبارات وتحسين عمليات التحقق عبر تطبيقات متعددة. تقلل هذه الخطوات المخاطر المرتبطة بكود معيب. وقال إن الأمان الكلي غير قابل للتحقيق. وشرح أن الأمن المثالي سيتطلب تطابقًا دقيقًا بين الكود ونوايا الإنسان.
ومع ذلك، أشار إلى أنه يمكن التحقق من ادعاءات أمان محددة. وقال بوتيرين إن الناس ينبغي أن يفكروا في احتمال أن تنتهي خارطة طريق إيثيريوم أسرع من المتوقع. وقال أيضًا إن معايير الأمان يمكن أن ترتفع مع تحسن أدوات التحقق. وأشار إلى أن الكود الخالي من الأخطاء في حالات محددة قد يصبح قابلًا للتحقيق. وقال إن هذه الفكرة كان يُنظر إليها سابقًا على أنها غير واقعية. قد يغير التحقق المدعوم بالذكاء الاصطناعي توقعات التطوير مع مرور الوقت.