¿Hackeo con IA en marcha, y la ciberseguridad está condenada al fracaso? V. no está de acuerdo.
Su juicio central es este: la seguridad, por naturaleza, favorece al bando defensivo. Si la IA puede demostrar las ecuaciones de Navier–Stokes y el último teorema de Fermat, entonces también puede convertir la afirmación de que “este programa es seguro” en un teorema matemático. El verdadero reto no es la complejidad del código, sino cómo definir “seguridad”: si la definición es demasiado estrecha, la superficie de ataque se filtrará por fuera de la propia definición.
Por eso, sostiene que la verificación formal no debe limitarse únicamente a los módulos que uno considera “críticos”; la base de datos, la red, la caché y todos los demás programas también deben incluirse. Además, la definición de seguridad debe ser legible y acumulable. En comparación con revisar código línea por línea, suele ser más viable primero verificar si las definiciones de componentes como los protocolos de mensajes, el sandbox, SNARK y FHE son suficientes.
Esto no es “los buenos encuentran primero las vulnerabilidades que los malos”, sino lograr que el código sea intrínsecamente más resistente a los ataques. V. afirma que continuar con la apuesta de dejar aproximadamente el 90% de los activos netos en activos cifrados es, en sí mismo, una apuesta por esta ruta; sin eso, una cadena de bloques que combine escalabilidad y privacidad difícilmente tenga futuro. En los próximos años, el ecosistema de Ethereum avanzará en esa dirección.
#AI #网络安全 #以太坊 $ETH
Su juicio central es este: la seguridad, por naturaleza, favorece al bando defensivo. Si la IA puede demostrar las ecuaciones de Navier–Stokes y el último teorema de Fermat, entonces también puede convertir la afirmación de que “este programa es seguro” en un teorema matemático. El verdadero reto no es la complejidad del código, sino cómo definir “seguridad”: si la definición es demasiado estrecha, la superficie de ataque se filtrará por fuera de la propia definición.
Por eso, sostiene que la verificación formal no debe limitarse únicamente a los módulos que uno considera “críticos”; la base de datos, la red, la caché y todos los demás programas también deben incluirse. Además, la definición de seguridad debe ser legible y acumulable. En comparación con revisar código línea por línea, suele ser más viable primero verificar si las definiciones de componentes como los protocolos de mensajes, el sandbox, SNARK y FHE son suficientes.
Esto no es “los buenos encuentran primero las vulnerabilidades que los malos”, sino lograr que el código sea intrínsecamente más resistente a los ataques. V. afirma que continuar con la apuesta de dejar aproximadamente el 90% de los activos netos en activos cifrados es, en sí mismo, una apuesta por esta ruta; sin eso, una cadena de bloques que combine escalabilidad y privacidad difícilmente tenga futuro. En los próximos años, el ecosistema de Ethereum avanzará en esa dirección.
#AI #网络安全 #以太坊 $ETH