多数区块链系统，对用户的假设非常简单：

用户只负责发交易，执行和证明是系统层的事。

@0xMiden 对用户的假设明显更高阶。
在它的模型里，用户不是被动的请求发起者，
而是执行的第一责任人。

逻辑在用户本地运行，
证明在用户侧生成，
链只负责验证状态是否合理。

这意味着系统并不追求「降低一切复杂度」，
而是把复杂度交还给愿意承担它的参与者。

这种设计并不讨好所有人，
但它更接近真实世界中高价值行为的参与方式。