Buterin prevé mejores salvaguardas para las criptomonedas a través de técnicas avanzadas de prueba matemática impulsadas por inteligencia artificial
Vitalik Buterin dice que la inteligencia artificial podría, en última instancia, hacer que los sistemas de criptomonedas y la infraestructura crítica de Internet sean más seguros, si los desarrolladores combinan código generado por IA con software verificado matemáticamente.
El cofundador de Ethereum argumentó que la “verificación formal” asistida por IA podría convertirse en una de las herramientas más importantes para la ciberseguridad a medida que los sistemas de IA cada vez más avanzados facilitan el descubrimiento de vulnerabilidades de software, en una extensa publicación de blog compartida el lunes.
La verificación formal se refiere al uso de pruebas matemáticas verificables por máquina para confirmar que el software se comporta exactamente como se esperaba. Si bien la técnica ha existido durante décadas, Buterin dijo que los avances recientes en IA la están haciendo dramáticamente más práctica al ayudar a los desarrolladores a escribir tanto el código como las pruebas necesarias para verificarlo.
Buterin formuló la tecnología como una respuesta a los crecientes temores de que la IA pudiera abrumar a los defensores al acelerar el descubrimiento de errores y los ciberataques. Las vulnerabilidades de los contratos inteligentes siguen siendo un problema persistente en las criptomonedas, y los atacantes con frecuencia extraen millones de dólares de protocolos financieros descentralizados vulnerables.
El software verificado matemáticamente podría ayudar a revertir esa tendencia, especialmente en áreas donde las fallas de seguridad serían catastróficas, argumentó Buterin. Señaló específicamente la infraestructura de Ethereum, los sistemas de prueba de conocimiento cero, los mecanismos de consenso y la criptografía poscuántica como tecnologías que podrían beneficiarse de la verificación formal.
"Los errores en el código informático dan miedo", escribió Buterin, antes de describir cómo los riesgos se vuelven aún más graves cuando el software controla activos inmutables en cadena o sistemas criptográficos avanzados.
La publicación también contrarrestó la creciente creencia entre algunos investigadores de seguridad de que puede resultar imposible confiar plenamente en el software cada vez más complejo generado por IA. En cambio, Buterin dijo que la IA podría eventualmente fortalecer la ciberseguridad al ayudar a los desarrolladores a identificar y eliminar fallas más rápido de lo que los atacantes pueden explotarlas.
Aun así, advirtió que la verificación formal “no es una panacea”. Incluso los sistemas matemáticamente probados pueden fallar si los desarrolladores verifican las suposiciones erróneas, pasan por alto las vulnerabilidades del hardware o dejan partes de un sistema sin controlar.
"La IA le brinda la capacidad de escribir grandes volúmenes de código a costa de la precisión, y la verificación formal le devuelve... precisión", escribe Buterin. "De forma predeterminada, la IA permitirá grandes cantidades de código muy descuidado... Pero aquí hay un futuro optimista para la ciberseguridad".
Leer más: La Fundación Ethereum presenta un nuevo estándar 'Clear Signing' para evitar que los usuarios aprueben transacciones criptográficas maliciosas