Cómo asegurar los contratos inteligentes pruebas unitarias pruebas de fuzz pruebas de fork pruebas invariantes verificación formal análisis estático testing de mutaciones análisis estático auditoría en solitario auditoría interna auditoría por una empresa de nivel B concursos auditoría por una empresa de nivel A auditoría de IA