"Las auditorías están destinadas a informar sobre errores, pero realmente no están destinadas a informar sobre su ausencia." - @FormallyJon, CEO de @VeridiseInc En Verifying Intelligence (durante @token2049, en asociación con @googlecloud y @boundless_xyz), Jon Stephens presentó @AuditHubDev: una nueva plataforma en beta que aporta seguridad continua a Web3 al trasladar la seguridad hacia la izquierda, fuera del apuro de auditoría de última hora antes del despliegue y hacia el desarrollo diario. En lugar de depender únicamente de auditorías costosas y puntuales (que pasan por alto el código fuera de alcance y no ofrecen garantías), AuditHub integra un conjunto de herramientas probadas en batalla tanto para DeFi como para ZK: analizadores estáticos, fuzzers e incluso un verificador formal para la determinación en circuitos ZK. Captura errores comunes (piensa en problemas de clase reentrante o circuitos no deterministas) y, crucialmente, permite a los equipos definir verificaciones específicas del proyecto para probar su propia lógica empresarial. Las características amigables para desarrolladores incluyen ganchos CI/CD (ejecutar verificaciones en cada push/PR), una configuración única a través de herramientas y una triage guiada de problemas que reduce el ruido de falsos positivos al colapsar duplicados en causas raíz. Debido a que el enfoque no escala con líneas de código y proporciona garantías de seguridad reales, los equipos pueden cubrir todo el código crítico de manera continua, antes de construir sobre errores o enviar cambios arriesgados después de la auditoría. Mira la keynote completa para ver cómo funciona AuditHub en la práctica: