Aave Labs anuncia el plan de seguridad de V4: un total de 345 días de auditoría y un presupuesto de seguridad de 1.5 millones de dólares

Odaily Planet Daily informa que Aave Labs ha publicado el marco de seguridad de Aave V4, proponiendo un modelo de desarrollo con “prioridad en la seguridad”, en el que la verificación de seguridad se integra desde la fase de diseño de la arquitectura, en lugar de realizarse solo en la auditoría final antes del lanzamiento. Este plan de seguridad tiene una duración de aproximadamente un año, con un total de unos 345 días de revisión de seguridad, financiados con un presupuesto de seguridad aprobado de 1,5 millones de dólares por Aave DAO. Se sabe que el proceso de seguridad de V4 combina métodos de auditoría en múltiples capas, incluyendo verificación formal, auditorías manuales, pruebas de invariantes, fuzzing y concursos de seguridad públicos. En el futuro, el desarrollo del protocolo continuará adoptando cinco medidas de seguridad a largo plazo, que incluyen la introducción de verificación formal en las primeras etapas del desarrollo, la implementación de métodos de auditoría en múltiples capas, mecanismos de verificación continua, un plan de recompensas por vulnerabilidades a largo plazo y el uso de inteligencia artificial para escaneos de seguridad en contratos inteligentes. (The Block)