قال فيتاليك بوتيرين، المؤسس المشارك لشبكة إيثيريوم، إن الذكاء الاصطناعي يمكن أن يسرع من وتيرة تطوير الشبكة مع تحسين معايير الأمان.
ملخص
- يقول فيتاليك إن الذكاء الاصطناعي يمكن أن يسرع من خارطة طريق إيثيريوم وجداول التسليم.
- ينبغي أن يذهب نصف مكاسب الذكاء الاصطناعي نحو تعزيز الاختبارات والتحقق الرسمي.
- قد يساعد الذكاء الاصطناعي في جعل الحصول على شفرة تشفير خالية من الأخطاء تقريبًا أمرًا متوقعًا وواقعيًا.
وفي معرض رده على تجربة قام فيها شخص ما بـ "ترميز طاقات" خارطة طريق إيثيريوم لعام 2030 بأكملها في غضون أسابيع، كتببوتيرين أن "قبل ستة أشهر، كان هذا الأمر بعيد المنال، وما يهم هو إلى أين يتجه الاتجاه".
قام بوتيرين شخصياً باختبار برمجة الذكاء الاصطناعي من خلال بناء برنامج مماثل لبرنامج مدونته في غضون ساعة باستخدام جهاز الكمبيوتر المحمول الخاص به.
اقترح مؤسس إيثيريوم أخذ نصف مكاسب السرعة من الذكاء الاصطناعي وتطبيقها على الأمن من خلال المزيد من حالات الاختبار والتحقق الرسمي والتنفيذات المتعددة.
"ينبغي على الناس أن يكونوا منفتحين على إمكانية (وليس يقيناً! إمكانية) أن تنتهي خارطة طريق إيثيريوم بشكل أسرع بكثير مما يتوقعه الناس، وبمستوى أمان أعلى بكثير مما يتوقعه الناس."
يُمكّن الذكاء الاصطناعي من التحقق الرسمي من البراهين التشفيرية المعقدة
تمكن أحد المتعاونين في مشروع Lean Ethereum من برمجة برهان قابل للتحقق آلياً باستخدام الذكاء الاصطناعي لأحد أكثر النظريات تعقيداً التي تعتمد عليها STARKs من أجل الأمن.
تهدف مبادرة Lean Ethereum إلى التحقق رسميًا من جميع المكونات، مع تحسين الذكاء الاصطناعي للقدرة على تحقيق هذا الهدف.
وأشار بوتيرين إلى أن مجرد توليد مجموعة أكبر بكثير من حالات الاختبار أمر يتجاوز التحقق الرسمي.
تضمنت تجربة خارطة الطريق التي استمرت أسبوعين "محاذير هائلة: من المؤكد تقريبًا وجود الكثير من الأخطاء الحرجة، وربما في بعض الحالات نسخ "مختصرة" من شيء لم يحاول الذكاء الاصطناعي حتى صنع النسخة الكاملة منه".
يُقسّم النهج الأمثل مكاسب الذكاء الاصطناعي بين تحسينات السرعة والأمان. وحذّر بوتيرين قائلاً: "لا تفترض أنك ستتمكن من إدخال مُدخل واحد والحصول على نسخة عالية الأمان في أي وقت قريب؛ ستكون هناك الكثير من الصعوبات في معالجة الأخطاء والتناقضات بين التطبيقات".
قد يتحول الكود الخالي من الأخطاء من مجرد وهم مثالي إلى توقع أساسي.
أعرب بوتيرين عن حماسه بشأن إمكانية أن يصبح الكود الخالي من الأخطاء، والذي "كان يُعتبر لفترة طويلة وهماً مثالياً، ممكناً أولاً ثم توقعاً أساسياً". وقد وصف ذلك بأنه ضروري لعدم الثقة في أنظمة التشفير.
يبقى الأمن الكامل مستحيلاً لأنه سيتطلب تطابقاً دقيقاً بين سطور التعليمات البرمجية ومحتويات العقل، وهو ما قدره بوتيرين بالعديد من التيرابايتات من المعلومات.
يمكن تقديم ادعاءات أمنية محددة والتحقق منها في حالات معينة، مما يقلل من أكثر من 99٪ من العواقب السلبية الناتجة عن التعليمات البرمجية المعيبة.
يُظهر البيان الذكاء الاصطناعي كأداة لتسريع جداول التطوير ورفع معايير الأمان في آن واحد.
يشير إطار عمل بوتيرين إلى أن الذكاء الاصطناعي يمكن أن يزيل هذا التنازل من خلال تمكين التحقق الأمني الشامل بسرعات تطوير كانت مستحيلة في السابق.
