迪拜时间-2021年 11 月 16日——Polygon——一个已经吸引了数百万人使用Web以太坊扩容平台3产品，今宣布推出 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它是以太坊扩建和基础设施开发的平台。其丰富而不断增加的产品套件使开发人员能够轻松访问所有主流的扩展和基础设施解决方案：L2 解决方案（ZK Rollups 和 Optimistic Rollups）、侧链、混合解决方案、独立链和企业链、数据可用性解决方案等。Polygon 扩展解决方案已被广泛使用。它托管了3000多个应用程序，处理了约6亿笔交易，约6000个唯一的用户地址和 5B 美元以上资产安全。

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