Vitalik Buterin nombra la ofuscación de indistinguibilidad como el problema más difícil de la criptografía

Ethereum co-founder Vitalik Buterin publicó un análisis el 29 de junio de 2026, en el que calificó la ofuscación de indistinguibilidad (iO) como el problema no resuelto más difícil de la criptografía. Los esquemas actuales de iO son técnicamente funcionales, pero tienen tiempos de ejecución que, según estimaciones de Buterin, superan la edad del universo por muchos órdenes de magnitud. El avance es crítico para aplicaciones blockchain porque una implementación exitosa de iO permitiría sistemas de votación sin confianza y contratos inteligentes privados sin necesidad de terceros de confianza.

Buterin Explica la Mecánica de la Ofuscación de Indistinguibilidad

En su publicación de blog, Buterin describió iO como una técnica criptográfica que oculta el código en sí mismo, distinguiéndola del cifrado (que oculta datos en tránsito) y las pruebas de conocimiento cero (que verifican datos sin revelarlos). La ofuscación mezcla la lógica interna de un programa para que los observadores no puedan determinar cómo funciona, incluso mientras lo ven ejecutarse.

La ofuscación de indistinguibilidad específicamente significa que si dos programas producen resultados idénticos usando lógica interna diferente, las versiones ofuscadas no pueden distinguirse entre sí. El programa se ejecuta, genera resultados reales y no revela nada sobre sus procesos internos.

iO Permite Protocolos Blockchain sin Confianza

Buterin vinculó directamente iO con casos de uso de blockchain en su análisis. Los programas ofuscados no pueden mantener estado, como saldos o registros de transacciones, porque no pueden evitar ser copiados. Las cadenas de bloques proporcionan la infraestructura de mantenimiento de estado que los programas ofuscados no tienen.

Combinar programas ofuscados con cadenas de bloques crea lo que Buterin describió como un "tercero de confianza sin confianza": un sistema que aplica reglas, procesa entradas y produce resultados honestos sin requerir confianza en los constructores. Una aplicación que Buterin mencionó es un sistema de votación seguro, privado y resistente a la manipulación, sin comité multifirma, sin configuración confiable por parte de un grupo pequeño y sin suposición de que algunos participantes sigan siendo honestos.

Investigadores Logran Construcciones de iO Demostrablemente Seguras

Los investigadores han perseguido iO demostrablemente segura durante aproximadamente 20 años. Los enfoques iniciales fueron repetidamente rotos. Buterin hizo referencia a un resultado de 2001 que muestra que la versión ideal de ofuscación es matemáticamente imposible, lo que llevó a los investigadores a centrarse en iO como el siguiente mejor objetivo.

En los últimos años, los criptógrafos desarrollaron construcciones que logran iO bajo lo que Buterin llamó "suposiciones de seguridad razonables". Estas construcciones representan un progreso genuino en el campo.

Los Esquemas Actuales de iO Enfrentan Limitaciones de Tiempo de Ejecución

Los esquemas actuales de iO son técnicamente polinomiales, lo que significa que escalan con el tamaño de la entrada en lugar de explotar exponencialmente. Sin embargo, Buterin describió la sobrecarga real como "galáctica". Los esquemas apilan varias capas de herramientas criptográficas avanzadas unas dentro de otras, con cada capa envolviendo a la inferior.

El resultado es un sistema donde procesar una sola entrada requiere factores de sobrecarga estimados por encima de 10 elevado a la décima potencia. Los requisitos de seguridad empujan los tamaños de los textos cifrados a ser miles de veces más grandes que las construcciones estándar. La estimación de Buterin sitúa los tiempos de ejecución esperados de los esquemas actuales más allá de la edad del universo.

Buterin Esboza Tres Rutas de Investigación

Buterin esbozó tres caminos que los investigadores están siguiendo para hacer práctico iO. El primer camino implica optimizar las construcciones existentes usando ingeniería más inteligente y asistencia de IA para reducir la sobrecarga en cada cuello de botella, similar a cómo el rendimiento de SNARK mejoró drásticamente después de 2010.

El segundo camino construye iO usando suposiciones criptográficas más agresivas pero más simples, intercambiando rigor teórico por velocidad práctica. El tercer camino busca un enfoque completamente nuevo para la ofuscación, posiblemente fuera de las matemáticas basadas en retículas que sustentan la mayor parte del trabajo actual.

El Éxito de iO Transformaría los Protocolos Criptográficos

Buterin afirmó que el éxito en cualquiera de estos caminos produciría una versión de la criptografía donde cualquier protocolo describible con un tercero de confianza puede construirse sin uno. Las aplicaciones incluyen contratos inteligentes privados, sistemas de credenciales anónimas, computación cifrada sobre datos sensibles y sistemas de gobernanza resistentes a la manipulación interna.

"Si tenemos éxito en cualquiera de los dos caminos, la recompensa es alta: hay un sentido real en el que habremos 'resuelto la criptografía': cualquier protocolo que pueda describirse utilizando un tercero de confianza idealizado, siempre que se permita al adversario retroceder el reloj, será implementable de forma segura. Pero llegar allí sigue siendo un desafío formidable", escribió Buterin. Añadió que, aunque la tecnología no está lista, la hoja de ruta está más clara que nunca.

FAQ

¿Qué identificó Vitalik Buterin como el problema no resuelto más difícil de la criptografía el 29 de junio de 2026?

Vitalik Buterin nombró la ofuscación de indistinguibilidad (iO) como el problema no resuelto más difícil de la criptografía en un análisis publicado el 29 de junio de 2026. Explicó que, si bien los esquemas actuales de iO son técnicamente funcionales, tienen tiempos de ejecución que superan la edad del universo por muchos órdenes de magnitud.

¿Cuáles son las tres rutas de investigación que Buterin esbozó para hacer práctico iO?

Buterin esbozó tres caminos: optimizar las construcciones existentes mediante mejoras de ingeniería y asistencia de IA, construir iO con suposiciones criptográficas más simples pero más agresivas, y descubrir un enfoque completamente nuevo para la ofuscación fuera de las matemáticas basadas en retículas actuales. Afirmó que el éxito en cualquier camino permitiría protocolos como la votación sin confianza y los contratos inteligentes privados.

¿Por qué necesita blockchain la ofuscación de indistinguibilidad?

Buterin explicó que los programas ofuscados no pueden mantener estado, como saldos o registros de transacciones, porque no pueden evitar la copia. Las cadenas de bloques proporcionan la infraestructura de mantenimiento de estado que los programas ofuscados no tienen. Combinar ambos crea un "tercero de confianza sin confianza" que aplica reglas y produce resultados honestos sin requerir confianza en los constructores.