迪拜时间-2021年11月16日

Polygon宣布推出了PolygonMiden，这是一个基于STARK的、与EVM兼容的扩展解决方案，并将开源其核心组件的早期原型版本，即PolygonMiden虚拟机。PolygonMiden由前领导开发Winterfell技术的Facebook前核心零知识证明技术研究员领导。

PolygonMiden是Polygon孵化的项目之一，该项目价值10亿美元。Polygon还推出了其他基于零知识的解决方案，包括最近收购的Hermez Network（现为Polygon Hermez）和Polygon Nightfall。这些解决方案的目标是提高区块链的可扩展性，并促进以太坊的大规模采用。

PolygonMiden是基于STARK的ZKRollup。Rollup可以减少拥堵和交易成本，但目前很难支持任何逻辑和交易。PolygonMiden使用其核心组件解决了这个问题，即Miden虚拟机（VM）。

PolygonMidenVM是第一个完全开源的基于STARK的虚拟机。它的功能是验证程序执行并为dapp部署提供尽职调查，以加强安全性。Polygon旨在在不牺牲安全性的情况下缓解以太坊的扩张问题，如高gas成本和速度慢。

Miden在虚拟机上执行的任何程序都会通过自动生成STARK的执行证明来验证是否正确执行。因此，重新执行程序的需要大大简化，甚至不需要知道程序是什么，这加快了DeFi应用程序和加密货币的部署。

ZK证明和工具对于稳定、快速、高交易和安全的区块链交易的发展至关重要。正是因为它能够正式验证代码并减少部署中漏洞的风险利用能力，MidenVM成为开发人员的强大工具。

MidenVM是基于DistaffVM的虚拟机，Distaff是一个用Rust语言编写的零知识虚拟机。Polygon的核心开发人员将加入Polygon并继续开发MidenVM及其周围的生态系统。

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

Polygon已开始快速扩展MidenVM功能集，并将其开发为产品级、开源、透明的证明系统。Polygon团队计划通过多语言范式和以区块链为中心的安全性来提高VM的可行性。

Polygon是以太坊的扩建和基础设施开发平台。其产品套件使开发人员能够轻松访问各种扩展和基础设施解决方案。Polygon的扩展解决方案已被广泛使用，托管了大量应用程序，处理了大量交易并保护了大量资产。

以太坊开发者可以利用Polygon为其Dapp提供快速安全的区块链交易。