الانطلاق من اسم لم أكن قد تحققت منه فعليًا أبدًا
كل عرض حول منظومة شركاء نيوتن — بما في ذلك ما كتبته أنا — يذكر أوكتان بوصفه "أمنًا مستمرًا للعقود الذكية مدعومًا بالذكاء الاصطناعي" وينتقل إلى غيره. أردت فعلًا أن أعرف ماذا فعلت هذه الشركة، لأن "شريك أمني بالذكاء الاصطناعي" هي بالضبط نوع من الاعتماديات السهلة في إدراجها والسهولة كذلك في تجاهلها بمجرد أن تمرّ عليها.
ما الذي توصّل إليه أوكتان فعلًا
بضع نقاط بيانات ملموسة، وليس مجرد دعاية تسويقية. حدد أوكتان ثغرة لوجود قابلية تشغيل (liveness) عالية الخطورة في عميل تنفيذ Nethermind — وهي خطيرة إلى درجة أنه، في حال تُركت دون إصلاح، كان يمكن أن توقف إنتاج الكتل عبر نحو 40% من مُدقّقي شبكة Ethereum الرئيسية الذين يشغّلون هذا العميل. هذا ليس خللًا افتراضيًا في عقدٍ بسيط؛ بل هو نتيجة تحمل آثارًا على مستوى المخاطر النظامية بالنسبة لِـ Ethereum نفسها.
وبشكل منفصل، جاءت أنظمة أوكتين بالذكاء الاصطناعي في المرتبة الأولى ضمن منافسة Monad للتدقيق الأمني بين أكثر من 1,600 باحث أمني — مقارنة مباشرة مُحكمة، خصمية، ومحكومة ضد حقل واسع من المنافسين البشر، وليست معيارًا مُبلّغًا ذاتيًا. كما أن أوكتين هي شريك أمن لشركة Circle من أجل المراجعة المستمرة لعقود USDC، وقد وثّقت علنًا اكتشافها لثغرة حرجة في بروتوكول MUX عرّضت أكثر من 8 ملايين دولار للخطر، إضافةً إلى مشكلة "Phantom Multicall" في Covenant نتجت عن دالة multicall متسامحة في عقد موروث — نوع خلل التفاعل بين العقود الذي يصعب فعلًا على المُراجع البشري اكتشافه بمجرد قراءة ملف واحد تلو الآخر.
هذا سجلٌّ فعليٌّ يمكن التحقق منه خارجيًا. خرجتُ أكثر اقتناعًا بأن أوكتين هو عملية أمنية شرعية وقادرة مما كنت أتوقع عند دخولي.
الجزء من عرضهم التقديمي الذي يستحق القراءة بعناية
إليك ما تقوله المواد الخاصة بأوكتين نفسها عن كيفية المقصود استخدامها: مراجعة مستمرة يقودها الذكاء الاصطناعي، مع مراجعة كل التزام وكل تغيير في الاعتماديات، ومُشارٌ إليها صراحةً كتكملة للتدقيقات البشرية التقليدية "بنقاط زمنية" — وليس كبديل عنها. إطارهم الخاص: "تُقرن معظم البروتوكولات الرائدة أوكتين بالتدقيقات البشرية، وتتعامل مع أوكتين كطبقة تلتقط ما يُقدَّم بين دورات المراجعة."
هذه ادعاء محدد وقابل للاختبار فيما يخص أفضل الممارسات: القيمة التي يوفرها أوكتين هي التقاط الانحراف بعد أن يكون تدقيق بشري قد أسس خط أساس (baseline)، وليس تقديم خط الأساس نفسه. بروتوكول يستخدم أوكتين دون وجود تدقيق بشري أساسي يستخدم نصف النموذج الذي توصي به أوكتين نفسها.
السؤال الذي لم أستطع الإجابة عنه من الخارج
إذًا: هل لدى نيوتن، بعقدها الأساسي للكود ولمنطق تقييم السياسات، تدقيق بشري منشور موجود أسفل طبقة أوكتين المستمرة؟ بحثتُ عن تقرير تدقيق خاص بنيوتن — من شركاء أوكتين في التدقيق البشري أو من أي جهة أخرى مُسمّاة — ولم أجد واحدًا مرتبطًا علنًا جنبًا إلى جنب مع إعلان الشراكة الخاص بأوكتين. هذا لا يعني أنه غير موجود؛ فغالبًا ما تكون تقارير التدقيق موجودة في مستودعات GitHub أو لوحات معلومات، أو يتم مشاركتها عند الطلب بدلًا من ربطها من صفحات التسويق. لكنني لم أستطع تأكيده بشكل مستقل، وأعتقد أن هذا يمثل حالة مختلفة بشكل ملموس عن تأكيد أنه موجود.
هذا مهم لأن عبارة "نحن نعمل مع أوكتين" وعبارة "لدى كودنا تدقيق كامل، إضافةً إلى أن أوكتين يعمل بشكل متواصل منذ" تمثل مستويات مختلفة من الضمان. أما صياغة عرض الشركاء الموجودة في معظم الملخصات (ومنها ملخصاتي السابقة) فلا تُميّز بينهما. المواد الخاصة بأوكتين هي التي توضح لك أن الفرق مهم — فهي ليست متحفظة في القول إن المراجعة المستمرة بالذكاء الاصطناعي تعمل بأفضل شكل عندما تُقترن، لا عندما تُستبدل، بالتدقيق البشري.
لماذا هذا ليس "فضيحة"
أريد أن أوضح أن هذا ليس اتهامًا بأن نيوتن تقصّر — فحسب معرفتي، قد يوجد تدقيق كامل موجود فقط خارج ما استطعت الوصول إليه. أحيانًا تكون للبروتوكولات في هذه المرحلة المبكرة تدقيقات قيد التنفيذ، أو مكتملة لكن غير مُعلنة بعد، أو مقسمة على عدة عقود مع جداول تدقيق مختلفة. أيٌّ من هذه السيناريوهات سيكون أمرًا طبيعيًا لمشروع في مرحلة نيوتن.
لكن الموقف الصريح هو: أستطيع التحقق من أن أوكتين شريك حقيقي وموثوق وله سجلٌّ فعلي. لا أستطيع، اعتمادًا على المواد العامة، التحقق من أن عقود نيوتن نفسها قد حصلت على اقتران "تدقيق بشري + مراجعة AI مستمرة" الذي تقول أوكتين إنه النموذج الموصى به فعليًا. هذان ادعاءان منفصلان، ولا أستطيع دعم إلا واحدٍ منهما بثقة.
ما الذي كنتُ سأطلبه فعليًا
لو كنتُ أقيم ما إذا كان يجب عليّ إسناد أموال إلى خزنة مدمجة مع نيوتن، فالشيء المحدد الذي أريد رؤيته ليس "أوكتين شريك" — بل تقرير تدقيق بشري مرتبط ومؤرخ للعقود الأساسية لـ PolicyClient وعقود التقييم، ويفضّل أن يكون صادرًا عن جهة مُعينة بالاسم، إلى جانب دليل بأن فحص أوكتين المستمر كان يعمل فعليًا مقابل قاعدة الكود منذ ذلك الحين. كلا الجزأين مهمان، ليس فقط النصف الأسهل تسويقًا.