Model eksekusi Miden yang menarik—transaksi berjalan langsung di perangkat pengguna, dengan bukti ZK menangani verifikasi. Terdengar hebat di atas kertas. Namun, kenyataannya: meskipun eksekusi itu sendiri tetap ringan, pembuatan bukti menjadi hambatan. Perangkat mobile terutama merasakan beban tersebut. Arsitekturnya memiliki potensi nyata, tetapi beban komputasi dalam menghasilkan bukti tersebut di edge adalah sesuatu yang masih perlu dipecahkan oleh tim.