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
La "caja de herramientas" de Besente no puede contrarrestar el doble golpe de los precios del petróleo y el consumo débil, según Goldman Sachs: "El mercado está impregnado de un aire de estanflación"
Goldman Sachs considera que Benson está intentando estabilizar el mercado de deuda a largo plazo mediante la expansión de los acuerdos de recompra de bonos estadounidenses y el avance en la consolidación fiscal, pero tras una breve caída, las tasas de interés de deuda a largo plazo han rebotado rápidamente, y las herramientas políticas siguen siendo insuficientes para aliviar las presiones fiscales y de oferta y demanda. Al mismo tiempo, se intensifican las señales de estanflación: el precio del petróleo subió más del 7% en una semana, y la tasa de inflación de equilibrio a 10 años aumentó casi 10 puntos básicos en dos semanas. Sin embargo, el consumo sigue enfriándose: el crecimiento de ventas en las tiendas de Walmart bajó a 2,6%, el nivel más bajo en seis años, y la "canasta de estanflación" subió 6,7% esta semana.
MANTRA Chain reanudó la producción de bloques y los fondos de los usuarios no se vieron afectados.
Precios de las criptos
Más
