Vitalik Buterin dijo que los avances en artificial intelligence could reshape how crypto systems are attacked y defendidos podrían empujar la infraestructura hacia software verificado matemáticamente.
Buterin expone la amenaza de la IA
El cofundador de Ethereum argued que 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 repetida 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 afirmó 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
Verificación formal como defensa
"La IA te da la capacidad de escribir grandes volúmenes de código a costa de la precisión, y la verificación formal te devuelve la precisión", escribió Buterin.
Refutó a los investigadores que sostienen que el software generado por IA se ha vuelto imposible de confiar plenamente, presentando en cambio un caso más optimista.
Buterin cree que la programación asistida por IA combinada con herramientas de verificación podría eventualmente producir software más sólido que el que los humanos construyen por sí solos.
También mencionó proyectos activos como Arklib y evm-asm, que se centran en asegurar la infraestructura criptográfica y el software de la Máquina Virtual de Ethereum.
No obstante, el ensayo warned advirtió que la verificación formal no es una panacea. Incluso los sistemas demostrados matemáticamente pueden fallar cuando los desarrolladores verifican supuestos equivocados o cuando los exploits quedan fuera de la ruta de código verificada.
Historial de Buterin en seguridad
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 retomado el tema de la seguridad de la IA repetidamente 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 desarrollo 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 de cadena de bloques e internet tradicional.
Lee a continuación: Iran Settles Hormuz Shipping Cover In Bitcoin, Eyes $10B Haul