الخدمات
تدقيق العقود الذكية
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
أرسل المستودع
بريد إلكتروني ورابط.
- 2
احصل على سعر ثابت
في أقل من 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
قبل تجميد الكود
تفحص المراجعة الأمنية التصميم والبنية والاقتصاد ما دام تغييرها رخيصًا.