#Cardano قام مؤسس شركة كاردانو، تشارلز هوسكينسون، بالتعليق على ما أُفيد به من سرقة 4,000 بيتكوين من محفظة اتحاد شبكة Liquid.
أكدت Liquid الحادث في منشور على X أمس، مشيرة إلى أن القراصنة استنزفوا ما يقرب من 4,000 بيتكوين بقيمة 320 مليون دولار من محفظة اتحادها. ووفقًا للشبكة، قام المهاجمون بتحريك الأموال عبر خدمة SideSwap Peg-out Authorization Key (PAK).
ومع ذلك، أشارت كلّ من Liquid وSideSwap إلى أن طرف PAK نفسه لم يكن مخترقًا. وبدلًا من ذلك، قالت SideSwap إن عملة L-BTC المشاركة في المعاملة نشأت من ثغرة في Elements، وهو البرنامج المشتق من بيتكوين الذي يشغّل سلسلة Liquid الجانبية (sidechain).
بعد الحادثة، عطّل Liquid عقد الجسور (bridge nodes) وأوقف نشاط الشبكة بينما كان أعضاء الاتحاد (federation) يحققون في الاختراق. وفي الوقت نفسه، تلقت البورصات إشعارات وبدأت في إيقاف—أو التحضير لإيقاف—ودائع وسحوبات L-BTC.
تضمّن المعاملة أيضًا رسالة OP_RETURN، حيث طلب المهاجمون—الذين زعموا أنهم قُبّعات بيضاء—التواصل على السلسلة.
هوكسكينسون يحذّر من مخاطر الأمن السيبراني التي يقودها الذكاء الاصطناعي
وبعد الحادثة، استغل هوسكينسون الاختراق لإبراز ما يراه تهديدًا متزايدًا للأمن السيبراني قادمًا من الذكاء الاصطناعي.
وقد جادل بأن الأساليب الرسمية قد توفر أقوى دفاعات محتملة ضد هجمات تقودها قدرات الذكاء الاصطناعي المتزايدة. ومع تحسن أنظمة الذكاء الاصطناعي في تحليل كود المصدر وتحديد الثغرات وأتمتة الهجمات المعقدة، يواجه مطورو بلوكتشين نافذة أضيق بشكل متزايد بين اكتشاف ضعف في البرمجيات واستغلاله.
بدأ الذكاء الاصطناعي بالفعل في تغيير مشهد أمن العملات الرقمية من خلال مساعدة المهاجمين على تحديد أهداف محتملة، وتحليل كود معقد، وأتمتة حملات التصيد والضغط الاجتماعي. وقد زاد اختراق Coldcard المُبلغ عنه—الذي شمل سرقة ما قيمته 130 مليون دولار من البيتكوين—من المخاوف بشأن كيف يمكن لأدوات الذكاء الاصطناعي المتقدمة أن تجعل الثغرات الصعبة أسهل في التعرف عليها واستغلالها.
وعلى هذا النحو، يجادل هوسكينسون بأن الاختبارات التقليدية وحدها قد لا توفر بعدُ حماية كافية. وبدلًا من ذلك، يشير إلى الأساليب الرسمية، التي تستخدم مواصفات رياضية وبراهين للتحقق مما إذا كان البرنامج يتصرف وفقًا لتصميمه المقصود.
تركيز كاردانو على التحقق الصوري
كما يتوافق تحذير هوسكينسون مع التركيز الطويل الأمد لدى كاردانو على تطوير بلوكتشين يتمتع بالصرامة الرياضية.
تتضمن فلسفة تطوير كاردانو أبحاثًا أكاديمية ومراجعة نظراء والتحقق الصوري بوصفها مكونات مهمة في نهجها الأمني. وعلى سبيل المثال، ظهر بروتوكول الإجماع Ouroboros من أبحاث أكاديمية رسمية، بينما ركّز النظام البيئي الأوسع على إثبات الخصائص الحرجة للبروتوكولات والبرمجيات بدلًا من الاعتماد حصريًا على الاختبارات التجريبية.
تدعم هذه المنهجية حجة هوسكينسون، لأن التحقق الصوري يسعى إلى إثبات رياضيًا أن الخصائص المحددة تتحقق. ونتيجة لذلك، يمكن للمطورين تحديد فئات كاملة من الثغرات قبل نشر الكود في بيئة الإنتاج.
تعتمد كاردانو أيضًا على تقنيات البرمجة الوظيفية مثل هاسكل وبلوتوس. ويمكن لنُظم الأنواع القوية والأسس الرياضية لديها أن تساعد المطورين على اكتشاف فئات معينة من أخطاء البرمجة في وقت أبكر من عملية التطوير.
ومن الجدير بالذكر أن نهج كاردانو يهدف إلى منع الثغرات قبل وصولها إلى بيئة الإنتاج بدلًا من الاعتماد على الاختبارات وممارسات الأمن التقليدية وحدها.