En los últimos meses, el campo de la verificación de contratos inteligentes ha experimentado varios avances interesantes.

El sistema de prueba de teoremas automatizado lanzado por Certora Prover acelera completamente el proceso de auditoría: lo que antes llevaba varias semanas ahora se puede completar en unas pocas horas. Halmos, por su parte, se enfoca en la detección de vulnerabilidades utilizando un motor de ejecución simbólica, capaz de detectar el 99.5% de los problemas que los métodos de prueba tradicionales pasan por alto. Además, la función de monitoreo en tiempo real añadida a MythX Enterprise hace que toda la cadena de herramientas sea cada vez más completa.

Las diferencias en los datos son evidentes: los proyectos DeFi que utilizan estas nuevas herramientas no han tenido ningún incidente de seguridad en todo el trimestre; en contraste, los protocolos que aún emplean métodos tradicionales han sufrido pérdidas superiores a 3 mil millones de dólares por ataques de hackers. La comparación es clara y definitiva.

Muchos expertos del sector predicen que en dos años, la verificación formal podría convertirse en un proceso estándar imprescindible para los grandes proyectos DeFi. Después de todo, en materia de seguridad, nadie se atreve a hacer concesiones.