Confidencialidad: Vitalik Buterin relanza el desafío de la ofuscación criptográfica

La confidencialidad se está convirtiendo en un campo de investigación cada vez más importante para la criptografía moderna. El viernes, Vitalik Buterin publicó la tercera parte de su serie dedicada a la ofuscación criptográfica. Esta vez, estudia la «mezcla local», un método que abandona las redes y las curvas elípticas. Su enfoque se inspira más bien en las funciones hash y la criptografía simétrica. Esta pista oculta la lógica interna de un programa mientras conserva su funcionamiento, con implicaciones para la confidencialidad en blockchain.

Otro camino criptográfico para la ofuscación

En sus dos primeros textos, Vitalik Buterin, fundador de Ethereum, había estudiado construcciones basadas en redes. La primera parte se publicó el 29 de junio. La segunda, dedicada al diamante iO, salió el 28 de julio. Con esta parte, cambia de dirección. La mezcla local no utiliza ni curvas elípticas, ni factorización en números primos, ni redes en su diseño.

Según él, este método se acerca a la criptografía simétrica. Sirve como base para el cifrado y las funciones hash. El principio consiste en trabajar sobre un circuito formado por puertas lógicas como XOR, AND y NOT. El proceso conserva la salida, mientras borra las huellas de la lógica interna.

El circuito atraviesa varias etapas antes de la ofuscación. Vitalik Buterin describe, en su último artículo, especialmente la reversibilidad, el endurecimiento, la gadgetización y la mezcla. Durante esta fase, puertas inútiles complican su análisis. La disposición cambia, mientras que algunos bloques son reemplazados por otros que producen el mismo cálculo.

Vitalik Buterin apuesta por la reversibilidad y el enmascaramiento

La reversibilidad juega un papel central en el funcionamiento presentado. Una puerta reversible puede ser reescrita con otro conjunto de puertas reversibles con comportamiento idéntico. Esto facilita estas transformaciones. Por el contrario, una puerta AND u OR ofrece menos posibilidades para aplicar este tipo de reescritura.

La mezcla sola no es suficiente para ocultar la estructura del programa. Por ello, las otras etapas deben realizar considerable parte del trabajo. El endurecimiento y la gadgetización refuerzan la transformación antes de su oscurecimiento final. El objetivo sigue siendo preservar el cálculo, mientras se dificulta encontrar su lógica interna.

Este método busca ir más allá de una mínima modificación visual del código. El circuito se vuelve gradualmente más complejo de examinar. La confidencialidad se basa entonces en la dificultad de entender su organización a pesar de conservar sus salidas. Esta lógica sitúa la transformación del circuito en el centro del enfoque.

Una pista aún arriesgada para la ofuscación

Vitalik Buterin describe la mezcla local como una «apuesta arriesgada y audaz». Esta reserva proviene principalmente de su vínculo con numerosos intentos fallidos en criptografía de caja blanca. Los autores consideran que esfuerzos adicionales podrían fortalecer este enfoque. También aceptan un coste más alto para una construcción más robusta.

La inteligencia artificial aparece en esta reflexión. Podría condensar tres décadas de desarrollo de funciones hash en solo unos años. Esta posibilidad distingue la mezcla local de los enfoques basados en redes. En estos enfoques, el compromiso se basa en las hipótesis de seguridad.

Para él, la ofuscación representa así una frontera especialmente compleja de la criptografía. La había calificado como el «jefe final de la criptografía» en su publicación de junio. Algunas construcciones rigurosas también muestran tiempos de ejecución superiores a la duración de la vida del universo. La cuestión, por tanto, es la seguridad y la viabilidad.

El interés de esta investigación proviene sobre todo de sus aplicaciones. La ofuscación puede transformar un programa en una versión cifrada, manteniendo entradas clásicas y las mismas salidas. Asociada a una blockchain, podría contribuir a votaciones privadas resistentes a la colusión. Podría así reducir la necesidad de confiar en un comité M sobre N para garantizar el proceso.

El futuro permitirá sobre todo evaluar si la mezcla local puede superar sus límites actuales. Vitalik Buterin mantiene un enfoque prudente frente a una técnica aún asociada a varias dificultades. Sin embargo, los avances en criptografía y en la IA podrían modificar las capacidades disponibles. La viabilidad, por tanto, dependerá de su seguridad, coste y eficacia.