Aave: Stable Vaults прошли формальную проверку Certora

По сообщению Foresight News, Aave в своем твиттере указала, что компания Certora, занимающаяся формальной верификацией смарт-контрактов, завершила аудит Stable Vaults, охватив такие контракты, как StableVault, Funds Handler, Asset Registry, Allocator и IOU token, подтвердив, что их реализация на Solidity соответствует формальным правилам Certora. Stable Vaults представляют собой комплексное решение для получения дохода от стабильных монет с фиксированной процентной ставкой, которое может быть интегрировано в любой финансовый продукт, а соответствующий отчет об аудите уже опубликован.