Ofuscación (Parte III): la mezcla local

En la tercera entrega de esta serie sobre ofuscación criptográfica (iO), el autor aborda una tercera familia de protocolos bautizada como "mezcla local", distinta de las dos líneas anteriores —la conservadora basada en supuestos criptográficos estándares con sobrecarga galáctica y la "iO diamante", apoyada en retículas con sobrecarga reducida pero aún elevada—. La mezcla local prescinde de curvas elílliptic, factorización de primos y retículas; se inspira en la criptografía simétrica y en el diseño de funciones hash, donde no existen reducciones limpias a problemas matemáticos bien estructurados, sino una tradición de cincuenta años de propuestas, ataques y refinamientos sucesivos que culminó en primitivas como SHA y BLAKE. El objetivo declarado es trasladar ese enfoque a los circuitos: aplicar las propiedades que los criptógrafos simétricos han consolidado para sus bloques básicos, preservando la funcionalidad. Se trata de una apuesta arriesgada que se asienta sobre el cementerio de la criptografía de caja blanca; los autores confían en que más esfuerzo, mayor ingenio y el uso de inteligencia artificial para comprimir en pocos años las tres décadas que tardaron las funciones hash en estabilizarse podrían producir un esquema viable aunque con mayor sobrecarga. El artículo explica paso a paso el funcionamiento interno: la conversión del circuito en uno reversible (empleando puertas r57 con tres entradas y tres salidas, adecuado para poder recorrerlo en ambos sentidos), un paso de "endurecimiento" que evita que las ancillas no nulas filtren el comportamiento interno, la mezcla propiamente dicha —añadir puertas basura y reescribir pequeños fragmentos con conjuntos de puertas funcionalmente equivalentes— y, finalmente, la "gadgetización", añadida para compensar las limitaciones actuales de la mezcla frente a ciertas fugas de información. En conjunto, la pieza describe la arquitectura de un esquema que busca combinar aleatoriedad masiva con técnicas reversibles para producir un circuito ofuscado funcionalmente equivalente.