Vitalik Buterin rechazó que la IA vaya a terminar con la ciberseguridad: ¿cómo protegerá a las criptomonedas?

Vitalik Buterin rechazó la idea de que el avance de la inteligencia artificial (IA) vaya a dejar a la ciberseguridad sin herramientas para defenderse. El cofundador de Ethereum sostuvo que los mismos sistemas capaces de ayudar a encontrar vulnerabilidades podrían utilizarse para verificar matemáticamente programas completos y hacerlos más resistentes frente a ataques.

La declaración llegó en un contexto de creciente preocupación por las capacidades de la IA para detectar fallas de seguridad. Buterin planteó una estrategia diferente: en lugar de limitarse a buscar vulnerabilidades después de desarrollar el software, propuso demostrar que determinados sistemas cumplen con requisitos de seguridad previamente definidos.

Según su planteo, la seguridad puede favorecer a los defensores si se desarrollan mejores sistemas de verificación.

Buterin utilizó como ejemplo la capacidad de demostrar teoremas matemáticos complejos para explicar su propuesta.

“Si la IA puede demostrar Navier-Stokes y FLT, entonces puede demostrar la afirmación ‘este programa es seguro’ como un teorema matemático. Incluso si el programa es muy complicado”, afirmó.

La idea se basa en la verificación formal, un método que permite comprobar mediante pruebas matemáticas que un programa cumple determinadas propiedades. Para Buterin, el desarrollo de herramientas de IA podría hacer viable aplicar este proceso a una parte mucho mayor del software.

El principal desafío, según explicó, no sería únicamente comprobar el código, sino definir qué significa exactamente que un sistema sea seguro. Esa definición puede incluir aspectos como posibles ataques, filtraciones de información y fallas o compromisos de diferentes componentes.

Por eso, consideró que las especificaciones de seguridad deberían ser lo suficientemente claras como para poder ser verificadas. También señaló que distintas definiciones podrían comprobarse de manera conjunta y que, si resultaran incompatibles, el conflicto quedaría identificado.

Buterin sostuvo que este enfoque podría ser especialmente relevante para componentes críticos de las blockchains, entre ellos protocolos de comunicación, sistemas de aislamiento y herramientas criptográficas como los SNARKs y el cifrado homomórfico.

La diferencia con el enfoque tradicional estaría en el alcance de las comprobaciones. En lugar de revisar solamente las partes consideradas críticas por los desarrolladores, la IA podría ayudar a verificar sistemas mucho más amplios.

El planteo no supone que la IA vaya a garantizar por sí sola la seguridad de un programa. La propia definición de las propiedades que deben cumplirse seguiría siendo un punto central del proceso. La Fundación Ethereum ya utiliza herramientas de IA para tareas de seguridad y ha informado sobre vulnerabilidades detectadas mediante agentes automatizados.

Para Buterin, el objetivo final sería reducir la dependencia de una carrera permanente entre atacantes y defensores. “No hay futuro para las blockchains, especialmente las centradas en la escalabilidad y la privacidad, sin hacer esto”, sostuvo.

La discusión llega cuando las capacidades ofensivas de la IA también muestran avances. Investigaciones recientes describieron el uso de modelos avanzados para encontrar vulnerabilidades y desarrollar herramientas de ataque, lo que mantiene abierta la discusión sobre cuánto pueden mejorar simultáneamente las defensas y las amenazas.

*

Los contenidos presentados en este artículo tienen fines exclusivamente informativos y no deben interpretarse como una recomendación de inversión ni de uso de las herramientas mencionadas. Cripto247 no asume responsabilidad por los resultados derivados de su utilización y/o aplicación y recomienda a los lectores realizar su propia investigación antes de tomar decisiones financieras.

*

Sumate a la comunidad Cripto247. Seguinos en X, Instagram, Facebook, YouTube, Telegram y enterate de todas las noticias del mundo cripto al instante.