Miden's edge execution model is intriguing—transactions run directly on user devices, with ZK proofs handling verification. Sounds great on paper. Reality check though: while execution itself stays lightweight, proof generation becomes the bottleneck. Mobile devices especially feel the strain. The architecture has real potential, but the computational overhead of generating those proofs at the edge is something the team still needs to crack.