Vitalik Buterin: La IA no destruirá la ciberseguridad—¿Por qué aún mantiene el 90% de su riqueza en cripto

2026/09/21 15:29:00

Vitalik Buterin argumenta que la IA podría fortalecer la ciberseguridad mediante verificación formal

El cofundador de Ethereum, Vitalik Buterin, ha rechazado públicamente la creciente opinión de que la inteligencia artificial avanzada hará imposible la ciberseguridad. En una publicación detallada en X fechada el 16 de septiembre de 2026, afirmó que la ciberseguridad sigue siendo fundamentalmente favorable a la defensa una vez que se aplican métodos rigurosos, y que mantener posesiones continuas de criptomonedas representa una apuesta implícita en este resultado. Señaló que las criptomonedas representan aproximadamente el 90 por ciento de su propia riqueza neta. Los comentarios surgieron en medio de discusiones más amplias sobre ataques impulsados por IA a la infraestructura digital y siguieron a un intercambio anterior en el que desestimó las predicciones de una caída pronunciada en el precio del bitcoin impulsada por fallas de seguridad.

La posición de Buterin se centra en el potencial de la verificación formal asistida por IA para demostrar que software complejo satisface propiedades de seguridad precisamente definidas, desplazando el equilibrio desde la búsqueda reactiva de errores hacia una garantía matemática proactiva. Esta postura tiene un peso particular para Ethereum, donde las mejoras en escalabilidad y privacidad exigen mayor confianza en el código subyacente. Las declaraciones de Vitalik Buterin de septiembre de 2026 establecen que la IA favorecerá finalmente a los defensores mediante la verificación formal de propiedades de seguridad del software, una convicción reforzada por su continua asignación de aproximadamente el 90 por ciento de su patrimonio neto a activos de criptomonedas.

Vitalik responde directamente a las afirmaciones de que los ataques de IA condenan la ciberseguridad

En su publicación en X del 16 de septiembre de 2026, Vitalik Buterin abordó lo que describió como una opinión cada vez más común: que el hacking impulsado por IA hará que la ciberseguridad esté condenada. Él discrepó, afirmando que la ciberseguridad es naturalmente favorable a la defensa una vez que los participantes aplican métodos disciplinados. Enlazó explícitamente esta evaluación con la propiedad de criptomonedas, escribiendo que cualquier persona que siga manteniendo criptomonedas, incluyéndose a sí mismo, con aproximadamente el 90 por ciento de su patrimonio neto, está apostando implícitamente por la viabilidad de sistemas digitales seguros. Buterin enmarcó el problema no como una ventaja ofensiva inevitable para los atacantes, sino como un problema de transición que la ingeniería rigurosa puede resolver.

Posicionó la verificación formal como la vía práctica, argumentando que los sistemas de IA suficientemente capaces para probar resultados matemáticos difíciles también podrían establecer que un programa dado cumple con su especificación de seguridad. La publicación llegó en un contexto de preocupación de la industria sobre el descubrimiento automatizado de vulnerabilidades, pero Buterin mantuvo que la misma capacidad que acelera los ataques puede acelerar la construcción de pruebas que cierran permanentemente esas superficies de ataque. Este enfoque eleva la asignación personal de capital de una simple elección de cartera a una señal pública de convicción tecnológica.

Verificación formal como el camino matemático para demostrar la seguridad de los programas

La afirmación técnica central de Buterin se basa en la verificación formal, la práctica de utilizar especificaciones y pruebas matemáticas para demostrar que un software se comporta según propiedades predefinidas en todos los estados relevantes, en lugar de simplemente probar escenarios seleccionados. Argumentó que si la IA puede demostrar resultados como las ecuaciones de Navier-Stokes o el Último Teorema de Fermat, la misma capacidad de razonamiento puede probar la afirmación de que un programa dado es seguro, incluso cuando el programa en sí es complejo. La verificación formal ha sido aplicada durante mucho tiempo en dominios de alta confiabilidad como la aeroespacial y la criptografía; la novedad en la visión de Buterin es que la IA reduce el costo y amplía el alcance factible de estas pruebas.

