【Vitalik propone que Ethereum utilizará IA para verificar la seguridad de todo el programa】
El cofundador de Ethereum, Vitalik, expuso públicamente la última hoja de ruta tecnológica sobre IA y ciberseguridad. Rechazó la idea de que la IA destruirá por completo la seguridad en la red y señaló que las defensas de seguridad tienen ventajas fundamentales; el núcleo está en escribir y verificar de forma proactiva códigos más resistentes a los ataques.
Vitalik indicó que en el futuro la IA debería centrarse en verificar todo el programa, incluyendo bases de datos, redes y cachés, en lugar de solo revisar partes críticas. Hizo una analogía: si la IA puede demostrar las ecuaciones de Navier-Stokes y el teorema de Fermat, también podría formalizar que “el programa es seguro” como un teorema matemático, cubriendo así escenarios de ataque como falsificación, repetición (replay), intrusión de servidores, filtración de claves y ataques por canal lateral.
Definió esta dirección como un enfoque prioritario para el desarrollo de Ethereum en los próximos años. Esta postura busca reforzar el relato técnico a largo plazo de Ethereum en el ámbito de la seguridad de contratos inteligentes, destacando la mejora de la seguridad subyacente de los protocolos mediante verificación formal. El mercado debe prestar atención a si esta dirección se convierte en herramientas concretas de verificación on-chain o en aplicaciones con despliegue en el ecosistema; este será un punto clave para evaluar la capacidad de ejecución de la hoja de ruta tecnológica de Ethereum.
El cofundador de Ethereum, Vitalik, expuso públicamente la última hoja de ruta tecnológica sobre IA y ciberseguridad. Rechazó la idea de que la IA destruirá por completo la seguridad en la red y señaló que las defensas de seguridad tienen ventajas fundamentales; el núcleo está en escribir y verificar de forma proactiva códigos más resistentes a los ataques.
Vitalik indicó que en el futuro la IA debería centrarse en verificar todo el programa, incluyendo bases de datos, redes y cachés, en lugar de solo revisar partes críticas. Hizo una analogía: si la IA puede demostrar las ecuaciones de Navier-Stokes y el teorema de Fermat, también podría formalizar que “el programa es seguro” como un teorema matemático, cubriendo así escenarios de ataque como falsificación, repetición (replay), intrusión de servidores, filtración de claves y ataques por canal lateral.
Definió esta dirección como un enfoque prioritario para el desarrollo de Ethereum en los próximos años. Esta postura busca reforzar el relato técnico a largo plazo de Ethereum en el ámbito de la seguridad de contratos inteligentes, destacando la mejora de la seguridad subyacente de los protocolos mediante verificación formal. El mercado debe prestar atención a si esta dirección se convierte en herramientas concretas de verificación on-chain o en aplicaciones con despliegue en el ecosistema; este será un punto clave para evaluar la capacidad de ejecución de la hoja de ruta tecnológica de Ethereum.