En el ecosistema de las tecnologías descentralizadas y la seguridad informática, existe una jerarquía informal de desafíos, porque si el cifrado de datos es el nivel básico y las pruebas de conocimiento cero (ZKPs) representan el nivel avanzado, hay un concepto que se erige de manera solitaria en la cúspide.
Los matemáticos y desarrolladores suelen referirse a él con reverencia y cierta dosis de frustración, y no es para menos pero Vitalik Buterin, cofundador de Ethereum, acaba de bautizarlo de forma definitiva en su último ensayo técnico como el “jefe final” de la criptografía y se trata de la Ofuscación de Indistinguibilidad (iO).
El planteamiento de Buterin no solo analiza la anatomía matemática de este coloso, sino que lanza un mapa de ruta para resolver el que probablemente sea el problema más abstracto, complejo y potencialmente revolucionario de la informática moderna.
Buterin, está en un punto de crear una tecnología tan potente que, en su estado teórico actual, requeriría más tiempo para ejecutar un solo programa que toda la vida útil del universo, lo que es una brecha de espacio-tiempo, virtualmente inalcanzable.
Para entender el entusiasmo de Buterin, primero hay que comprender la naturaleza del problema, ya que tradicionalmente, la criptografía se ha encargado de ocultar datos. El cifrado tradicional esconde el mensaje; los sistemas modernos como el Cifrado Completamente Homomórfico (FHE) permiten operar con esos mensajes sin leerlos.
Sin embargo, el código que ejecuta la acción —el software, las reglas del juego, los algoritmos— siempre permanece expuesto al entorno que lo procesa y es por ello, que la ofuscación matemática pretende romper esta limitación.
Su objetivo es tomar un programa informático, desordenar y transformar su estructura interna de tal manera que sea absolutamente incomprensible para cualquiera que lo inspeccione, pero manteniendo intacta su funcionalidad original.
Si introduces una entrada en esta caja negra, obtendrás la salida correcta, pero jamás podrás deducir cómo se calculó por dentro, por lo que Buterin describe esto como el equivalente matemático de un “tercer actor de confianza”.
A ten-thousand word monster post trying to cover the entire tech tree behind the main lineage of obfuscation (iO) protocols:https://t.co/46nseINlwF
Special thanks to all who helped! pic.twitter.com/Uyh8OAAQ2t
— vitalik.eth (@VitalikButerin) June 29, 2026
En el mundo real, si queremos realizar una votación secreta o un contrato complejo, solemos depender de un intermediario (un banco, un comité multifirma o un servidor centralizado), pero la combinación de la ofuscación con una blockchain elimina esta necesidad por completo.
Concretamente, esto permite crear programas autónomos que guardan secretos comerciales, ejecutan lógicas privadas en redes públicas y operan de forma totalmente transparente en sus resultados, pero hermética en su propiedad intelectual.
El verdadero núcleo del artículo de Buterin no es la definición del concepto —cuya viabilidad matemática quedó demostrada teóricamente a principios de esta década— sino su absoluta impracticabilidad en el mundo real.
Para construir este “jefe final”, los criptógrafos han tenido que edificar una estructura teórica acumulativa, algo así como una “torre” de conceptos apilados donde cada planta sostiene a la siguiente.
Esta torre combina tres de los mayores hitos de la informática teórica: los Circuitos Garbled (diseñados para evaluar funciones ocultando valores intermedios), el Cifrado Completamente Homomórfico (FHE) y el Cifrado Funcional Sucinto (XiO), que comprime y empaqueta los resultados de manera recursiva para evitar que el tamaño del programa explote exponencialmente.
El resultado es un Frankenstein matemático, porque en el papel, los algoritmos son “polinómicos”, lo que en informática significa que son computables y en la práctica, pertenecen a la categoría de lo que los científicos llaman “algoritmos galácticos”.
Debido a la necesidad de evaluar multiplicaciones bit a bit dentro de múltiples capas de cifrado homomórfico recursivo, el tiempo de ejecución estimado para operaciones medianamente complejas excede la edad del universo físico, es una catedral matemática perfecta que no se puede usar.
Fiel a su estilo pragmático y analítico, Buterin no se limita a señalar el muro, sino que plantea la gran pregunta: ¿Qué hacemos ahora?. Para el cofundador de Ethereum, el estancamiento no es una opción, y divide el futuro de la investigación criptográfica en tres vías diferenciadas que definirán la próxima década del sector.
La primera ruta es la optimización de la torre actual, un camino que implica aceptar los supuestos de seguridad vigentes (basados principalmente en la criptografía de retículos) pero simplificar drásticamente los engranajes internos.
Buterin sugiere que matemáticos ingeniosos o incluso alguna IA, podrían encontrar formas de fusionar componentes críticos (como el cifrado funcional y la XiO) en un solo dispositivo teórico, permitiendo calcular multiplicaciones directamente sin interactuar con los valores de los cables en texto plano.
De hecho, no es una idea descabellada porque Buterin traza un paralelismo directo con los argumentos de conocimiento cero (SNARKs). En 2010, los SNARKs eran considerados curiosidades académicas ridículamente lentas; hoy se ejecutan en milisegundos en cualquier smartphone gracias a más de una década de refinamiento algebraico.
La segunda opción es mucho más audaz porque pasa por adoptar supuestos de retículo más agresivos, es decir, en lugar de construir una torre barroca de diez niveles para garantizar la seguridad bajo los estándares más conservadores, los desarrolladores podrían diseñar una estructura radicalmente más simple, asumiendo ciertas propiedades matemáticas más fuertes (y por tanto, con un margen de riesgo mayor) dentro de la geometría de retículos.
Esto es el equivalente a construir un puente con materiales más ligeros y técnicas experimentales, lo que requiere menos recursos, pero exige una confianza ciega en la nueva física de los materiales.
Por último, la tercera vía representa la ruptura absoluta encontrando una forma de ofuscar que no use retículos en absoluto, pero esto requeriría, en palabras del propio Vitalik, “inventar una nueva categoría de supuestos criptográficos”, porque sería abandonar el paradigma que ha dominado la investigación de la última década para buscar una rama matemática completamente nueva.
De manera que, el análisis de Buterin es una llamada de atención para una industria tecnológica a menudo obsesionada con las ganancias a corto plazo y las optimizaciones marginales pero al enfocar su atención en la ofuscación de indistinguibilidad, nos recuerda que las verdaderas revoluciones operan en plazos de tiempo mucho más amplios.
Por lo tanto, el “jefe final” de la criptografía sigue invicto y custodiando la frontera de la privacidad absoluta. Sin embargo, al desglosar el mapa de sus debilidades y definir las tres rutas para debilitar su armadura matemática, Buterin ha transformado un problema aparentemente imposible en un plan de trabajo concreto para la comunidad científica mundial.
Así que, la carrera para domesticar el protocolo definitivo no ha hecho más que empezar y está siendo desarrollado, por personas que han estado creando un mejor y más seguro ecosistema cripto para todos.