La primera vez que conocí @0xMiden, noté un detalle:

No se obsesiona con "llevar todo a la cadena".

En el diseño de @0xMiden, la ejecución ocurre en el cliente, y la cadena solo realiza la validación.
En otras palabras, la cadena ya no es el trabajador incansable, sino el árbitro.

Esta estructura es naturalmente adecuada para las pruebas de conocimiento cero, y también hace que la privacidad deje de ser una opción adicional, para convertirse en una capacidad por defecto.
Demuestras que hiciste lo correcto, pero no tienes que revelar cómo lo hiciste.

Desde una intuición técnica, este modelo es mucho más elegante que simplemente apilar potencia de cálculo.
@0xMiden resuelve un problema de estructura del sistema, no un problema de parámetros.