很多系統把鏈上狀態當作「共享資料庫」，

所有計算圍繞這份公共狀態展開。

@0xMiden 的帳戶模型明顯不同。
在這裡，帳戶更像是一個自帶約束的狀態機，
每一次狀態變化，本身就是一個需要被證明的計算過程。

這帶來一個重要結果：
狀態增長不再必然意味著驗證成本失控，
因為狀態變化從設計上就是可驗證單元。

這並不會讓開發變得更輕鬆，
但它讓複雜系統的長期運行在工程上更可控。