Las opiniones más recientes de Vitalik valen mucho la pena: no acepta la idea de que “los hackers de IA harán fracasar la ciberseguridad de forma inevitable”. En su perspectiva, una vez que los métodos de verificación formal maduren, la seguridad naturalmente tenderá más hacia el bando defensivo; además, sigue poniendo alrededor del 90% de su patrimonio neto en activos cripto, lo cual por sí mismo es una apuesta a ese juicio.
La lógica central es: si la IA puede demostrar proposiciones complejas como las ecuaciones de Navier–Stokes y el último teorema de Fermat, también puede convertir la prueba de “que este programa es seguro” en un teorema matemático. El verdadero reto no está en que el código sea complejo, sino en que la definición de “seguridad” no sea demasiado estrecha; si lo es, los protocolos de mensajería, el sandbox, la red, la caché y las bases de datos se vuelven superficies de ataque ignoradas.
Por eso, él aboga por verificar todos los programas, no solo verificar los módulos que alguien declara “críticos”. Esto no consiste en hacer que los buenos encuentren vulnerabilidades antes que los malos, sino en lograr que el código sea inherentemente más resistente a los ataques. Sin esa ruta, especialmente cuando escalar y la privacidad se vuelven requisitos centrales, es difícil que la cadena de bloques tenga un futuro a largo plazo.
$ETH
#以太坊 #网络安全 #IA
La lógica central es: si la IA puede demostrar proposiciones complejas como las ecuaciones de Navier–Stokes y el último teorema de Fermat, también puede convertir la prueba de “que este programa es seguro” en un teorema matemático. El verdadero reto no está en que el código sea complejo, sino en que la definición de “seguridad” no sea demasiado estrecha; si lo es, los protocolos de mensajería, el sandbox, la red, la caché y las bases de datos se vuelven superficies de ataque ignoradas.
Por eso, él aboga por verificar todos los programas, no solo verificar los módulos que alguien declara “críticos”. Esto no consiste en hacer que los buenos encuentren vulnerabilidades antes que los malos, sino en lograr que el código sea inherentemente más resistente a los ataques. Sin esa ruta, especialmente cuando escalar y la privacidad se vuelven requisitos centrales, es difícil que la cadena de bloques tenga un futuro a largo plazo.
$ETH
#以太坊 #网络安全 #IA