¿Puede la IA auditar contratos inteligentes mejor que los auditores humanos?

Los contratos inteligentes tienen un potencial enorme. Pero un gran poder conlleva una gran responsabilidad, y garantizar la seguridad de estos contratos inteligentes es fundamental. Aquí es donde entra en juego la auditoría. Con su poder de procesamiento sobrehumano, ¿puede la IA superar a los auditores humanos en esta función fundamental de mantener seguros los contratos inteligentes? Discutiremos la respuesta en este artículo.

El caso de la IA

• Velocidad y escala: la IA puede analizar cantidades masivas de código rápidamente, identificando patrones y posibles vulnerabilidades que a los humanos podrían llevar semanas. Esto es crucial en el vertiginoso mundo del desarrollo de blockchain.
• Ventaja del aprendizaje automático: la IA puede aprender de vastos conjuntos de datos de exploits pasados y auditorías exitosas, mejorando continuamente su capacidad para detectar nuevas amenazas.
• Sesgo reducido: los auditores humanos son susceptibles a sesgos, pero la IA puede abordar las auditorías con fría objetividad.

Este es un sistema basado en IA. informe sobre la auditoría de un protocolo llamado Lockon, que permite inversiones indexadas en criptomonedas. El informe se generó en aproximadamente 48 horas. El equipo de Lockon se sorprendió al saber que se trataba de un informe basado en inteligencia artificial porque encontraron que los puntos sobre las vulnerabilidades eran precisos.

Si bien las auditorías basadas en IA aún no son perfectas, ofrecen importantes beneficios para proyectos que buscan reducir los costos de auditoría. También se utilizan cada vez más como “auditoría previa” antes de contratar a las empresas de auditoría tradicionales, ya que la identificación anticipada de errores críticos puede reducir los costos pagados a las empresas de auditoría. Además, la integración de servicios de auditoría basados en IA en el proceso de CI/CD está empezando a verse como una forma de mejorar la calidad del código.

El caso de los auditores humanos

• Comprensión del contexto: los contratos inteligentes no existen en el vacío. Interactúan con sistemas complejos. A diferencia de los humanos, la IA podría necesitar ayuda para comprender los matices de estas interacciones y las posibles implicaciones para la seguridad.
• Explicabilidad y juicio: cuando una IA señala un problema, es crucial explicar la causa y el motivo del problema o la vulnerabilidad. Los auditores humanos pueden interpretar el código, evaluar el riesgo y tomar decisiones informadas.
• Creatividad y amenazas imprevistas: los ciberdelincuentes están innovando constantemente. La IA podría pasar por alto nuevos vectores de ataque, mientras que los auditores humanos pueden aprovechar su experiencia y creatividad para considerar estas posibilidades. Muchos pueden argumentar que la IA puede hacer esto dadas sus capacidades de aprendizaje automático, pero nuevamente, la inteligencia humana tiene la ventaja.

Sin duda, la IA cambia las reglas del juego para las auditorías de contratos inteligentes, pero no es una solución milagrosa. El futuro está en la colaboración. Imagine que la IA escanea rápidamente el código, resalta los riesgos potenciales y libera a los auditores humanos para que se concentren en escenarios complejos y emitan juicios finales. Esta poderosa asociación puede garantizar el futuro seguro y eficiente de los contratos inteligentes.

Una comparación rápida

Un ejemplo de una empresa de auditoría basada en IA, Bunzz Audit ha publicado una comparación entre auditorías basadas en IA y auditorías humanas.

El equipo de Bunzz afirma: "Nuestros resultados de investigación y desarrollo nos han llevado a concluir que una base de datos más un enfoque de IA es más adecuado para detectar patrones de vulnerabilidad que los humanos".

El futuro de las auditorías de IA

En febrero de 2024, Vitalik Buterin destacó el potencial de la IA para ayudar a la verificación formal del código y la búsqueda de errores. "Una aplicación de la IA que me entusiasma es la verificación formal de código asistida por IA y la búsqueda de errores", afirmó, y agregó:

"En este momento, el mayor riesgo técnico de Ethereum probablemente sean los errores en el código, y cualquier cosa que pueda cambiar significativamente el juego sería increíble".

Los proyectos blockchain se basan en código y, como cualquier código, puede tener errores. La Verificación Formal es una herramienta que ayuda a identificar estas debilidades en la lógica de los proyectos blockchain. Al utilizar la verificación formal, los creadores de web3 pueden garantizar que sus proyectos sean más confiables y dignos de confianza.

Imagine un futuro en el que la Verificación Formal sea aún más poderosa. Algunos expertos creen que este avance podría ser tan significativo para la tecnología blockchain como las pruebas de conocimiento cero, una tecnología diferente que mejora la privacidad.

Sin embargo, hay un obstáculo. Actualmente, escribir instrucciones claras y perfectas para el código, llamadas "especificaciones", es costoso y requiere mucho tiempo. Aquí es donde las cosas se ponen interesantes: algunos, como Vitalik Buterin, y favoritos como Auditoría Bunzz . Creo que la IA podría ser la clave para hacer que este proceso sea más barato y sencillo.