Aave: تم التحقق من Stable Vaults رسميًا من خلال Certora

ذكرت Foresight News أن Aave نشرت تغريدة أفادت فيها بأن شركة Certora، المتخصصة في التحقق الشكلي للعقود الذكية، قد أكملت التحقق من Stable Vaults، وشمل التحقق عقود StableVault وFunds Handler وAsset Registry وAllocator وIOU token وغيرها، حيث تم التأكد من أن تنفيذ Solidity يطابق القواعد الشكلية الخاصة بـ Certora. وتعد Stable Vaults حلاً متكاملاً لعائدات العملات المستقرة ذات الفائدة الثابتة، ويمكن دمجه في أي منتج مالي، وقد تم نشر تقرير التدقيق ذي الصلة علنًا.