Miden在帳戶設計上玩出了新花樣。每個帳戶擁有獨立的狀態空間，在本地執行交易邏輯，隨後通過零知識證明來驗證狀態的變化。這是actor model在區塊鏈上的一次有趣實踐。

真正聰明的地方在於帳戶間的交互方式——它們不是直接通信，而是通過"notes"機制來交換資訊。鏈上驗證器的工作也大幅簡化了：不需要逐步重新執行每一個操作，只需驗證這些密碼學證明。這樣一來，整個系統既保證了安全性，又大幅降低了驗證成本。這種思路對可擴展性來說是個不小的突破。