2025-12-30 15:21:59

في الأشهر القليلة الماضية، شهد مجال التحقق من العقود الذكية عدة تطورات مثيرة للاهتمام.

نظام الإثبات الآلي الذي أطلقته Certora Prover سرع بشكل كبير عملية التدقيق — كانت تتطلب أسابيع لإكمال التدقيق، والآن يمكن إنجازه خلال بضع ساعات. Halmos بدوره يستخدم محرك التنفيذ الرمزي بشكل مكثف في اكتشاف الثغرات، قادر على التقاط 99.5% من المشكلات التي تغفل عنها طرق الاختبار التقليدية. بالإضافة إلى ذلك، أضافت نسخة MythX Enterprise وظيفة المراقبة الفورية، مما يجعل سلسلة الأدوات أكثر تكاملاً تدريجيًا.

الفروقات في البيانات واضحة: المشاريع اللامركزية المالية (DeFi) التي تستخدم هذه الأدوات الجديدة لم تسجل أي حوادث أمنية خلال الربع بأكمله؛ بالمقابل، البروتوكولات التي لا تزال تعتمد على الطرق التقليدية تكبدت خسائر تتجاوز 3 مليارات دولار نتيجة هجمات القراصنة. بالمقارنة، الفرق واضح جدًا.

الكثير من خبراء الصناعة يتوقعون أنه بعد عامين، قد تصبح التحقق الرسمي من الصحة معيارًا إلزاميًا للمشاريع الكبيرة في مجال DeFi. في النهاية، لا أحد يجرؤ على التهاون في مسألة الأمان.

شاهد النسخة الأصلية

قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.

تسجيلات الإعجاب 12

أعجبني
12
5
إعادة النشر
مشاركة

تعليق

0/400

LiquidatedDreams

· منذ 6 س

حسنًا، أخيرًا أصبح هناك من يجعل التدقيق أكثر كفاءة، كان من المفترض أن يكون هكذا منذ زمن التحقق الرسمي حقًا ليس مزحة، خسارة بقيمة 3 مليارات دولار توضح المشكلة نظام Certora فعلاً ممتاز، نتائج التدقيق تظهر خلال بضع ساعات، الانتظار لمدة عامين آخرين سيكون بالتأكيد هو المعيار لكن، بالمناسبة، كم من المشاريع لا تزال تجرؤ على استخدامها حقًا معدل اكتشاف الثغرات بنسبة 99.5%، يبدو أكثر موثوقية بكثير من الطرق التقليدية لنشرها بشكل أوسع في أقرب وقت، لا أحد يجب أن يتعرض للقرصنة لأنه لم يقم بالتحقق بشكل جيد الآن يمكن لـ DeFi أن يكون أكثر أمانًا وراحة حقًا

شاهد النسخة الأصليةرد0

RegenRestorer

· منذ 14 س

يا إلهي، هذا الفرق في البيانات واضح جدًا، ثلاثمائة مليون يا أصدقاء كان من المفترض أن تستخدم هذه الأدوات منذ زمن، لماذا لا يزال البعض يغامر بحياته هل ستصبح التحقق الرسمي معيارًا خلال عامين؟ أعتقد أنه يجب أن يكون إلزاميًا الآن هذه الخطوة من Certora فعلاً قوية، استغرقت بضع ساعات فقط للمراجعة، وأنا أقول إنه محترف لا تزال تستخدم الطرق التقليدية يا أخي، أنت فعلاً تلعب بالنار

شاهد النسخة الأصليةرد0

StealthMoon

· منذ 14 س

أدوات الأمان هذه بالفعل في تطور، لكن بصراحة لا تزال بطيئة بعض الشيء. متى ستتمكن جميع هذه المشاريع من استخدامها بالكامل؟ --- يبدو أن نظام Certora جيد، لكن يعتمد الأمر على جودة التدقيق الفعلي، السرعة لا تعني بالضرورة قلة الثغرات. --- 99.5% تبدو رائعة، لكن الخوف من تلك الـ0.5% من الطيور السوداء. --- رقم 3 مليارات دولار مخيف قليلاً، لو كنت أعلم لركبت في وقت مبكر. --- التحقق الرسمي كمعيار أساسي؟ لننتظر ونرى، تكلفة ذلك لا تزال بحاجة للمساومة. --- أشعر أن المشاريع الكبرى بدأت تولي اهتمامًا أكبر، لكن بيئة المشاريع الصغيرة لا تزال بحاجة للكثير من الاهتمام. --- تسريع التدقيق هو خبر جيد، لكن رفع مستوى الوعي الأمني هو الأهم. --- متى ستصبح هذه الأدوات أرخص قليلاً، بحيث يمكن للمشاريع المتوسطة أيضًا استخدامها، وسيكون الأمر أكثر روعة.

شاهد النسخة الأصليةرد0

DYORMaster

· منذ 14 س

كان من المفترض أن يتم التعميم منذ فترة، أولئك الذين لا زالوا يستخدمون الأساليب القديمة حقًا يجب أن يستيقظوا

شاهد النسخة الأصليةرد0

ImpermanentLossFan

· منذ 14 س

التحقق الرسمي من هذه الأشياء على وشك أن يصبح أمرًا شائعًا، لكن بالمقابل، كم من المشاريع مستعدة حقًا لإنفاق المال على استخدامها؟

شاهد النسخة الأصليةرد0