انتقل إلى المحتوى

الخدمات

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

commit مجمّد يقرؤه باحثون كبار سطرًا بسطر بعد مرور نموذجنا الأول عليه. سعر ثابت، ومراجعة الإصلاحات مشمولة، وتقرير علني إن أردت.

اطلب عرض سعر

طريقتان للتدقيق

المنهج نفسه والباحثون أنفسهم. المتقدّم يُثبت الثغرات على الحالة الحيّة.

  • الشيفرة المصدرية

    عدد الباحثين الذين يقرؤون كل سطر: 2.

    ابتداءً من ‏1,000 US$

    • باحثون كبار: 2
    • اختبار اختراق بالذكاء الاصطناعي عبر nonce-sc-1 لكل سطر
    • بنود قائمة التحقق: 404، الشبكات: 10
    • تحليل ثابت واختبار fuzzing داخل بيئة معزولة
    • كل نتيجة تؤكدها 3 مراجعات
    • إثبات دون اتصال لكل ثغرة حرجة وعالية
    • مراجعة الإصلاحات مشمولة
    • PDF وmarkdown جاهز للوكلاء وبوابة
  • المتقدّم

    للبروتوكولات المنشورة

    ثغرات مُثبتة على حالة الشبكة الرئيسية.

    ابتداءً من ‏2,000 US$

    • كل ما في الشيفرة المصدرية
    • باحثون كبار: 3
    • nonce-sc-1 يختبر اختراق العقود المنشورة
    • ثغرات EVM مُثبتة على نسخة fork من الشبكة الرئيسية
    • محاكاة هجمات الأوراكل والسيولة
    • اختبار fuzzing للثوابت على حالة الشبكة الرئيسية
    • مراجعة سكربتات النشر ومفاتيح الإدارة
    • مطابقة الشيفرة المنشورة وإعادة قراءتها يوميًا

يُحدَّد السعر النهائي حسب أسطر الشيفرة والشبكات والموعد النهائي، ويُرسل خلال 12 ساعة.

ثلاث خطوات

  1. 1

    أرسل المستودع

    بريد إلكتروني ورابط.

  2. 2

    احصل على سعر ثابت

    في أقل من 12 ساعة.

  3. 3

    أصلح عبر البوابة

    نتحقق من كل إصلاح.

الشبكات التي ندققها

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • الدوائرCircom, Noir

شبكات أخرى3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

قبل تجميد الكود

تفحص المراجعة الأمنية التصميم والبنية والاقتصاد ما دام تغييرها رخيصًا.

مراجعة أمنية