Aave: تم التحقق من Stable Vaults رسميًا من خلال Certora
ذكرت Foresight News أن Aave نشرت تغريدة أفادت فيها بأن شركة Certora، المتخصصة في التحقق الشكلي للعقود الذكية، قد أكملت التحقق من Stable Vaults، وشمل التحقق عقود StableVault وFunds Handler وAsset Registry وAllocator وIOU token وغيرها، حيث تم التأكد من أن تنفيذ Solidity يطابق القواعد الشكلية الخاصة بـ Certora. وتعد Stable Vaults حلاً متكاملاً لعائدات العملات المستقرة ذات الفائدة الثابتة، ويمكن دمجه في أي منتج مالي، وقد تم نشر تقرير التدقيق ذي الصلة علنًا.
إخلاء المسؤولية: يعكس محتوى هذه المقالة رأي المؤلف فقط ولا يمثل المنصة بأي صفة. لا يُقصد من هذه المقالة أن تكون بمثابة مرجع لاتخاذ قرارات الاستثمار.
You may also like
تراهن Barclays (BCS.US) على اندماج Tesla (TSLA.US) مع SpaceX (SPCX.US) في ديسمبر، في حين أن السوق التنبؤية تعطي احتمالاً بنسبة 19% فقط.
توقع المحلل في Barclays، ليفي، أن تندمج Tesla و SpaceX قبل ديسمبر لتحقيق تكامل في مجال الذكاء الاصطناعي، لكن بيانات Kalshi و Polymarket تشير إلى أن احتمال الاندماج على المدى القصير ضئيل جداً، بينما يراهن السوق أكثر على حدوث ذلك بعد عام 2027.
باركليز (BCS.US) يتوقع انخفاض أداء Dell (DELL.US): الإنفاق على الذكاء الاصطناعي بلا نقطة تحول، وتكاليف الذاكرة هي السبب الرئيسي
خفضت Barclays تصنيفها لشركة Dell من "زيادة الوزن" إلى "محايد" وخفضت السعر المستهدف. وأشارت المؤسسة إلى أن نسبة الإنفاق على AI في الشركات منخفضة وأن نمو الإيرادات مدفوع بنقص الذاكرة، وهو ما يتناقض بشكل حاد مع التوقعات المتفائلة لمايكل ديل.
أسعار العملات المشفرة
المزيد
