我对@0xMiden的吸引力并不是“zk L2”的标签，而是他们在工作发生的地方执行模型的明确性。大部分工作在你的设备上运行，链基本上是一个可验证的日志。 我花了一些时间阅读他们的“隐私简单地更好地扩展”帖子和Miden Book，模式是一致的：用户在本地执行，离线存储数据，并向网络发送STARK证明和承诺，而不是原始状态。隐私更便宜，而不是附加的。 在实践中，这意味着： ❯ 在用户设备上进行边缘执行，客户端证明作为默认路径 ❯ 一个确定性的STARK虚拟机，使复杂逻辑保持可预测和可验证，而无需可信设置 ❯ 一条明确针对机构级金融的路线图，获得了a16z crypto、1kx和Hack VC的2500万美元种子投资，之后从Polygon分拆出来 与典型的通过增强排序器并仍然通过一个公共管道发送所有内容的rollup相比，Miden更像是“浏览器原生的zk基础设施”，恰好结算到Ethereum。你可以选择什么是公开的，什么是私密的，网络只会看到它需要检查的内容。 如果你甚至在考虑现实世界的金融、薪资或RWA流动，我建议你尝试他们的Playground或Quick Start，实际感受一下客户端证明和边缘执行的样子，看看这在成为默认堆栈之前是什么样的。