هل يصبح الذكاء الاصطناعي درعاً جديداً لحماية الكريبتو؟ فيتاليك بوتيرين يشرح الفكرة

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

تصريح جديد يربط الذكاء الاصطناعي بأمن البلوكشين

عاد فيتاليك بوتيرين إلى نقاش أمن الكريبتو من زاوية تقنية دقيقة، بعدما نشر في 18 ماي 2026 مقالاً بعنوان “A shallow dive into formal verification”، شرح فيه كيف يمكن للتحقق الشكلي، خاصة عندما يصبح مدعوماً بالذكاء الاصطناعي، أن يرفع مستوى الأمان داخل أنظمة إيثريوم والبلوكشين عموماً.

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

ما معنى “التحقق الشكلي”؟

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

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

لماذا يهم هذا الأمر عالم الكريبتو؟

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

ويرى بوتيرين أن المجالات الأكثر استفادة قد تشمل تقنيات STARKs، وZK-EVM، وخوارزميات الإجماع، والتوقيعات المقاومة للحوسبة الكمية. وهي كلها مكونات تقع في قلب البنية التقنية لإيثريوم والجيل القادم من البلوكشين.

الذكاء الاصطناعي لا يعني نهاية الأخطاء

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

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

أثر محتمل خارج إيثريوم

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

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

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