很多系统把链上状态当作「共享数据库」，

所有计算围绕这份公共状态展开。

@0xMiden 的账户模型明显不同。
在这里，账户更像是一个自带约束的状态机，
每一次状态变化，本身就是一个需要被证明的计算过程。

这带来一个重要结果：
状态增长不再必然意味着验证成本失控，
因为状态变化从设计上就是可验证单元。

这并不会让开发变得更轻松，
但它让复杂系统的长期运行在工程上更可控。