عمليات التدقيق الأمني ل
العقود الخاصة بك يعمل البروتوكول على
يقوم Gizmolab بمراجعة العقود الذكية عبر كل سلسلة EVM وSolana — مراجعة يدوية من قبل كبار المدققين، مدعومة بالتحليل الآلي والغامض، وتمرير أولي للخدمة الذاتية مع Audit.new.
تم التدقيق عبر السلاسل التي تنشر عليها
أيًا كان ما تشحن عليه، فإننا نراجعه هناك. تغطية كاملة EVM وخبرة عميقة Solana، مع تطبيق نفس المعيار على كل هدف.
تمت مراجعة برامج Native Rust وAnchor للتأكد من سلامة الحساب، ومخاطر مؤشر أسعار المستهلك، وصحة المساعد الرقمي الشخصي - أوضاع الفشل EVM التي يفتقدها المدققون.
اللغات التي نقوم بالتدقيق بها
بدءًا من Solidity عالية المستوى وصولاً إلى التجميع المضمّن ووصولاً إلى Rust على Solana — نقوم بمراجعة الكود باللغة التي تمت كتابته بها.
صلابة
الجزء الأكبر من EVM DeFi. نقوم بمراجعة تخطيط التخزين والمكالمات الخارجية والتحكم في الوصول وترقية المسارات سطرًا تلو الآخر.
فايبر
عقود بايثونية مع بنادقهم الخاصة. نحن نتحقق من أدوات الديكور وأقفال إعادة الدخول ومزالق إصدار المترجم.
يول والجمعية المضمنة
تحسينات منخفضة المستوى حيث تختبئ معظم الأخطاء الدقيقة. سلامة الذاكرة، ومعالجة بيانات المكالمات، وفك تشفير ABI اليدوي.
الصدأ
البرامج الأصلية Solana. التحقق من صحة الحساب، وفحص الموقع/المالك، وسلامة مؤشر أسعار المستهلك، والحساب على منافذ الإضاءة.
مرساة
قيود الارتساء، واشتقاق المساعد الرقمي الشخصي (PDA)، وتمييزات الحساب، والفجوات التي لا يغطيها الارتساء لك.
القاهرة و موف
تتوفر تقييمات Starknet (Cairo) وAptos / Sui (Move) للفرق التي تقوم بالشحن خارج نطاق EVM وSVM السائد.
الأخطاء التي تستنزف البروتوكولات
نحن نختبر فئات الثغرات الأمنية الكامنة وراء عمليات استغلال العالم الحقيقي — بالإضافة إلى الثوابت الخاصة بتصميم البروتوكول الخاص بك.
إعادة الدخول
إمكانية إعادة الدخول عبر الوظائف والقراءة فقط عبر المكالمات الخارجية وعمليات الاسترجاعات وخطافات الرمز المميز.
التحكم في الوصول
التفويض المفقود أو المعطل، وإساءة استخدام الدور المميز، وفجوات التهيئة/الملكية.
أوراكل والتلاعب بالأسعار
الاعتماد على السعر الفوري، وألعاب TWAP، والتلاعب المعتمد على قروض الفلاش، والخلاصات التي لا معنى لها.
الحساب والتقريب
الفائض، وفقدان الدقة، واتجاه التقريب، وهجمات تضخم الأسهم على الخزائن.
التوقيع والإعادة
EIP-712 / معالجة التصاريح، وإعادة الاستخدام مرة واحدة، وربط معرف السلسلة، وإعادة التشغيل عبر النطاقات.
MEV والتشغيل الأمامي
التدفقات القابلة للتقسيم، والانزلاق غير المحمي، وتحولات الحالة المعتمدة على الطلب.
إمكانية الترقية والوكلاء
تصادمات التخزين، والتطبيقات غير المهيأة، وأنماط استدعاء المفوضين غير الآمنة.
Solana سلامة الحساب
ارتباك في الحساب، وفقدان عمليات التحقق من المالك/الموقّع، وانتحال المساعد الرقمي الشخصي (PDA)، ومؤشرات أسعار المستهلك (CPIs) التي لم يتم التحقق منها.
كيف تتم عملية التدقيق
مشاركة واضحة ومتكررة - بدءًا من نموذج التهديد وحتى التقرير المنشور الذي يمكن أن يثق به مجتمعك.
نموذج النطاق والتهديد
نحن نرسم خريطة لبنيتك وحدود الثقة والثوابت التي يجب ألا تنكسر أبدًا - قبل قراءة سطر واحد.
مراجعة يدوية
يقرأ كبار المراجعين الكود سطرًا تلو الآخر. معظم النتائج المهمة تأتي من البشر الذين يفهمون النية، وليس الأدوات فقط.
التحليل الآلي
التحليل الثابت، والتشويش، والتنفيذ الرمزي يضغط على الثوابت وحالات الحافة السطحية التي تفتقدها العين.
النتائج تصنيف الخطورة
تحصل كل قضية على خطورة واضحة وتأثير واستنساخ وإصلاح ملموس - وليس علامة غامضة.
دعم العلاج
نحن نعمل مع مهندسيك من أجل إجراء الإصلاحات والإجابة على الأسئلة وإعادة التحقق من التصحيحات التي تشحنها.
إعادة التدقيق والتقرير
تمرير نهائي للمعالجات، ثم تقرير واضح يمكنك نشره لمجتمعك وشركائك.
ما تبتعد به
ليست مجرد قائمة بالأخطاء - كل ما يحتاجه فريقك لإصلاح المشكلات وإثبات أن الكود آمن.
تقرير التدقيق الكامل
تقرير منظم يتضمن النتائج، والخطورة، وخطوات التكاثر، وإرشادات العلاج.
تقييمات الشدة
حرجة → عالية → متوسطة → منخفضة → إعلامية، تم تسجيلها حسب التأثير والاحتمالية في العالم الحقيقي.
إرشادات العلاج
إصلاحات وأنماط ملموسة، بالإضافة إلى الدعم المباشر أثناء قيام فريقك بتنفيذها.
إعادة التدقيق والتقرير العام
التحقق من الإصلاحات وتقرير منشور اختياري يمكنك مشاركته لبناء الثقة.
Audit.new — تمريرة أولى فورية
Audit.new هي أداة تدقيق ذاتية الخدمة لـ Gizmolab. أبرم عقدًا أو قم بتوصيل الريبو واحصل على مراجعة أولية بمساعدة الذكاء الاصطناعي في دقائق - مع إبراز فئات الثغرات الأمنية الشائعة والأنماط الخطرة وفرز الأماكن التي يجب البحث فيها أولاً.
إنها الطريقة السريعة للتحقق من سلامة التعليمات البرمجية قبل المشاركة الكاملة. بالنسبة لأي شيء يتجه إلى الشبكة الرئيسية وله قيمة حقيقية على المحك، فإنه يتم تسليمه بشكل نظيف إلى تدقيق يدوي بقيادة كبار المسؤولين.