Polygon Miden网络：具有客户端执行的边缘区块链

1. 引言

LambdaClass与Miden已合作超过18个月，这段合作关系始于帮助 Miden 开发客户端，为 Miden 网络提供交易执行和证明的支持。随着时间推移，双方的合作不断加深，工作也扩展到了协议和节点的开发上，涵盖了多个方面。最近，LambdaClass开始协助Miden编译器的开发，进一步扩大了其在 Miden 生态中的参与。

Miden 是一条边缘区块链：

• 一条专为高吞吐量、隐私应用打造的rollup链，
• 由基于 STARK 的虚拟机 Miden-VM 提供支持。

Miden 利用ZK零知识技术，旨在同时实现两个目标：

• 隐私状态管理和高度可扩展性。

这两个特性对于现实世界中的应用至关重要，使用户能够选择他们想要共享的数据，并处理大量交易。其基于 Actor 的模型支持并发交易，并确保交易数据不会暴露在区块链中，这不仅实现了数字现金功能，也让用户可以选择哪些信息在账本中公开。因此，Miden 能够高效扩展，同时支持公开交易与私密交易，满足多样化需求。

在 Miden 中，账户持有资产，并可定义转移资产的规则。数据可以是公开的也可以是私密的，存储于 Miden 节点中。Notes 是一种资产转移和账户间交互的方式，其中包含脚本，定义该 note 如何被消费。note 的转移可以是异步和私密的。如果是私密 note，仅其哈希值会存储在链上。

资产转移分为两个步骤：

• 首先，发送方生成 note 并更新其内部状态；
• 其次，接收账户执行一笔新交易以消费该 note 并更新其状态。

Miden 跟踪账户状态、新建的 notes，以及已消费 notes 的 nullifier。

Miden-VM 是一个基于 STARK 的虚拟机，拥有自定义的指令集架构（ISA），采用 ZK 友好的原语以提升证明效率。该虚拟机使用 MiniGoldilocks 域（$2^{64}-2^{32}+1$）及其扩域，具备快速算术能力。由于其专用的指令集，程序需要用 Miden 汇编语言编写。开发支持通用编程语言（如 Rust）的编译器，将使开发者能够编写高级代码并将其编译为 Miden 汇编语言，从而实现可证明应用的简化开发。

实现上述所有特性需要大量工程投入和深思熟虑，而 Miden 在其希望为用户与客户端提供的功能方面做出了正确的选择，并始终保持完全开源，与他人共享其成果与见解。

LambdaClass团队对 Miden 的热情来源于其为区块链领域提供了一种创新的方式：

• Miden通过快速的客户端证明实现合规隐私。
  • 其设计与架构借鉴了 Actor 模型，简单而优雅却极具威力，可实现并行交易执行和批处理，极大提升吞吐量和扩展性，同时最小化状态膨胀。
  • 其成熟的代码库为开发者解决复杂问题提供了有力支持，与 LambdaClass团队 的价值观高度契合。

展望未来，LambdaClass团队将继续致力于推动 Miden 的使命，助力其为用户和开发者释放更多潜力与可能性。

参考资料

[1] LambdaClass团队2025年5月5日博客 Lambda’s new strategic partnership with Miden: the Edge blockchain
[2] LambdaClass团队2023年12月27日博客 Lambdaworks as a drop-in replacement for Winterfell to prove the Miden-VM