Polygon推出了基于zk-STARKs的高级扩展解决方案Miden

日期：2023年04月16日 08:08 浏览量：1

Polygon Miden使用高级零知识加密技术STARK压缩事务并在以太体上进行验证，从而提高Polygon的可扩展性和安全性。

详细信息： polygonannouncespolygonmiden-astark-based，ether eum-compatible roll up-polygon|blog

迪拜时间——2021年11月16日，——Polygon——在一个以太网扩展平台上今天发布了Polygon Miden，其中已经有数百万人在使用Web3产品、与EVM兼容的基于STARK的扩展解决方案，核心组件的早期原型版本Polygon Miden虚拟机也将开放源代码。

该项目由曾经指导Winterfell技术开发的Facebook前核心零知识证明技术研究人员指导。

Polygon Miden是Polygon亿美元ZK战略资金中孵化的“武器”之一。其他基于Polygon零知识(ZK )的“武器”包括最近发布的收购Hermez Network、以及Polygon Nightfall—— (安永)和Ernest Young )共同开发和构建的独一无二。每个方案都旨在提高区块链的可扩展性，推动以太网的大规模采用。 [ xy 002 ] [ xy001 ]多边形是基于STARK的ZK Rollup。 Rollup可以减少拥挤，降低交易费用但目前，它们很难支持任意逻辑和交易，影响了验证所有链条上交易的能力。 Polygon Miden将解决这个问题通过使用的核心组件Miden虚拟机(VM )，解决了当今ZK Rollup的最大挑战之一。

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

[ xy001 ]在miden虚拟机上运行的程序通过自动生成的基于STARK的执行证书验证程序是否成功运行。不再需要重新运行程序，——甚至不需要知道程序是什么，大大简化和加速了defi APP识别和加密货币的安全部署。 [ xy 002 ] [ xy001 ] 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作为Miden Lead加入Polygon，致力于Distaff的重新集成，Distaff和Winterfell相结合，继续开发Miden VM及其周边的生态系统。

Threadbare说： “Polygon添加的Miden虚拟机是克服加密证书依赖于计算完整性的技术挑战的重要垫脚石。我们期待着促进STARK开源在Polygon生态系统和更广泛的安全和隐私社区中的实施。 ”

Polygon的联合创始人Sandeep Nailwal表示：“ZK是以太体的前进之路，而Miden VM是Polygon以太体可扩展性路线图中最重要的要素之一。简化并加速defi APP和加密货币验证——，以提高Polygon生态系统的速度和规模。 “

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

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

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

Telegram Polygon中文开发者组： https://t.me/polygon China _ dev [ xy 002 ][ xy001 ] discord:https://discord.gg/bqgjrhzsmn (有中文开发者Channel )

Github Polygon中文开发者页面： polygon-academy/polygon-in-Chinese (github.com) )。

Polygon推出了基于zk-STARKs的高级扩展解决方案Miden

推荐阅读