Una vez que una prueba es verificada por máquina y aceptada, permanece permanente, mientras que un atacante que descubre una vulnerabilidad previamente desconocida es un evento único. Esta asimetría sustenta la afirmación de que la ciberseguridad favorece a la defensa a largo plazo. El método no elimina la necesidad de una redacción cuidadosa de las especificaciones; potencia la efectividad de especificaciones bien elaboradas. Al tratar las afirmaciones de seguridad como teoremas matemáticos, los desarrolladores pasan de una confianza probabilística basada en la cobertura de pruebas a una certeza determinista dentro de los límites del modelo elegido. Este cambio es especialmente relevante para los sistemas de cadena de bloques, donde una sola falla sutil puede afectar grandes volúmenes de valor. Por lo tanto, el argumento reencuadra a la inteligencia artificial como una herramienta de uso dual, cuya aplicación defensiva puede dominar una vez que la industria invierta en las herramientas y la disciplina necesarias.

Definir la seguridad a través de claves, servidores, sistemas operativos y pilas completas

Una advertencia crítica en el razonamiento de Buterin es que el significado de “seguro” debe definirse con suficiente amplitud. Las definiciones de seguridad pueden exceder mil líneas de especificación formal porque deben abordar la gestión de claves, la compromisión de servidores, la integridad del sistema operativo, bases de datos, capas de red, cachés, fugas por canales laterales y riesgos de la cadena de suministro. Las pruebas matemáticas solo confirman las propiedades que se incluyen explícitamente; los riesgos fuera del modelo permanecen sin abordar. Buterin enfatizó por lo tanto que la IA puede asistir no solo en generar pruebas, sino también en examinar especificaciones en busca de incompletudes y fortalecerlas antes del despliegue.

La implicación práctica es que los equipos no pueden limitar los esfuerzos de verificación a componentes de seguridad críticos aislados; deben cubrir eventualmente las interacciones entre componentes. Esta perspectiva de pila completa eleva el nivel de ingeniería, pero también aumenta el límite de confianza. Para sistemas que combinan alta escalabilidad con funciones de privacidad, definiciones incompletas dejan superficies de ataque residuales que las herramientas automatizadas pueden explotar. Al insistir en definiciones completas, Buterin redirige la atención desde los éxitos de ataque llamativos hacia el trabajo más silencioso de la calidad de la especificación. El resultado es una evaluación más realista tanto del poder como de los límites de los métodos formales en entornos de producción complejos.

La dirección de varios años de ethereum hacia la verificación de pila completa habilitada por IA

Buterin afirmó que el desarrollo de Ethereum en los próximos años avanzará por la vía de verificación formal que él describió. Los sistemas de cadena de bloques que buscan tanto escalabilidad como funciones de privacidad requieren especialmente esta base; sin garantías más sólidas de seguridad del software, esas funciones corren el riesgo de ampliar en lugar de reducir la superficie de ataque. La investigación de la Fundación Ethereum ya ha tratado la verificación formal como una herramienta transversal en varias líneas de protocolo a largo plazo. Equipos de seguridad han comenzado a utilizar agentes de IA para inspeccionar el código del protocolo y reproducir independientemente vulnerabilidades, según un informe del 17 de septiembre de crypto.news. Los investigadores trabajan hacia arquitecturas en las que los validadores verifican pruebas de ejecución concisas en lugar de volver a ejecutar cada bloque.

Esfuerzos adicionales combinan agentes de IA con pruebas verificadas por máquina para implementaciones de clientes, cumplimiento de protocolos e infraestructura de máquina virtual de prueba de conocimiento cero. Estas iniciativas se alinean con la hoja de ruta técnica más amplia que coloca la verificación formal junto con la privacidad, las pruebas de conocimiento cero y la protección post-cuántica. La dirección refleja el reconocimiento de que las pruebas convencionales y la revisión humana por sí solas no escalarán ante la complejidad de las actualizaciones de protocolo de próxima generación. Al integrar la verificación en la agenda de investigación, ethereum se posiciona para absorber las capacidades de IA como un multiplicador defensivo, en lugar de simplemente reaccionar a los avances ofensivos. El horizonte de varios años subraya que la transición descrita por Buterin es un programa de ingeniería, no un cambio instantáneo.

Proyectos existentes que demuestran bloques de construcción criptográficos verificados formalmente

