الماسح يجيب على سؤال: ما الخطأ في هذا الكود؟ وهذه الأداة تجيب على السؤال المختلف الذي يشغلك فعلاً قبل الإطلاق: ما الذي يستطيع مهاجم استغلاله؟ تأخذ ما وجده الفحص وتحاول بناءه في مسار عملي كامل، ثم تخبرك عن كل مسار: كم منه مثبَت، وكم منه استنتاج، وهل نُفِّذ إثبات مفهوم أصلاً.
العائلات العشر مجموعةً في ستّ مجموعات. الأعداد أدناه تُقرأ من جدول أنماط المحاكي نفسه لحظة بناء هذه الصفحة — لو فرغت عائلة يوماً لتوقّف بناء الصفحة بدل أن تستمرّ في الإعلان عنها.
دالّة تمنح سلطة وتنسى أن تتحقّق ممّن يستدعيها. هذه أبسط الثغرات وأكثرها كلفةً في السجلّ الموثَّق.
العودة إلى الداخل قبل أن ينتهي العقد من تسجيل ما أخذته، وهجمات لا تحتاج رأس مال لأن رأس المال يُقترض ويُسدَّد داخل المعاملة نفسها.
العقد يسأل جهةً أخرى عن قيمة شيء، والإجابة قابلة للاختيار — أو يتحرّك السوق الذي يسعّر مقابله.
توقيع يعمل أكثر من مرّة، أو على أكثر من شبكة، أو لأكثر من غرض واحد.
الكود خلف العنوان لم يعد هو الكود الذي دُقِّق، أو مسار يمتدّ من مستدعٍ عادي إلى مالك، ومن مالك إلى أكثر من مالك.
كل سطر صحيح والقواعد مجتمعةً ليست كذلك؛ أو لا شيء معطّل أصلاً، لكن الحوافز تدفع للمهاجم أكثر ممّا تدفع لك.
الأدوات نفسها (الماسح، لوحات التحكّم، مساحة عمل SAFI) واجهتها بالإنجليزية حالياً. هذه الصفحات تشرح لك كل شيء بالعربية قبل أن تدخل إليها.
الأداة استنتاجية لا توليدية: كل سلسلة موجودة لأن للماسح كواشف تستطيع إثبات شروطها المسبقة، لا لأن نموذجاً لغوياً كتبها.
«مؤكّد» يعني أن إثبات مفهوم نُفِّذ على نسخة معزولة من العقد ونجح. هذا المسار لا ينفّذ شيئاً، فلن يصدر عنه «مؤكّد» أبداً.
«محتمل» يعني أن كل شرط مسبق مطلوب متحقّق في شيء يستطيع الفحص أن يشير إليه في كودك. أي: الطريق مفتوح — لا أن أحداً سلكه.
«غير متحقَّق» يعني أن الشروط قائمة لكن السلسلة تستند إلى استنتاج بنيوي أكثر من استنادها إلى نتائج كواشف مباشرة. اعتبرها خيطاً لمراجع بشري، لا نتيجة.
الكود المصدري لا يغادر متصفّحك. ما يُرسَل لتركيب السلاسل هو نتائج الفحص فقط: معرّفات الكواشف، وجدول الدوالّ، وإشارات التحكّم في الصلاحيات — ويمكنك مراقبة ذلك في تبويب الشبكة بنفسك.
تستطيع لصق كود Solidity مباشرةً، أو إعطاء عنوان عقد منشور. في الحالة الثانية يجب أن يكون المصدر موثَّقاً على المستكشف: البايتكود غير الموثَّق لا دوالَّ فيه تُقرأ، فلا يوجد ما تُركَّب منه سلسلة.
قبل التشغيل تُقرّ بأنك مخوَّل باختبار هذا العقد: تملكه، أو متعاقَد معك لمراجعته، أو هو نشرك أنت.
لا شيء هنا يلمس الشبكة — المصدر يُقرأ من المستكشف ويُحلَّل في هذا المتصفّح، ولا تُبنى معاملة ولا تُرسَل. الإقرار سجلّ نيّة، وهو مطلوب لأن أداةً ترسم لك طريقة مهاجمة عقد غريب عند الطلب هي منتَج آخر تماماً، لا هذا.
دليل الهجمات — السلاسل الإحدى والعشرون بشروطها المسبقة كاملةً — مفتوح للجميع بلا حساب. اقرأه ولو لم تشغّل الأداة يوماً.
قراءة العقد مجانية. تركيب السلاسل على كودك أنت ضمن باقة وكلاء الذكاء الاصطناعي (59.9 دولاراً شهرياً) ويكلّف 5 أرصدة للتشغيلة الواحدة.
الصق عنوان العقد لترى صلاحيات المالك والسيولة ونتيجة محاكاة البيع قبل أن تخاطر بأموالك. رسم صغير لكل فحص يُعرض قبل التوقيع — ومشمول بلا حدود مع أي اشتراك.
