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

المنطق المحوري هو: إذا استطاع الذكاء الاصطناعي إثبات مسائل معقدة مثل معادلات نافير–ستوكس ونظرية فيرما الكبرى، فيمكنه أيضًا تحويل إثبات أن «هذا البرنامج آمن» إلى نظرية رياضية. إن الصعوبة الحقيقية لا تكمن في تعقيد الكود، بل في أن تعريف «الأمان» لا ينبغي أن يكون ضيقًا جدًا، وإلا ستتحول بروتوكولات الرسائل والـ sandbox والشبكات والكاش وقواعد البيانات إلى «أسطح هجوم» يتم تجاهلها.

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

$ETH

#以太坊 #网络安全 #AI