Proyectos concretos ya ilustran este enfoque. Arklib está desarrollando una implementación formalmente verificada de STARKs, una importante familia de sistemas de prueba de conocimiento cero, dentro del probador de teoremas Lean. Cada componente, desde la aritmética de polinomios hasta el protocolo FRI y los compromisos Merkle, está diseñado para incluir pruebas de corrección verificadas por máquina. Un esfuerzo relacionado, evm-asm, construye una abstracción de la Máquina Virtual Ethereum diseñada para análisis formal. Trabajos adicionales cubren pipelines de verificación Rust-to-Lean que extraen código criptográfico de producción, generan especificaciones y resuelven obligaciones de prueba con probadores de IA, manteniendo la solidez verificada por el kernel.

Los informes de mediados de 2026 y las actualizaciones de septiembre confirman la formalización activa de protocolos de suma-verificación, Spartan, árboles de Merkle, teoría de la codificación relacionada con FRI y otras primitivas. Estos esfuerzos demuestran que la verificación de extremo a extremo de la infraestructura criptográfica crítica está avanzando desde un prototipo de investigación hacia una biblioteca reutilizable. La existencia de tales proyectos proporciona una base empírica para la afirmación de Buterin de que las herramientas necesarias están surgiendo. Los desarrolladores pueden examinar los repositorios públicos y las notas de lanzamiento para evaluar la cobertura actual y los huecos restantes. El progreso en estas bibliotecas reduce el costo marginal de aplicar métodos formales a nuevos componentes de protocolo y proporciona bloques de construcción verificados y reutilizables para sistemas de nivel superior.

Asignación de riqueza personal como una apuesta explícita sobre tecnología defensiva

Buterin conectó repetidamente su perspectiva técnica con la asignación personal de capital. Al afirmar que aproximadamente el 90 por ciento de su patrimonio neto permanece en criptomonedas, presentó la posesión continua como una apuesta implícita de que se pueden construir sistemas digitales altamente seguros a pesar de atacantes automatizados más potentes. La cifra apareció tanto en la publicación de ciberseguridad del 16 de septiembre como en la respuesta anterior del 7 de septiembre a las predicciones de una caída importante del precio del Bitcoin. Los informes contemporáneos aclararon que la declaración no implica una posición exclusiva en Bitcoin; la mayor parte de los activos conocidos están en ether y activos relacionados, por lo que la exposición se debe entender mejor como un compromiso amplio con la resiliencia de los sistemas descentralizados.

Los datos del mercado del 17 de septiembre situaron el bitcoin cerca de 76.000 dólares y el ether entre 2.400 y 2.460 dólares, ilustrando la escala del valor vinculado a estas suposiciones de seguridad. La divulgación funciona como un punto de datos de alta señalización porque se ofrece voluntariamente por una figura principal cuyos juicios técnicos han influido históricamente en la dirección del protocolo. Los lectores pueden cruzar la declaración de riqueza con informes de transparencia en cadena y comentarios previos relacionados con la fundación para formar una visión independiente de la coherencia. La vinculación entre capital y convicción proporciona un ejemplo práctico de cómo se puede expresar el optimismo a largo plazo sobre la seguridad fuera de los artículos de investigación pura.

Principios de septiembre: El exchange sobre el riesgo de la IA a la seguridad básica del bitcoin

El 7 de septiembre de 2026, Buterin respondió a una evaluación del inversionista Liron Shapira que asignaba una probabilidad del 50 por ciento a que el bitcoin cayera más del 50 por ciento en dos años debido a que la inteligencia artificial podría socavar supuestos de seguridad. Buterin tomó la postura opuesta, afirmando que sigue siendo optimista sobre la ciberseguridad a largo plazo y considera que la principal dificultad es gestionar la transición. Esperaba que el bitcoin maneje problemas que no requieran consenso social amplio, como ajustes de clientes o pools de minería, y asignó una probabilidad extremadamente baja a rupturas fundamentales en funciones de hashing o prueba de trabajo.

Él señaló que sus tenencias existentes ya constituían el equivalente a una gran apuesta contra el escenario de caída, citando nuevamente la cifra aproximada del 90 por ciento del patrimonio neto. Los comentarios anteriores establecen continuidad: la publicación posterior de verificación formal no es una reacción aislada, sino una elaboración de una tesis de seguridad coherente. Juntos, ambos enunciados forman una posición pública coherente que abarca tanto narrativas de riesgo de precio a corto plazo como estrategias arquitectónicas a largo plazo.

