Aave Labs describe el plan de seguridad por capas para V4 tras un programa de auditoría de $1.5 millones
Aave Labs detalló un plan de seguridad de $1.5 millones durante un año para Aave V4, enfatizando prácticas de seguridad en capas integradas para el desarrollo futuro.Resumen
Aave Labs ha publicado un plan detallado y centrado en la seguridad para Aave V4, que incluye un proceso de auditoría y verificación de un año financiado con un presupuesto de $1.5 millones aprobado por Aave DAO. Este programa integró la verificación formal desde las etapas iniciales de diseño, auditorías manuales por firmas como Certora, ChainSecurity y Trail of Bits, pruebas de invariantes y un concurso público de seguridad en Sherlock. Basándose en esta experiencia, Aave Labs adoptó cinco compromisos de seguridad a largo plazo para el desarrollo futuro, incluyendo la integración temprana de la verificación formal y el mantenimiento de metodologías de seguridad en capas. El código base de V4 fue diseñado intencionalmente para ser más pequeño y modular. Esta divulgación de seguridad se produce en medio de una turbulencia interna de gobernanza en el ecosistema Aave, incluyendo el anuncio de que contribuyentes clave como BGD Labs y la Aave Chan Initiative planean retirarse debido a tensiones crecientes sobre las asignaciones de fondos y la dirección del protocolo.
(Fuente：The Block)