La inteligencia artificial está potenciando la capacidad de los hackers para encontrar vulnerabilidades de software más rápido de lo que la seguridad tradicional puede parchearlas, según el cofundador de NEAR Protocol, Illia Polosukhin, quien argumenta que los desarrolladores deberían recurrir a pruebas matemáticas para asegurar su código.

"De hecho, diría que el pasado octubre —creo que Balancer fue el primero— fue cuando comenzó el hacking asistido por IA", dijo Polosukhin el lunes en una entrevista con Gareth Jenkinson en el podcast 'The Starting Block' de The Block.

Polosukhin afirmó que la ciberseguridad hasta ahora ha implicado principalmente a "personas inteligentes" revisando el código y esperando que nadie más inteligente encuentre algo que se les haya escapado. Esa mentalidad ya era imperfecta antes del auge de la IA, dijo, pero los modelos más nuevos y capaces la están haciendo aún menos sostenible.

"Necesitamos una forma diferente de pensar", dijo Polosukhin. "No es como, 'Oh, vamos a revisar todo con un modelo mejor y esperar que el siguiente modelo mejor no lo encuentre'".

Su solución propuesta es la verificación formal que prueba matemáticamente que el código "hace lo que dice que hace". Este proceso ha sido históricamente costoso, lento y laborioso, pero Polosukhin dijo que la IA ahora puede ayudar a generar la mayor parte de la prueba necesaria, la cual puede ser verificada de forma independiente.

"No es necesario depender de la IA porque la IA simplemente produce la prueba", dijo. "Solo verificas que la prueba es correcta".

Una iniciativa reciente de Zcash es un ejemplo de lo que Polosukhin describe. El Proyecto Tachyon utilizó verificación asistida por IA para producir una prueba matemática de que el grupo blindado Ironwood de Zcash no puede contener el mismo tipo de error de falsificación indetectable que se encontró en su grupo Orchard el mes pasado.

El Proyecto Tachyon afirmó que los avances en la generación de pruebas asistida por IA han reducido el trabajo que antes tomaba años a cuestión de semanas. 

Polosukhin también argumenta que este enfoque debería ir finalmente más allá de los contratos inteligentes para abarcar el software crítico de internet y de redes.

"Necesitamos cambiar fundamentalmente hacia la construcción de código blockchain —y, sinceramente, todo el código en internet— para que sea verificado formalmente", dijo.

Por otro lado, el lunes, NEAR implementó una actualización destinada a preparar la red para las demandas emergentes de seguridad y escalabilidad. Los usuarios ahora pueden cambiar a claves de cuenta resistentes a la computación cuántica, mientras que la red puede expandir automáticamente su capacidad a medida que crece la actividad.