Resultados de las mejoras en escalabilidad y privacidad en redes de cadena de bloques

Los sistemas que persiguen simultáneamente alto rendimiento y fuertes propiedades de privacidad amplían la superficie que debe protegerse. Las pruebas de conocimiento cero, los sistemas de pruebas recursivas y la lógica compleja de transición de estado introducen requerimientos de corrección sutiles que las pruebas convencionales luchan por agotar. La verificación formal ofrece un camino hacia una mayor certeza precisamente porque los reclamos de seguridad pueden expresarse matemáticamente y verificarse mecánicamente. El argumento de Buterin implica que, sin progresos en las herramientas de verificación, las hojas de ruta ambiciosas de escalabilidad y privacidad enfrentan un riesgo residual elevado. Por el contrario, la aplicación exitosa de pruebas asistidas por IA puede desbloquear esas funciones con mayor confianza.

Los rastros de investigación de ethereum ya tratan la verificación como infraestructura habilitadora para estos objetivos. La consecuencia práctica es que los equipos de protocolo deben asignar esfuerzo de ingeniería a la calidad de la especificación y la infraestructura de prueba en paralelo con el trabajo de rendimiento. Los participantes del mercado que evalúan la salud a largo plazo del protocolo pueden, por lo tanto, monitorear la madurez de las bibliotecas de verificación y la integración de componentes verificados en clientes de producción como indicadores adelantados de preparación defensiva. Esta perspectiva desplaza la atención desde métricas puramente cuantitativas, como transacciones por segundo, hacia medidas cualitativas de profundidad de garantía.

Equilibrar las capacidades ofensivas aceleradas con los avances en herramientas defensivas

Los sistemas de inteligencia artificial avanzada pueden acelerar el descubrimiento de vulnerabilidades y el diseño de ataques, como han reconocido múltiples organizaciones de investigación. Anthropic y otros laboratorios han informado que los modelos identifican un gran número de fallas. Buterin no niega este progreso ofensivo; argumenta que los mismos avances en el razonamiento machine pueden reducir el costo de construir pruebas formales y de refinar especificaciones de seguridad. La variable decisiva se convierte en la disciplina institucional y de ingeniería, más que en la capacidad bruta del modelo. Una vez que existen pruebas y se verifican mediante máquina, persisten; los exploits individuales siguen siendo eventos discretos.

Esta asimetría respalda la afirmación de que la defensa puede recuperar y mantener la ventaja siempre que los equipos inviertan en los métodos necesarios. Los observadores de la industria pueden rastrear la proporción de componentes críticos verificados respecto al área crítica total como una métrica concreta de progreso. Por lo tanto, las declaraciones de septiembre sirven como una previsión técnica y un llamado a la industria para organizarse en torno a la verificación, más que únicamente en torno a la detección y la respuesta.

Contexto espacial para métodos de alta confiabilidad en código crítico para el valor

Los métodos formales han estado históricamente reservados para dominios en los que los costos de fallo son extremos. Las bibliotecas criptográficas, el código crítico para el consenso y los circuitos de conocimiento cero ahora caen en esa categoría debido al valor financiero y sistémico que protegen. La aparición de bibliotecas verificadas reutilizables como Arklib y pipelines de verificación de apoyo indica que la barrera de entrada está disminuyendo. La asistencia de IA reduce aún más el trabajo especializado requerido para muchas obligaciones de prueba, preservando la solidez mediante la verificación del kernel.

La decisión de Ethereum de tratar la verificación formal como una herramienta transversal refleja el reconocimiento de este cambio. Otros ecosistemas de cadena de bloques y operadores de infraestructura financiera tradicional enfrentan presiones análogas a medida que mejoran las herramientas automatizadas de ataque. La discusión de septiembre de 2026 contribuye, por lo tanto, a una conversación más amplia sobre el nivel adecuado de garantía para el software que sustenta los sistemas de activos digitales. Los practicantes pueden examinar el progreso público de las formalizaciones criptográficas basadas en Lean y los pipelines de extracción de Rust a Lean para evaluar el estado actual de la técnica y las brechas de ingeniería pendientes.

