O modelo de execução de Miden é intrigante—transações são executadas diretamente nos dispositivos dos usuários, com provas ZK lidando com a verificação. Parece ótimo no papel. No entanto, a realidade é que, enquanto a execução em si permanece leve, a geração de provas se torna o gargalo. Dispositivos móveis, especialmente, sentem a pressão. A arquitetura tem um potencial real, mas a sobrecarga computacional de gerar essas provas na borda é algo que a equipe ainda precisa resolver.