Miden has introduced a new approach to account design. Each account has an independent state space, executes transaction logic locally, and then verifies state changes through zero-knowledge proofs. This is an interesting practice of the actor model on the blockchain.

The truly clever part lies in the way accounts interact—they do not communicate directly but exchange information through the "notes" mechanism. The on-chain verifier's work is also greatly simplified: there is no need to re-execute each operation step-by-step, only to verify these cryptographic proofs. As a result, the entire system ensures security while significantly reducing verification costs. This approach represents a notable breakthrough for scalability.