🔒 يعزز Certora أمان Ethereum! 🛡️ تكشف شركة Certora ، شركة أمان العقود الذكية blockchain ، عن إعلانها الرسمي على المدونة. تقدم الشركة الآن دعم التحقق الأمني للغة برمجة العقود الذكية Ethereum_s ، Vyper. تؤكد Certora على أهمية هذا التحديث من خلال الإشارة إلى حادثة وقعت مؤخرًا حيث أدت الثغرات الأمنية في الإصدار القديم من مترجم Vyper إلى خرق أمني ، مما تسبب في أضرار بقيمة 70 مليون دولار في مجموعة Curve (CRV). من خلال إجراء التحقق المسبق قبل النشر ، يمكن إحباط مثل هذه الثغرات الأمنية بشكل استباقي. تعزيز المشهد الذكي للعقود Ethereum_s! 💪📜