Miden implements an interesting approach called edge execution, fundamentally changing how transactions are processed.

Here's the workflow: You construct your transaction directly on your device, then generate a ZK proof to verify its validity. Rather than broadcasting the full transaction, you only send the proof to the network.

This is the key difference—the network skips the recomputation step entirely. It simply validates the proof you've provided. This architecture reduces computational overhead on-chain while maintaining cryptographic security guarantees through zero-knowledge verification.