Do ponto de vista do design de arquitetura, @0xMiden não optou por competir diretamente com os principais L2 em termos de desempenho.

A sua premissa de design é bastante clara:
A blockchain não precisa executar pessoalmente todos os cálculos, mas deve ser capaz de verificar rigorosamente a legalidade de cada alteração de estado.
Portanto, o @0xMiden desloca o processo de execução complexo para o dispositivo local do utilizador, mantendo na cadeia apenas a responsabilidade mínima de validação — isto é, uma redefinição da «responsabilidade da cadeia» e uma diferença fundamental em relação à maioria dos L2 de execução.

Por isso, se o objetivo for aplicações com lógica simples, estado público e cálculos leves, o @0xMiden não oferece vantagens e pode até ser um peso adicional.
A sua arquitetura claramente foi preparada para outro tipo de sistema:
Aqueles que necessitam de execução local, estado complexo, cálculos privados e uma exigência rígida quanto à veracidade dos resultados.
Sob essa perspetiva, o @0xMiden parece mais servir a própria «complexidade» do que simplesmente buscar escala.