Polygon 推出基于zk-STARKs的先进扩容解决方案 Miden

Polygon-Matic • 2021-11-16

Polygon Miden 将通过使用先进的零知识密码学技术STARK来压缩交易，然后在以太坊上验证它们，从而增强 Polygon 的可扩展性和安全性。

image_20211116_19021011024x512.webp

详细内容：Polygon Announces Polygon Miden - A STARK-Based, Ethereum-Compatible Rollup — Polygon | Blog

迪拜时间——2021 年 11 月 16 日——Polygon——一个已经吸引了数百万人使用Web3产品的以太坊扩容平台，于今日宣布推出 Polygon Miden，一种基于 STARK 的、与 EVM 兼容的扩展解决方案，同时也将开源其核心组件的早期原型版本，Polygon Miden 虚拟机。

这个项目是由曾经领导研发了Winterfell技术的Facebook前核心零知识证明技术研究员领导。

Polygon Miden 是Polygon的价值10亿美元的ZK策略资金中孵化出来的“武器”之一。Polygon的基于零知识 (ZK)其他“武器”还包括最近宣布的对 Hermez Network（现为 Polygon Hermez）的收购和Polygon Nightfall——后者是一个独一无二的与安永（Ernest & Young）共同开发构建的以隐私为重点保护的Rollup。每个方案都旨在提升区块链可扩展性并推动以太坊的大规模采用。

Polygon Miden 是一个基于 STARK 的 ZK Rollup。 Rollup 可以减少拥塞并降低交易费用，但目前它们很难支持任意逻辑和交易，这影响了它们验证所有链下交易的能力。Polygon Miden将解决这一挑战，通过使用其核心组件Miden 虚拟机 (VM) 来解决当今 ZK Rollup的最大难题之一。

Polygon Miden VM 是第一个完全开源的基于 STARK 的虚拟机。它的作用是验证程序执行并为 dapp 部署提供增强的尽职调查。它的推出推进和加速了Polygon 的使命，以在不牺牲安全性的情况下缓解以太坊的扩展问题，例如高昂的 gas 费用和缓慢的速度。

在Miden虚拟机上执行的任何程序，将通过自动生成的基于 STARK 的执行证明，来验证程序是否正确执行。从而消除了重新执行程序的必要，甚至不需要知道程序是什么——大大简化和加速了 DeFi 应用程序和加密货币的安全部署。

ZK 证明和工具（例如 Miden VM）对于开发稳健、快速、高交易和安全的区块链交易至关重要，因为它们支持在彼此未知的各方之间处理和验证链上证明的能力。正是因为能够正式验证代码、提供有效性的加密证明以及降低部署时的漏洞利用风险能力，使得Miden VM成为开发人员的强大工具。

Miden VM 是基于 Distaff VM的虚拟机，Distaff是一个用Rust语言编写的零知识虚拟机。Miden VM 通过利用Facebook的Novi开发的STARK证明器/验证器Winterfell对 Distaff 进行扩展。Winterfell抽象化了密码证明系统的所有复杂性，这意味着开发人员无需成为密码学家，也无需理解零知识证明才能够使用。从终端用户的角度来看，Miden只不过是一个普通的基于堆栈的具有线性读写内存的虚拟机。

Distaff VM和Winterfell的核心开发人员Bobbin Threadbare将加入 Polygon 作为 Miden Lead，致力于重新整合 Distaff，将 Distaff 和 Winterfell 结合起来，并继续开发 Miden VM 及其周围的生态系统。

Threadbare 说道：“Polygon 添加的 Miden 虚拟机代表了一个重要的垫脚石，以有助于克服依赖于计算完整性的加密证明的一些技术挑战。我期待能够帮助促进 STARK 在 Polygon 生态系统以及更广泛的安全和隐私社区中的开源实施。”

Polygon 的联合创始人 Sandeep Nailwal 表示：“ZK 是以太坊的前进之路，Miden VM 是 Polygon 以太坊可扩展性路线图中最重要的元素之一。它将简化和加速 DeFi 应用程序和加密货币的验证——提高 Polygon 生态系统的速度和规模。”

Polygon 已经开始快速扩展 Miden VM 的功能集，基于隐私设计，并将其开发为产品级别、开源且透明的证明系统。 Polygon 团队计划通过灌输以下独特特性来提高 VM 的可行性：多语言范式——实现灵活性并将使用扩展到更广泛的开发人员语言，例如由 Novi / Diem 开发的 Move；以及区块链为中心的安全性——通过集成包括静态分析、形式验证和有限的可变性等的特性来实现。

有关Polygon

Polygon 是以太坊扩容和基础设施开发的平台。其丰富且不断增多的产品套件使开发人员可以轻松访问所有主流的扩容和基础架构解决方案：L2 解决方案（ZK Rollups 和 Optimistic Rollups）、侧链、混合解决方案、独立链和企业链、数据可用性解决方案等。 Polygon 的扩展解决方案已被广泛采用，托管了 3000 多个应用程序，处理了约 6 亿笔交易，约 6000 万个唯一用户地址，以及 5B 美元以上的资产安全。

如果您是以太坊开发者，那么您已经是 Polygon 开发者了！利用 Polygon 为您的 Dapp 提供快速且安全的区块链交易，从这里开始。