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