أعلنت شبكة أبتوس (APT) أنها أصبحت أول سلسلة بلوكشين رئيسية من الطبقة الأولى تدمج نظام تحقق رسمي مصمم لمواجهة التهديد المتزايد للهجمات المدعومة بالذكاء الاصطناعي. تم الإعلان عن هذا التطوير عبر حسابها الرسمي على منصة X، مما يمثل خطوة مهمة في مجال أمن البلوكشين الاستباقي.
أداة “موف بروفر”: حاجز رسمي ضد تهديدات الذكاء الاصطناعي
يتم تطبيق التحقق الرسمي من خلال أداة “موف بروفر”، وهي أداة إثبات تم تطويرها بمساعدة الذكاء الاصطناعي لتحليل الأكواد المكتوبة بلغة البرمجة “موف”. على عكس عمليات التدقيق الأمني التقليدية التي تعتمد على المراجعة اليدوية أو المسح القائم على التخمين، فإن التحقق الرسمي يثبت رياضيًا صحة كود العقود الذكية. هذا النهج مهم بشكل خاص في الوقت الذي يستخدم فيه المهاجمون الذكاء الاصطناعي التوليدي لابتكار ثغرات متطورة يمكنها تجاوز طرق الكشف التقليدية.
من خلال دمج التحقق الرسمي مباشرة في مرحلة تطوير البرمجيات، تهدف أبتوس إلى منع ظهور الثغرات قبل نشرها على الشبكة الرئيسية. تقوم أداة “موف بروفر” تلقائيًا بفحص الأخطاء الأمنية الشائعة مثل تجاوز السعة الرقمية، وانتهاكات صلاحيات الوصول، والتناقضات المنطقية، مما يوفر للمطورين شبكة أمان قوية.
لماذا هذا مهم للنظام البيئي للبلوكشين؟
توقيت إعلان أبتوس يتماشى مع اتجاه أوسع في الصناعة: ارتفاع البرمجيات الخبيثة المولدة بالذكاء الاصطناعي والنصوص البرمجية الآلية التي تستهدف بروتوكولات التمويل اللامركزي (DeFi). وفقًا لتقارير أمنية متعددة، زاد عدد الهجمات المدعومة بالذكاء الاصطناعي على شبكات البلوكشين بشكل كبير في عام 2025، حيث يستخدم المهاجمون نماذج لغوية كبيرة لتوليد نواقل هجوم جديدة على نطاق واسع.
يوفر التحقق الرسمي ضمانًا رياضيًا لصحة الكود، وهو مختلف جوهريًا عن التدقيق التقليدي. بينما يحدد التدقيق أنماط الثغرات المعروفة، يمكن للتحقق الرسمي اكتشاف الثغرات غير المعروفة أو الجديدة التي قد يفوتها المدقق. بالنسبة للمستثمرين المؤسسيين والشركات التي تفكر في تبني البلوكشين، قد يكون هذا المستوى من الضمان عاملاً حاسمًا في اتخاذ القرار.
تأثير ذلك على المطورين والمستخدمين
بالنسبة للمطورين الذين يعملون على شبكة أبتوس، فإن دمج أداة “موف بروفر” يعني أنهم يستطيعون الآن التحقق من عقودهم الذكية تلقائيًا أثناء عملية التطوير، مما يقلل من مخاطر الأخطاء المكلفة بعد النشر. وبالنسبة للمستخدمين النهائيين، فإن هذا يترجم إلى بيئة أكثر أمانًا للتعامل والتفاعل مع التطبيقات اللامركزية.
خطوة أبتوس تضع أيضًا ضغطًا على شبكات الطبقة الأولى المنافسة لتبني أدوات تحقق رسمي مماثلة. مع استمرار تطور قدرات الذكاء الاصطناعي، قد تحتاج صناعة البلوكشين إلى التحول من التصحيحات الأمنية التفاعلية إلى الدفاعات القابلة للإثبات رياضيًا كمعيار أساسي.
خلاصة
يمثل تبني أبتوس للتحقق الرسمي عبر أداة “موف بروفر” نهجًا استباقيًا لأمن البلوكشين في عصر التهديدات المدعومة بالذكاء الاصطناعي. من خلال إعطاء الأولوية للإثبات الرياضي على التدقيق التقليدي، تضع الشبكة معيارًا جديدًا للدفاع الاستباقي. ما إذا كان هذا سيصبح معيارًا صناعيًا سيعتمد على معدلات التبني والتطور المتزايد للهجمات المدعومة بالذكاء الاصطناعي.
أسئلة شائعة
- س1: ما هو التحقق الرسمي في البلوكشين؟
التحقق الرسمي هو طريقة رياضية تستخدم لإثبات أن كود العقد الذكي يعمل بالضبط كما هو مقصود، مما يلغي أنواعًا كاملة من الأخطاء والثغرات قبل النشر. - س2: كيف تعمل أداة “موف بروفر”؟
أداة “موف بروفر” هي أداة تحلل كود لغة “موف” وتفحص تلقائيًا الأخطاء المنطقية والثغرات الأمنية والشروط الثابتة. توفر للمطورين إثباتًا على أن الكود صحيح في جميع الحالات الممكنة. - س3: لماذا هذا مهم ضد هجمات الذكاء الاصطناعي؟
يمكن للهجمات المولدة بالذكاء الاصطناعي إنشاء أنماط ثغرات جديدة قد لا تتعرف عليها عمليات التدقيق الأمني التقليدية. يوفر التحقق الرسمي ضمانًا رياضيًا بصحة الكود لا يعتمد على التعرف على أنماط الهجوم المعروفة.
