Aave: Stable Vaults foram validados formalmente pela Certora

De acordo com a Foresight News, a Aave publicou no Twitter que a empresa de verificação formal de contratos inteligentes Certora concluiu a auditoria dos Stable Vaults, abrangendo contratos como StableVault, Funds Handler, Asset Registry, Allocator e IOU token. A verificação confirmou que a implementação em Solidity está em conformidade com as regras formais da Certora. Os Stable Vaults são uma solução integrada voltada para rendimentos de stablecoins com taxa fixa, podendo ser incorporada a qualquer produto financeiro. O relatório de auditoria correspondente já foi divulgado publicamente.