Aave: Stable Vaults han sido verificados formalmente por Certora

Foresight News informó que Aave publicó un tuit anunciando que Certora, la empresa especializada en la verificación formal de contratos inteligentes, completó la auditoría de Stable Vaults, cubriendo los contratos de StableVault, Funds Handler, Asset Registry, Allocator y el token IOU. La verificación confirmó que la implementación en Solidity cumple con las reglas formales de Certora. Stable Vaults es una solución integral de rendimiento fijo para stablecoins que puede integrarse en cualquier producto financiero, y el informe de auditoría correspondiente ya se publicó de manera pública.