Consideraciones prácticas para equipos que construyen sistemas verificables

Los equipos que busquen aplicar este enfoque deben comenzar con definiciones de seguridad precisas que abarquen el modelo de amenazas relevante, luego seleccionar herramientas capaces de pruebas verificadas por máquina. Proyectos existentes demuestran que Lean 4, bibliotecas criptográficas especializadas y probadores asistidos por IA ya pueden manejar componentes no triviales. La integración en pipelines de desarrollo continuo sigue siendo un desafío de ingeniería activo, al igual que la verificación de interacciones a través de pilas completas. La documentación de suposiciones y riesgos residuales fuera del modelo verificado es esencial para una comunicación honesta con los usuarios y auditores.

El monitoreo de las actualizaciones de investigación de la Fundación Ethereum y los esfuerzos de verificación independiente proporciona visibilidad continua sobre la madurez de las herramientas. La ruta descrita por Buterin es incremental y de varios años; la adopción temprana de bibliotecas verificadas y la participación en el trabajo de refinamiento de especificaciones pueden multiplicar las ventajas con el tiempo. Las organizaciones que tratan la verificación como un objetivo de ingeniería de primera clase, en lugar de como una actividad de auditoría posterior, están mejor posicionadas para absorber tanto los riesgos como las oportunidades creadas por el avance de las capacidades de IA.

Señales del ecosistema desde la exposición sostenida al cripto a nivel fundador

La confirmación pública de que una figura principal del protocolo mantiene la gran mayoría de su riqueza personal en activos de criptomonedas proporciona una señal duradera de confianza en la trayectoria de seguridad subyacente. Combinada con la inversión activa en investigación de verificación formal, la divulgación sugiere que los tomadores de decisiones clave consideran que la transición defensiva es alcanzable dentro de los horizontes temporales relevantes. Los precios de mercado el 17 de septiembre de 2026 reflejaron la valoración continua de estos sistemas bajo las condiciones macroeconómicas vigentes.

Los observadores pueden rastrear publicaciones de investigación posteriores, lanzamientos de bibliotecas e integraciones con clientes como pruebas empíricas de la tesis. La imagen general que surge es una de optimismo tecnológico medido, fundamentado en métodos de ingeniería específicos en lugar de garantías vagas. El progreso continuo en primitivas criptográficas verificadas y especificaciones de pila completa determinará si el resultado favorable a la defensa se materializa a la escala requerida por la infraestructura global de activos digitales.

🔥 Más allá de las noticias: qué significa KuCoin 5.0 para ti

Las noticias del mercado avanzan rápido — pero donde actúes sobre ellas importa igualmente. Este octubre, KuCoin lanza KuCoin 5.0, transformando KuCoin en una plataforma reconstruida. Aquí está lo que realmente cambia para ti:

Una sola cuenta para todo. Las plataformas antiguas dividían tu dinero entre cuentas separadas de "spot", "margen" y "futures" y esperaban que entendieras por qué. La Cuenta Unificada de KuCoin 5.0 elimina esto por completo: realiza un solo depósito y todo estará simplemente disponible.
Acciones, índices y materias primas. KuCoin 5.0 se expande más allá del cripto hacia mercados globales. Cuando el cripto se mueve lateralmente y las acciones suben (o al revés), rotates en minutos en lugar de abrir una cuenta de corretaje y esperar días para que se activen los canales de moneda fiduciaria.
Activos del mundo real (RWA). Exposición tokenizada a activos tradicionales como materias primas, directamente en tu cuenta de cripto. Uno de los segmentos de más rápido crecimiento en las finanzas globales ya no está reservado para instituciones: tú lo accedes desde el mismo saldo con el que operas.
Gana mientras aprendes. ¿Aún no estás listo para operar? KCUSD permite que tus stablecoins generen intereses diarios con autocomposición. La forma menos estresante de hacer que tus depósitos inactivos trabajen para ti con un rendimiento del 4%.
Un asistente de IA en lenguaje sencillo. Haz preguntas, obtén contexto del mercado, entiende lo que estás viendo: integrado en la plataforma, sin necesidad de jerga.
Una aplicación que no abruma. Más rápida, más limpia y coherente: intuitiva desde el primer toque, no después de un tutorial.
Seguridad que puedes verificar, no solo confiar. Una entidad de la UE con licencia MiCAR, Proof of Reserves que puedes verificar tú mismo, y seguridad certificada internacionalmente (SOC 2 Type II, ISO 27001:2022).

