Le modèle d'exécution de Miden est intrigant : les transactions s'exécutent directement sur les appareils des utilisateurs, avec des preuves ZK gérant la vérification. Cela semble formidable sur le papier. Cependant, il faut être réaliste : bien que l'exécution elle-même reste légère, la génération des preuves devient le goulot d'étranglement. Les appareils mobiles ressentent particulièrement la pression. L'architecture a un réel potentiel, mais la surcharge computationnelle liée à la génération de ces preuves à la périphérie est quelque chose que l'équipe doit encore résoudre.