El modelo de ejecución de Miden es intrigante: las transacciones se ejecutan directamente en los dispositivos de los usuarios, con pruebas ZK manejando la verificación. Suena genial en teoría. Sin embargo, hay que tener en cuenta la realidad: aunque la ejecución en sí se mantiene ligera, la generación de pruebas se convierte en el cuello de botella. Los dispositivos móviles, en especial, sienten la presión. La arquitectura tiene un verdadero potencial, pero la sobrecarga computacional de generar esas pruebas en el borde es algo que el equipo aún necesita resolver.