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

تدقيق بوتيكي.بمساعدة الذكاء الاصطناعي، وبتحقق بشري.

نموذجنا الخاص يقرأ كل سطر أولًا. باحثون كبار يثبتون كل نتيجة ويوقّعونها. سعر ثابت في أقل من 12 ساعة، والتقرير خلال 3 أيام.

اطلب عرض سعر

خمس ثغرات حقيقية تُعاد واحدة تلو الأخرى: كل عقد يكتب نفسه، ويكشف الفحص الخلل، وتوضح ملاحظة ما كلّفه وكيف يُصلح.

  • The DAO, 2016-06-17: سُحب 3.6 مليون ETH. كانت splitDAO تدفع المكافأة عبر استدعاء خارجي قبل تصفير الرصيد، فعاد المهاجم للدخول وقسّم الرموز نفسها مرة بعد مرة. صفّر الرصيد قبل أي استدعاء خارجي.
  • Parity Multisig, 2017-11-06: تجميد 513,774 ETH. لم تُهيّأ المكتبة المشتركة قط، فكان بوسع أي شخص استدعاء initWallet ليصبح مالكها ثم تدميرها بـ kill. تجمّدت كل محفظة تعتمد عليها. هيّئ المكتبة عند النشر ولا تمنحها قدرة التدمير الذاتي.
  • Wormhole, 2022-02-02: 120,000 wETH، نحو 325 مليون $. كانت verify_signatures تقرأ فحص التواقيع من حساب يختاره المستدعي، ولم تتحقق قط من أنه sysvar التعليمات. فمرّ حساب مزيّف كموافقة كاملة من الحرّاس. استخدم load_instruction_at_checked التي تتحقق من عنوان sysvar.
  • Nomad Bridge, 2022-08-01: سُحب نحو 190 مليون $. ضبط تحديثٌ الجذر الموثوق على 0x00. والرسالة غير المثبتة تعطي 0x00، فقبلت process أي رسالة، وكرّر مئات المقلّدين الرسالة الأولى. لا تؤكد الجذر الصفري أبدًا، وارفض أي رسالة غير مثبتة.
  • Euler Finance, 2023-03-13: سُحب نحو 197 مليون $. كانت donateToReserves تحرق eTokens دون التحقق من بقاء المتبرع ملِيئًا. تبرّع المهاجم حتى وقع في دين معدوم، ثم صفّى نفسه بخصم. تحقق من السيولة بعد التبرع، كما في عمليات السحب الأخرى.
عملية تدقيق
180
ثغرة حرجة مكتشفة
63
حتى عرض السعر
12 ساعة
حتى التقرير
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

ما ندققه

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    عاليةH-01الرصيد يُكتب بعد الاستدعاء الخارجي
  • EVM1-3 أيام
  • Solana2-3 أيام
  • Move1-3 أيام
  • الاستجابة للحوادثخلال ساعتان

نموذجنا الخاص

nonce-sc-1

درّبنا DeepSeek-V4.1 على 2,140 من الثغرات الحقيقية و380 من اختبارات الاختراق التي أجريناها. يقرأ كل سطر قبل الباحث، والباحث يثبت كل نتيجة يرصدها ويوقّعها.

النموذج الأساسي
DeepSeek-V4.1
مُدرَّب على
ثغرات: 2,140 واختبارات اختراق: 380
في التدقيق
قراءة أولى، ثم إنسان

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

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

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

    عدد الباحثين الذين يقرؤون كل سطر: 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

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

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

تدقيقك في البوابة

النتائج فور اكتشافها.
الإصلاحات فور نشرها.

تسجيل الدخول

سعر ثابت في أقل من 12 ساعة

اطلب عرض سعر