Quando conheci @0xMiden pela primeira vez, notei um detalhe:

Ele não insiste em "levar tudo para a cadeia".

Na conceção do @0xMiden, a execução ocorre no cliente, e a cadeia apenas faz a validação.
Em outras palavras, a cadeia deixa de ser o trabalhador incansável e passa a ser o árbitro.

Esta estrutura é naturalmente adequada para provas de conhecimento zero, e faz com que a privacidade deixe de ser uma opção adicional, tornando-se uma capacidade padrão.
Você prova que fez a coisa certa, mas não precisa revelar como a fez.

Do ponto de vista técnico intuitivo, este modelo é muito mais elegante do que simplesmente acumular poder de processamento.
@0xMiden resolve problemas de estrutura do sistema, e não problemas de parâmetros.