Cofundador de NEAR: la piratería asistida por IA supera las revisiones de código tradicionales

Illia Polosukhin, cofundador de NEAR Protocol, afirmó el lunes que el pirateo asistido por IA comenzó el pasado octubre y que ahora está superando las revisiones tradicionales de seguridad del código. Al hablar en una entrevista en el podcast The Starting Block de The Block, Polosukhin identificó el incidente de Balancer como el primer ejemplo de esta tendencia. Atribuyó la aceleración a la capacidad de los modelos de IA para encontrar vulnerabilidades de software más rápido de lo que los revisores humanos pueden corregirlas. La industria de la ciberseguridad ha dependido históricamente de revisiones manuales de código, pero Polosukhin sostuvo que este enfoque se ha vuelto insostenible a medida que evolucionan las herramientas de IA.

Polosukhin propone la verificación formal como solución de seguridad

Polosukhin abogó por la verificación formal, que prueba matemáticamente que el código “hace lo que dice que hace”. Dijo que este proceso históricamente ha sido costoso, lento y muy intensivo en mano de obra, pero que la IA ahora puede ayudar a generar la mayor parte de la prueba necesaria, que luego puede comprobarse de forma independiente.

“No necesitas confiar en la IA porque la IA solo produce la prueba”, dijo Polosukhin. “Tú solo verificas que la prueba sea correcta”.

Sostuvo que, hasta este punto, la ciberseguridad ha consistido mayormente en revisar el código con “personas inteligentes” y esperar que nadie más inteligente encuentre algo que se les haya pasado. “Necesitamos una forma diferente de pensar”, dijo Polosukhin. “No es como: ‘Oh, vamos a revisar todo con un modelo mejor y esperamos que el siguiente modelo mejor no lo encuentre’”.

Polosukhin afirmó que este enfoque debería, en última instancia, ir más allá de los contratos inteligentes hacia el software crítico de internet y de redes. “Necesitamos cambiar fundamentalmente la forma en que se construye el código de blockchain —y, honestamente, todo el código de internet— para que sea verificado formalmente”, dijo.

El proyecto Tachyon de Zcash demuestra generación de pruebas asistida por IA

El proyecto Tachyon utilizó verificación asistida por IA para producir una prueba matemática de que la pool blindada Ironwood de Zcash no puede contener el mismo tipo de fallo de falsificación indetectable que se encontró en su pool Orchard el mes pasado. Tachyon dijo que los avances en la generación de pruebas asistida por IA han reducido el trabajo que antes tardaba años a algo de semanas.

NEAR lanza una actualización resistente a la cuántica

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

FAQ

¿Qué dijo el cofundador de NEAR Protocol sobre el pirateo asistido por IA?

Illia Polosukhin afirmó el lunes que el pirateo asistido por IA comenzó el pasado octubre con el incidente de Balancer y que ahora está superando las revisiones tradicionales de seguridad del código. Dijo que los modelos de IA pueden encontrar vulnerabilidades de software más rápido de lo que los revisores humanos pueden corregirlas.

¿Cómo funciona la verificación formal según Polosukhin?

Polosukhin describió la verificación formal como un proceso que prueba matemáticamente que el código “hace lo que dice que hace”. Dijo que la IA ahora puede ayudar a generar la mayor parte de la prueba necesaria, que luego puede comprobarse de forma independiente, sin depender de la IA en sí.

¿Qué actualización anunció NEAR?

NEAR lanzó una actualización el lunes que permite a los usuarios cambiar a claves de cuenta resistentes a la cuántica y habilita que la red expanda automáticamente su capacidad a medida que crece la actividad.