فيتاليك بوتيرين يرفض مزاعم هلاك الأمن السيبراني بسبب الذكاء الاصطناعي

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

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

بوتيرين يقول إن التحقق الرسمي يمكن أن يخدم المدافعين

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

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

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

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

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

إيثريوم تختبر بالفعل الأمن بمساعدة الذكاء الاصطناعي

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

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

أصبح هذا العيب CVE-2026-34219. ويقول سجل قاعدة بيانات الثغرات الوطنية الأمريكية إن الإصدارات قبل 0.49.4 يمكن أن تتعطل عن بُعد من خلال رسالة PRUNE مصممة خصيصًا تؤدي إلى تجاوز حسابي أثناء معالجة التراجع في Gossipsub. وقد أصلح الإصدار 0.49.4 المشكلة.

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

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

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

التحقق الرسمي يدخل خارطة طريق بروتوكول إيثريوم

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

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

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

يسرد تقرير تمويل الربع الثاني للمؤسسة مزيدًا من العمل الذي يجمع بين النماذج اللغوية الكبيرة والأساليب الرسمية. وتشمل المشاريع ETHeorem لفحص تنفيذات عملاء إيثريوم مقابل المواصفات، وSPECA وLeanAgent لأعمال الامتثال الآلي للبروتوكول، والتحقق الرسمي الذي يشمل بنية RISC-V zkVM التحتية.

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

الأدلة الحالية للذكاء الاصطناعي تُظهر قدرة هجومية أقوى أيضًا

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

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

وقد وصفت Anthropic التقنية نفسها بأنها مفيدة للدفاع. وأفادت مبادرة Project Glasswing الخاصة بها باستخدام نماذج متطورة مع شركات أمنية وبائعي برمجيات لتحديد العيوب عالية وشديدة الخطورة قبل أن يتمكن الجهات الخبيثة من استغلالها.

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

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