Crear una ofuscación segura ha resultado brutalmente difícil. En 2001 se demostró que una versión ideal era imposible, lo que envió a los investigadores tras el objetivo iO más débil, un esfuerzo de aproximadamente dos décadas plagado de intentos fallidos. La buena noticia reciente es que ahora se puede construir iO bajo supuestos de seguridad razonables.
Sin embargo, la desventaja es que los tiempos de ejecución son, en palabras de Buterin, “galácticos”, eficientes en el papel pero absurdamente lentos en la práctica.
Buterin comparó el momento con el que se encontraban los SNARK, las pruebas de conocimiento cero ahora fundamentales para el escalamiento de Ethereum, alrededor de 2010, antes de que años de optimización los convirtieran de una curiosidad en una infraestructura funcional. La sugerencia es que la ofuscación podría recorrer el mismo camino desde un avance teórico hasta una herramienta utilizable, incluso si una sola ejecución hoy sería irremediablemente costosa.
Las monedas de privacidad como Monero (XMR) ya ocultan cosas en una cadena de bloques activa, entonces, ¿por qué Buterin trata esto como si no estuviera resuelto? Porque esconden cosas diferentes. Monero oculta los datos de las transacciones, como quién pagó a quién y cuánto, mediante firmas en anillo, direcciones ocultas y cantidades confidenciales.
La ofuscación en el sentido de Buterin oculta la lógica del programa, el código en sí, no los datos que fluyen a través de él. Como él dice, iO oculta el código, no los datos. Monero se ha ocupado de la privacidad de las transacciones durante más de una década, pero la ofuscación de programas nunca se ha ejecutado en producción en ningún lugar, y cerrar esa brecha es de lo que trata su publicación.
