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

رأي بقلم: جيسوس رودريجيز، المؤسس المشارك لشركة Sentora

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

إن عمليات التدقيق اليوم عبارة عن لقطات عرضية في وقت محدد تكافح في سوق متعارضة وقابلة للتركيب وغالبًا ما تفوت أوضاع الفشل الاقتصادي.

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

عمليات التدقيق ليست شائعة كما تظن

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

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

قيود تدقيق العقود الذكية

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

متعلق ب: انسَ The Terminator: تعمل جانيت آدامز من SingularityNET على بناء الذكاء الاصطناعي العام بكل قلبها

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

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

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

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

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

يتكون مسار البناء العملي من ثلاثة مكونات رئيسية.

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

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

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

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

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

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

إن مدققي العقود الذكية بالذكاء الاصطناعي أمر لا مفر منه

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

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

لا يقتصر الضمان المعزز بالذكاء الاصطناعي على تحديد المربع فحسب؛ إنها تتراكم في القدرة التشغيلية لنظام بيئي عدائي قابل للتركيب.

رأي بقلم: جيسوس رودريجيز، المؤسس المشارك لشركة Sentora.

هذه المقالة هي لأغراض المعلومات العامة وليس المقصود منها ولا ينبغي أن تؤخذ على أنها نصيحة قانونية أو استثمارية. الآراء والأفكار والآراء الواردة هنا هي آراء المؤلف وحده ولا تعكس بالضرورة أو تمثل وجهات نظر وآراء Cointelegraph.