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
¿Las acciones espaciales como SpaceX y Rocket Lab encuentran un nuevo catalizador? EE.UU. confirma por primera vez que tiene armas espaciales en órbita y el plan "Iron Dome" acelera su desarrollo.
El ejército estadounidense confirmó públicamente por primera vez que ahora posee "armas de control espacial" en órbita, mientras que el proyecto de interceptores espaciales "Iron Dome" ha avanzado hasta la etapa de "hardware listo para volar".
Zuckerberg de Meta (META.US) responde al debate sobre "ralentizar" la IA: continuaremos impulsando las capacidades de los modelos y reforzando la seguridad.
El CEO de Meta Platforms, Mark Zuckerberg, junto al responsable de IA de la compañía, Alexander Wang, se pronunciaron sobre el debate acerca de la velocidad de desarrollo de la inteligencia artificial. Defienden que los laboratorios de IA deberían seguir impulsando las capacidades de los modelos, al mismo tiempo que desarrollan medidas de protección más robustas para los modelos cada vez más poderosos.
SK Hynix (SKHY.US) planea producir chips de memoria por primera vez en Estados Unidos, podría alquilar la planta de Intel (INTC.US) en Ohio o formar una empresa conjunta.
Se informa que SK Hynix de Corea del Sur (SKHY.US) está en negociaciones con Intel (INTC.US) para un acuerdo, el cual, de concretarse, permitiría que la compañía produzca chips de memoria por primera vez en territorio estadounidense.
La posición alcanza los 8,668,000 dólares, una dirección hizo un apalancamiento de 20 veces en oro.
Precios de las criptos
Más
