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

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

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

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

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

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

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

طبقة دفاع جديدة لأنظمة البلوكشين

يرى بوتيرين أن “التحقق الرسمي” أو Formal Verification قد يصبح أحد أهم طبقات الحماية المستقبلية للبنية التحتية الرقمية، بما في ذلك شبكة الإيثيريوم.

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

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

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

مستقبل تطوير البرمجيات في عصر الذكاء الاصطناعي

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

كما أشار إلى أن الباحثين يستخدمون بالفعل هذه التقنيات لاختبار بروتوكولات التشفير مثل AES وغيرها من أنظمة الحماية الحديثة.

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

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