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   superar a los auditores humanos en esta función fundamental de mantener seguros los contratos inteligentes? Discutiremos la respuesta en este artículo. la IA   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.  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.   informe  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,  entre auditorías basadas en IA y auditorías humanas.    Bunzz Audit ha publicado una comparación  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  . Creo que la IA podría ser la clave para hacer que este proceso sea más barato y sencillo.   Auditoría Bunzz

This is a PR written by or for the company mentioned within it. The writer has a vested interest in the company and products mentioned within.

This writer has a vested interest be it monetary, business, or otherwise, with 1 or more of the products or companies mentioned within.

The writer is smart, but don't just like, take their word for it. #DoYourOwnResearch before making any investment decisions or decisions regarding your health or security. (Do not regard any of this content as professional investment advice, or health advice)

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

About Author

COMENTARIOS

ETIQUETAS

ESTE ARTÍCULO FUE PRESENTADO EN

Related Stories

Valhalla de Floki se une como patrocinador asociado de la gira de la India por Sri Lanka

Una breve introducción a la teoría del cerebro de Boltzmann

Una guía del arquitecto para crear una arquitectura de referencia para un lago de datos de IA/ML

Crecimiento de las criptomonedas: creación de perfiles de usuarios eficaces

Valhalla de Floki se une como patrocinador asociado de la gira de la India por Sri Lanka

Una breve introducción a la teoría del cerebro de Boltzmann

Una guía del arquitecto para crear una arquitectura de referencia para un lago de datos de IA/ML

Crecimiento de las criptomonedas: creación de perfiles de usuarios eficaces

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps