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.
Descargo de responsabilidad: El contenido de este artículo refleja únicamente la opinión del autor y no representa en modo alguno a la plataforma. Este artículo no se pretende servir de referencia para tomar decisiones de inversión.
También te puede gustar
El rendimiento real de los TIPS a 10 años en Estados Unidos alcanza su nivel más alto desde la crisis de 2008, aumentando la preocupación por el déficit fiscal y la expansión de la deuda corporativa.
El Departamento del Tesoro de Estados Unidos emitió el jueves 19 mil millones de dólares en bonos del Tesoro protegidos contra la inflación (TIPS) a 10 años, con una tasa de rendimiento real que subió a 2,653%, la más alta desde 2008. El ratio de cobertura fue de 2,24, por debajo del promedio de 2,43 de las últimas tres subastas, lo que indica una demanda más fría en comparación con periodos anteriores.
Precios de las criptos
Más
