El cofundador de Ethereum, Vitalik Buterin, ha expresado su entusiasmo por el potencial de la verificación formal de código asistida por IA y la búsqueda de errores.
En un tuit del lunes, Buterin señaló que el riesgo técnico más importante de Ethereum proviene de errores en el código, y cualquier cosa que pudiera cambiar significativamente el juego en ese frente sería innovadora.
“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. En este momento, el mayor riesgo técnico de Ethereum probablemente son los errores en el código, y cualquier cosa que pueda cambiar significativamente el juego sería increíble”. el escribio.
En particular, uno de los principales desafíos que enfrentan los protocolos de Ethereum es la explotación de errores, lo que resulta en pérdidas de millones de dólares para los inversores debido a incidentes de piratería. Según un informe de Chainalysis, los fondos criptográficos robados en 2023 alcanzaron la asombrosa cifra de 1.7 millones de dólares, y aproximadamente dos tercios del total de los fondos robados se remontan a hacks dirigidos a protocolos DeFi. Y aunque los robos generales han disminuido en comparación con años anteriores, la amenaza de piratería DeFi sigue siendo una preocupación importante.
Mientras tanto, aunque Buterin expresa optimismo sobre el potencial de la IA, también ha manifestado cautela. En un blog fechado el 30 de enero, el cofundador de Ethereum recomendó prudencia a la hora de integrar la IA con la tecnología blockchain, subrayando la necesidad crítica de un enfoque cuidadoso y mesurado, especialmente al implementar la IA en contextos que conllevan un valor y un riesgo significativos.
En particular, el año pasado, el experimento de la empresa de desarrollo de contratos inteligentes OpenZeppelin que utilizó GPT-4 de OpenAI para detectar problemas de seguridad en los contratos inteligentes de Solidity arrojó resultados mixtos. Según un informe de la empresa, GPT-4 identificó con precisión vulnerabilidades en 20 de 28 desafíos, pero en ocasiones también inventó vulnerabilidades inexistentes.
De manera similar, Kang Li, director de seguridad de la firma de seguridad blockchain CertiK, advirtió contra la dependencia exclusiva de herramientas impulsadas por inteligencia artificial para la codificación. Hablando en septiembre pasado durante la Semana Coreana de Blockchain, Li señaló que las herramientas de inteligencia artificial pueden introducir más problemas de seguridad de los que resuelven si se emplean sin precaución.
Li enfatizó además que ChatGPT, por ejemplo, puede no ser capaz de detectar errores de código lógico con tanta habilidad como los desarrolladores experimentados. En cambio, el experto propuso utilizar asistentes de inteligencia artificial como herramientas de soporte para desarrolladores experimentados, permitiéndoles comprender el código de manera más efectiva.
Fuente: https://zycrypto.com/vitalik-buterin-highlights-potential-use-case-of-ai-on-ethereum/