La ofuscación se considera la primitiva más poderosa de la criptografía: permite convertir cualquier programa en una caja negra que produce la salida correcta sin revelar su funcionamiento interno. Combinada con una cadena de bloques, permitiría construir, entre otros, sistemas de votación seguros, privados y resistentes a la colusión sin necesidad de comités umbrales M de N, así como buena parte de las aplicaciones enumeradas en textos clásicos sobre DAOs de compartición de secretos.
El artículo, primera parte de una serie, recorre el estado del arte y las dificultades técnicas. En 2001 se demostró que la ofuscación ideal es imposible, por lo que la investigación se reorientó hacia la ofuscación por indistinguibilidad (iO). Tras dos décadas de intentos fallidos y construcción de primitivas auxiliares, en los últimos años se ha logrado demostrar iO bajo hipótesis de seguridad razonables, aunque a costa de tiempos de ejecución superiores a λ^10, donde λ es el parámetro de seguridad (habitualmente 100 o 120).
El texto compara tres familias de protocolos de ofuscación activos en una frontera de eficiencia frente a fortaleza de las hipótesis de seguridad, y se centra en la más costosa pero rigurosa: la basada en el linaje de papers AJ15, BV15, LPST15 y LPST16. Introduce los conceptos de functional encryption sucinta y XiO, y describe paso a paso la construcción simplificada de LPST15 para combinar ofuscación y blockchain hasta aproximarse a un «tercero de confianza sin confianza».