Aave Stable Vaults conclui verificação formal pela Certora
De acordo com a Foresight News, a empresa de verificação formal Certora concluiu a verificação dos Stable Vaults da Aave, cobrindo os contratos StableVault, Funds Handler, Asset Registry, Allocator e do token IOU. A verificação confirmou que a implementação em Solidity atende aos requisitos de especificação formal da Certora. Stable Vaults é uma solução integrada criada para rendimentos de stablecoin com taxa fixa que podem ser incorporados a qualquer produto financeiro.
AAVE9,67%
GateNews·07-27 15:41
