أغلب الماسحات تسلّمك قائمة نتائج مرتَّبة بالخطورة. SaferICO يركّبها في السلسلة التي تستخدمها — ويشحن الدليل لكل حلقة يدّعيها. النتيجة سطر؛ والهجوم تركيب من عدّة أسطر، وهذا ما نبحث عنه.
الترتيب ليس عرضياً. كل طبقة تستهلك ما أنتجته السابقة، وكل واحدة معرَّفة بنقطة عماها بقدر ما هي معرَّفة بما تلتقطه. ونقاط العمى مطبوعة هنا للسبب نفسه الذي تُطبَع لأجله في التقرير: أداة تُخفي مداها أداة لا تستطيع معايرتها.
201 كاشفاً على مصدر Solidity: قيم إرجاع غير مفحوصة، وأشكال إعادة الدخول، ومسارات السكّ والكنس، وصلاحيات المالك، ومسارات الوكيل والترقية، ومحاكاة شراء وبيع تكشف الـHoneypot قبل أن تكون داخله. المحرّك يعمل على جهازك — العقد غير المنشور لا يُرفَع أبداً لقراءته.
المصدر ادّعاء، والبايتكود المنشور هو الواقعة. تقرأ هذه الطبقة الموزّع لتعرف المُحدِّدات التي يعرضها العقد فعلاً، وتسمّي بيانات الاستدعاء الخام مقابل سجلّ توقيعات، وتطرح كود المكتبات ليبقى المكتوب باليد وحده — وهو أوّل ما ينبغي لمدقّق أن يقرأه — وتذكر من أين جاءت أموال العنوان، وكل إجابة تحمل مصدر القائمة التي أنتجتها.
كل سلسلة تحمل سؤالاً، وقائمة شروط مسبقة، ووزن كل شرط منها. ولا تصدر سلسلة إلّا إذا أثبت الفحص شروطها المطلوبة فعلاً، وتشحن الدليل على كل واحد منها. وإن كان الكود لا يدعم السلسلة، فلا تظهر سلسلة.
عمل النموذج يبدأ بعد أن تكون الطبقة 03 قد أثبتت سلسلة: أن يشرح تلك السلسلة، بلغة القارئ، على المستوى الذي يحتاجه المدافع لإغلاقها. ولا يُطلَب منه سيناريو قطّ ولا يستطيع إضافة واحد — لأن قائمة واثقة غير قابلة للتفنيد من هجمات مخترَعة تدفن النتيجة الحقيقية الوحيدة تحتها.
كل نتيجة بخطورتها ودليلها وإصلاحها. وأرشيف عام للتقارير المسلَّمة. وشارة تفصل ما قُرئ حيّاً على الشبكة عمّا أُبلِغ عنه فقط، وتؤرّخ الثاني. ومراقبة تستمرّ على العنوان بعد توقيع التقرير، لأن العقد قد يغيّر مالكه في الأسبوع التالي لنجاحه.
أي ادّعاء بأن العقد «آمن». التقرير يذكر ما اختُبر وما صمد — والتقرير الذي يَعِد بالأمان تقرير يستحقّ ألّا يُصدَّق. ولا قائمة عقوبات مُدمَجة في هذا المنتَج: بلا قائمة تسميات محمَّلة يقول التقرير ذلك بهذه الكلمات، بدل أن يعيد نتيجة نظيفة تُقرأ خطأً على أنها «فُحِصت».
الأدوات نفسها (الماسح، لوحات التحكّم، مساحة عمل SAFI) واجهتها بالإنجليزية حالياً. هذه الصفحات تشرح لك كل شيء بالعربية قبل أن تدخل إليها.
السعة والعمق والانضباط ثلاثة ادّعاءات مختلفة. كل رقم أدناه قابل للعدّ، وكل واحد يجيب على سؤال آخر — ولا واحد منها رقم تسويقي مقرَّب، والثالث حدّ اخترناه نحن.
صفر سلسلة هجوم كتبها نموذج لغوي. كل سلسلة مركَّبة في الكود من مخرَج الكواشف، وتشحن الدليل على كل شرط مسبق تدّعيه.
الذكاء الاصطناعي يشرح سلسلة موجودة أصلاً. ولم يكن قادراً قطّ على إضافة واحدة — وهذا قيد في التصميم، لا سياسة تحريرية يمكن تخفيفها لاحقاً.
204 مشاريع و222 تقرير تدقيق منشوراً: سجلّ عام على BNB Chain وإيثيريوم وبيس وبوليجون وأربيتروم وأوبتيميزم وأفالانش، بين 2021 و2025.
كل مُدخَل يربط إلى ملفّ المدقّق المنشور نفسه — لا نسخة مستضافة عندنا، ولا ملخّصاً لها. تستطيع عدّها بنفسك.
201 كاشفاً و21 سلسلة هجوم. الكواشف هي المفردات، والسلاسل هي الجُمل التي تستطيع تلك المفردات تكوينها.
كل سلسلة تسمّي شروطها المسبقة ووزن كل شرط. واثنتا عشرة منها تستشهد بحادثة موثَّقة اتّخذت الشكل نفسه — والتسع الباقيات تقول إنه لا نظير موثَّق لها، بدل أن تمدّ يدها إلى اسم معقول.
الرقم الثالث صفر، وهو حدّ اخترناه: صفر سلسلة كتبها نموذج لغوي.
الطبقات الخمس لا ينفّذ أيّ منها شيئاً. لا معاملة تُبنى ولا تُبَثّ في أي طبقة — ما يُقال عن الحالة الحيّة (الأرصدة، وعمق السيولة، ومن يحمل المفاتيح، وهل المالك محفظة متعدّدة التواقيع) خارج مدى الحزمة كلّها، وهي تقوله.
الثقة في الطبقة 03 هي نسبة الشروط المسبقة المُثبَتة، لا احتمال نجاح الهجوم. الفرق جوهري: الأولى قابلة للعدّ، والثانية تخمين يرتدي زيّ رقم.
ولهذا لا تصل الحزمة إلى «مؤكّد» من قراءة المصدر وحده: «مؤكّد» يعني أن إثبات مفهوم نُفِّذ ونجح، وهذه الطبقات لا تنفّذ شيئاً.
الصق عنوان العقد لترى صلاحيات المالك والسيولة ونتيجة محاكاة البيع قبل أن تخاطر بأموالك. رسم صغير لكل فحص يُعرض قبل التوقيع — ومشمول بلا حدود مع أي اشتراك.
