Vitalik Buterin publicó una nueva entrada en su blog en la que presenta la ofuscación criptográfica como el "jefe final de la criptografía" y repasa décadas de trabajo sobre la ofuscación por indistinguibilidad, o iO.
Buterin señaló a la iO basada en retículas como la línea más rigurosa que han producido los investigadores, al tiempo que advirtió que las construcciones actuales siguen siendo profundamente poco prácticas. Sus requisitos computacionales, escribió, son "literalmente galácticos", varios órdenes de magnitud por encima de lo que el hardware actual puede asumir.
Por qué importa
Un esquema de iO eficiente permitiría que un único programa ocultara su propia lógica y, aun así, fuera verificable, reduciendo toda una pila de primitivas criptográficas a una sola herramienta. Los investigadores llevan más de dos décadas persiguiendo esta construcción porque abriría la puerta al cifrado funcional, a la ejecución trustless de contratos inteligentes sobre entradas privadas y a sistemas de prueba que no filtren su estructura interna.
Impacto en el mercado
Lo que importa más de la intervención de Buterin no es su pesimismo, sino su encuadre. Llamar a la ofuscación el "jefe final" del campo indica que la comunidad investigadora central de Ethereum la trata como el problema canónico sin resolver, lo que orienta el dinero de las subvenciones, la colaboración académica y los supuestos sobre los que se construye la hoja de ruta del protocolo. La vía realista a corto plazo que describió, ya sea la optimización incremental de retículas, supuestos más audaces o alternativas fuera de las retículas, mantiene la puerta abierta sin comprometerse con ningún calendario.
Preguntas frecuentes
-
¿Qué es la ofuscación por indistinguibilidad (iO)?
La ofuscación por indistinguibilidad es una primitiva criptográfica que permite a un programa ocultar su propia lógica y, aun así, permanecer verificable. Si fuera práctica, colapsaría en una sola herramienta toda una pila de primitivas, incluyendo el cifrado funcional y la ejecución privada de contratos inteligentes.
-
¿Por qué Vitalik Buterin llamó a la ofuscación el "jefe final de la criptografía"?
Buterin enmarcó la iO como el problema canónico sin resolver que el campo lleva más de dos décadas persiguiendo, ya que un esquema funcional abriría la puerta al cifrado funcional, a la ejecución trustless sobre entradas privadas y a sistemas de prueba que no filtren su estructura interna.
-
¿Por qué las construcciones actuales de iO son poco prácticas?
Buterin escribió que los esquemas rigurosos actuales, basados en criptografía de retículas, tienen requisitos computacionales que él mismo describe como "literalmente galácticos", varios órdenes de magnitud por encima de lo que el hardware actual puede absorber.
-
¿Qué vías de avance planteó Buterin?
Identificó tres: optimizar los diseños basados en retículas existentes, asumir supuestos criptográficos más audaces para reducir el coste, o descubrir métodos alternativos fuera de las retículas. Ninguna lleva un calendario asociado.
-
¿Por qué esto importa para Ethereum?
Llamar a la ofuscación el "jefe final" indica que la comunidad investigadora central de Ethereum la trata como el problema canónico sin resolver, lo que condiciona la asignación de subvenciones, la colaboración académica y los supuestos que sostienen el diseño de protocolo a largo plazo.