Aave Labs publica el informe completo de auditoría de transparencia sobre la hoja de ruta de seguridad de Aave V4

BlockBeats News, 5 de marzo, según fuentes oficiales, Aave Labs publicó un informe completo de transparencia sobre el Plan de Seguridad de Aave V4, que incluye aspectos como la metodología, el proceso y los resultados, con el respaldo de varias firmas de seguridad como Trail of Bits, Blackthorn, Certora, entre otras. A través de auditorías manuales, verificación formal, pruebas de invariantes, fuzz testing y competiciones públicas de seguridad, se ha realizado un total de aproximadamente 345 días de revisión de seguridad. Este plan cuenta con el apoyo de un presupuesto de seguridad dedicado de $1.5 millones aprobado por el DAO.

Aave Labs anunció que continuará con cinco compromisos fundamentales del Plan de Seguridad de Aave V4: incorporar la verificación formal en las primeras etapas del desarrollo para asegurar que el diseño arquitectónico esté guiado por métodos seguros y no solo por validaciones; adoptar un enfoque de seguridad en capas, que incluye auditorías manuales, verificación formal, pruebas de invariantes, revisiones asistidas por IA, fuzz testing y competiciones públicas de seguridad, para cubrir más vulnerabilidades potenciales; mantener una cobertura de seguridad continua, donde el marco de verificación formal y el conjunto de pruebas de invariantes seguirán operando con las iteraciones del protocolo; establecer un programa de recompensas por bugs a largo plazo para aprovechar una comunidad de seguridad más amplia para la monitorización continua; y optimizar las capacidades de escaneo con IA para mejorar continuamente los niveles de detección inteligente de seguridad en futuras versiones basándose en la experiencia de pruebas existente.