Vitalik Buterin dijo que los avances en artificial intelligence could reshape how crypto systems are attacked y defendidos empujarán la infraestructura hacia software verificado matemáticamente.
Buterin detalla la amenaza de la IA
El cofundador de Ethereum argued que los increasingly powerful AI models harán mucho más fácil descubrir y explotar vulnerabilidades en software complejo.
Buterin calificó los errores en la infraestructura cripto como aún más alarmantes una vez que las herramientas de IA comiencen a automatizar el descubrimiento de vulnerabilidades, una preocupación compartida en toda la comunidad de investigación en seguridad.
Señaló la infraestructura de Ethereum (ETH), los mecanismos de consenso y la criptografía poscuántica como objetivos prioritarios para defensas más sólidas.
En lugar de depender de auditorías tradicionales, Buterin said sostiene que los desarrolladores deberían adoptar la verificación formal, un enfoque que demuestra matemáticamente que el código se comporta como se pretende bajo condiciones definidas.
También lee: Crypto Funds Bleed $1.07B As Iran Tensions End Six-Week Inflow Run
La verificación formal como defensa
"La IA te da la capacidad de escribir grandes volúmenes de código a costa de precisión, y la verificación formal te devuelve la precisión", escribió Buterin.
Respondió a los investigadores que argumentan que el software generado por IA se ha vuelto imposible de confiar plenamente, presentando en cambio una visión más optimista.
Buterin cree que la programación asistida por IA, combinada con herramientas de verificación, podría terminar produciendo software más sólido que el que construyen los humanos por sí solos.
También destacó proyectos activos como Arklib y evm-asm, que se centran en asegurar la infraestructura criptográfica y el software de la Ethereum Virtual Machine.
No obstante, el ensayo warned que la verificación formal no es una solución mágica. Incluso los sistemas demostrados matemáticamente pueden fallar cuando los desarrolladores verifican supuestos equivocados o cuando los exploits se encuentran fuera de la ruta de código verificada.
Historial de seguridad de Buterin
Buterin esbozó un futuro en el que la infraestructura digital sensible se concentra en pequeños sistemas de "núcleo seguro", aislados y fuertemente verificados, mientras que las aplicaciones menos críticas se ejecutan con permisos limitados.
El cofundador de Ethereum ha vuelto repetidamente al tema de la seguridad de la IA este año. En febrero, sugirió dividir las ganancias de productividad de la IA entre velocidad y seguridad, y en mayo respaldó herramientas de verificación formal como Lean para desarrollos de alta garantía. Su publicación más reciente amplía esos argumentos hacia una afirmación más amplia, presentando la prueba matemática como la respuesta más creíble frente a las herramientas de ataque impulsadas por IA en sistemas blockchain e internet tradicional.
Lee a continuación: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul