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
شهدت أسعار الغاز الطبيعي في الولايات المتحدة تقلبات حادة، حيث ارتفعت بنسبة 9% بسبب تسرب في أحد خطوط الأنابيب ثم تراجعت مرة أخرى، ويتوقع السوق أن يكون الانقطاع في الإمدادات قصير الأمد.
تحولت عقود الغاز الطبيعي الأمريكية الآجلة إلى الانخفاض يوم الجمعة، مما عكس جزءًا من المكاسب الكبيرة التي تحققت في الجلسة السابقة.
أسعار العملات المشفرة
المزيد
