多くのシステムはオンチェーンの状態を「共有データベース」とみなしており、

すべての計算はこの公共の状態を中心に展開されている。

@0xMiden のアカウントモデルは明らかに異なる。
ここでは、アカウントは制約を持つ状態機械のようなものであり、
各状態変化は証明されるべき計算過程そのものである。

これにより重要な結果がもたらされる：
状態の増加は必ずしも検証コストの制御不能を意味しない、
なぜなら状態変化は設計上、検証可能な単位だからである。

これにより開発がより簡単になるわけではないが、
複雑なシステムの長期運用をエンジニアリング上でより制御しやすくなる。