يتصور بوترين تعزيز ضمانات العملة المشفرة من خلال تقنيات التدقيق الرياضي المتقدمة المدعومة بالذكاء الاصطناعي

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

جادل المؤسس المشارك لـ Ethereum بأن "التحقق الرسمي" بمساعدة الذكاء الاصطناعي يمكن أن يصبح أحد أهم أدوات الأمن السيبراني حيث أن أنظمة الذكاء الاصطناعي المتقدمة بشكل متزايد تجعل من السهل اكتشاف نقاط الضعف في البرامج، وذلك في منشور مدونة مطول تمت مشاركته يوم الاثنين.

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

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

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

كتب بوتيرين: "الأخطاء في كود الكمبيوتر مخيفة"، قبل أن يصف كيف تصبح المخاطر أكثر خطورة عندما تتحكم البرمجيات في الأصول غير القابلة للتغيير أو أنظمة التشفير المتقدمة.

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

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

يكتب بوتيرين: "يمنحك الذكاء الاصطناعي القدرة على كتابة كميات كبيرة من التعليمات البرمجية على حساب الدقة، ويمنحك التحقق الرسمي الدقة". "افتراضيًا، سيعمل الذكاء الاصطناعي على تمكين كميات كبيرة من التعليمات البرمجية غير الدقيقة للغاية... ولكن هناك مستقبل متفائل للأمن السيبراني هنا."

اقرأ المزيد: تكشف مؤسسة Ethereum عن معيار "التوقيع الواضح" الجديد لمنع المستخدمين من الموافقة على معاملات العملات المشفرة الضارة