Crea tu cuenta en minutos y comienza en la plataforma diseñada para adónde va el cripto, no adónde ha estado.

Preguntas frecuentes

¿Qué dijo exactamente Vitalik Buterin sobre la IA y la ciberseguridad en septiembre de 2026?

Vitalik Buterin declaró en X que la opinión cada vez más común de que el hacking de IA significa que la ciberseguridad está condenada es incorrecta. Argumentó que la ciberseguridad es naturalmente favorable a la defensa una vez que las personas aplican métodos rigurosos, y que cualquiera que siga manteniendo criptomonedas está apostando implícitamente a ese resultado. Confirmó que las criptomonedas representan aproximadamente el 90 por ciento de su propia riqueza neta. Los comentarios enfatizaron la verificación formal como el mecanismo que puede convertir los avances de la IA en una ventaja defensiva al demostrar propiedades de seguridad del software como teoremas matemáticos.

¿Cómo se diferencia la verificación formal de las pruebas de seguridad convencionales?

Las pruebas convencionales examinan el comportamiento del programa bajo entradas y escenarios seleccionados, proporcionando una confianza probabilística limitada por la cobertura. La verificación formal utiliza especificaciones y pruebas matemáticas para establecer que las propiedades de seguridad definidas se cumplen en todo el espacio de estados relevante. Una vez que una prueba es verificada por máquina, proporciona una garantía determinista dentro del modelo. La IA puede ayudar a generar y verificar estas pruebas, haciendo potencialmente práctico este método para bases de código más grandes y complejas de lo que antes era factible.

¿Por qué Buterin enfatiza definiciones de seguridad integrales?

Las definiciones de seguridad deben cubrir claves, servidores, sistemas operativos, bases de datos, redes, cachés y riesgos relacionados. Definiciones incompletas dejan superficies de ataque residuales fuera del modelo verificado. La IA puede ayudar a identificar suposiciones ausentes y fortalecer las especificaciones, pero la calidad de la definición inicial sigue siendo fundamental. Definiciones amplias aumentan el esfuerzo de ingeniería, pero también incrementan el valor de las pruebas resultantes.

¿Qué papel juega la verificación formal en la investigación actual de ethereum?

Los investigadores de ethereum consideran la verificación formal como una herramienta transversal para las líneas de protocolo a largo plazo. Los equipos ya utilizan agentes de IA para la inspección de código y la reproducción de vulnerabilidades. Se continúa trabajando en pruebas de ejecución concisas, verificación de clientes contra especificaciones, infraestructura de máquina virtual de conocimiento cero y esfuerzos relacionados. Esta dirección apoya las funciones de escalabilidad y privacidad próximas que requieren mayor garantía.

¿Existen proyectos concretos que ya estén produciendo componentes verificados?

Sí. Arklib está desarrollando una implementación STARK formalmente verificada en Lean. Los esfuerzos relacionados abordan abstracciones EVM, pipelines de extracción de Rust a Lean y formalizaciones de sum-check, árboles Merkle y otros primitivos criptográficos. Estos proyectos demuestran que las pruebas verificadas por máquina de componentes de infraestructura crítica están avanzando y volviéndose reutilizables.

¿El 90 por ciento de la riqueza neta se refiere solo al bitcoin?

No. La declaración refleja una exposición amplia a criptomonedas, principalmente ether y activos relacionados según los informes disponibles. El punto es que la mayor parte de la riqueza personal está posicionada en sistemas cuyas suposiciones de seguridad se verían sometidas a presión por los escenarios de fallo en discusión.

Descargo de responsabilidad: Este contenido tiene fines informativos únicamente y no constituye asesoramiento de inversión. Las inversiones en criptomonedas conllevan riesgos. Realiza tu propia investigación (DYOR).

Aviso: Esta página fue traducida utilizando tecnología de IA para tu conveniencia. Para obtener la información más precisa, consulta la versión original en inglés.