بوترين يحذر من أن استغلالات الذكاء الاصطناعي قد تدفع الكريبتو إلى عصر الإثباتات الرياضية

فيتاليك بوترين قال إن التقدم في artificial intelligence could reshape how crypto systems are attacked والدفاع عنها قد يدفع البنية التحتية نحو برمجيات مُثبتة رياضياً.

مقال بوترين يوضح تهديد الذكاء الاصطناعي

الشريك المؤسس لإيثريوم argued أن increasingly powerful AI models ستجعل اكتشاف الثغرات واستغلالها في البرمجيات المعقدة أسهل بكثير.

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

وحدّد بنية إيثريوم (ETH)، وآليات الإجماع، والتشفير ما بعد الكمي كأهداف ذات أولوية لتعزيز الدفاعات.

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

Also Read: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run

التحقق الشكلي كوسيلة دفاع

كتب بوترين: "الذكاء الاصطناعي يمنحك القدرة على كتابة كميات كبيرة من الشيفرة على حساب الدقة، والتحقق الشكلي يعيد إليك الدقة".

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

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

كما أشار إلى مشاريع نشطة مثل Arklib و evm-asm، التي تركز على تأمين البنية التحتية التشفيرية وبرمجيات آلة إيثريوم الافتراضية.

مع ذلك، حذّر المقال warned من أن التحقق الشكلي ليس حلاً سحرياً؛ فحتى الأنظمة المثبتة رياضياً يمكن أن تفشل عندما يتحقق المطورون من افتراضات خاطئة أو عندما تكون نقاط الاستغلال خارج مسار الشيفرة التي جرى التحقق منها.

سجل بوترين في الأمن

رسم بوترين مستقبلاً تتركز فيه البنى التحتية الرقمية الحساسة في "نظم لبّ آمن" أصغر، تكون معزولة ومتحققاً منها بدقة، بينما تعمل التطبيقات الأقل حساسية بصلاحيات محدودة.

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