Aave Labs publica el informe de auditoría de transparencia total 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 competencias 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 dedicado de seguridad de 1.5 millones de dólares aprobado por el DAO.

Aave Labs anunció que continuarán con cinco compromisos centrales 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 por capas, que incluye auditorías manuales, verificación formal, pruebas de invariantes, controles asistidos por IA, fuzz testing y competencias 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.