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

حُكمه الأساسي هو: الأمن بطبيعته يميل لصالح جهة الدفاع. فإذا تمكن الذكاء الاصطناعي من إثبات معادلات نافييه–ستوكس أو نظرية فيرما، فبإمكانه أيضًا تحويل عبارة “هذا البرنامج آمن” إلى نظرية رياضية؛ والمعضلة الحقيقية ليست تعقيد الشيفرة، بل كيفية تعريف “الأمان” — فإذا كان التعريف ضيقًا جدًا، فإن سطح الهجوم سيتسرّب من خارج حدود التعريف.

لذلك يرى أن التحقق الشكلي لا يجب أن يغطّي فقط الوحدات التي يظنها المرء “مفصلية”، بل يجب أن يُدرج جميع البرامج، بما فيها قواعد البيانات والشبكات والذاكرات المؤقتة وغيرها. كما يجب أن يكون تعريف الأمان قابلًا للقراءة والقابلية للتراكم. مقارنةً بالمسح اليدوي لسطر بسطر، غالبًا ما يكون من الأجدى أولًا التحقق من كفاية تعريف مكوّنات مثل بروتوكولات الرسائل والساندبوكس (الصندوق الرملي) وSNARK وFHE؛ لأن ذلك أكثر قابلية للتطبيق.

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

#AI #网络安全 #以太坊 $ETH