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

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

详细内容:PolygonAnnouncesPolygonMiden-ASTARK-Based,Ethereum-CompatibleRollup—Polygon|Blog

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

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

ETH Beijing Hackathon各赛道前三名项目结果公布:4月21日消息,ETH Beijing Hackathon 各个赛道的前三名项目结果公布,Public Goods 赛道前三名:SLOAD、PADO、Puzzle3;Layer 2 赛道:GasLockR、Nirvana、Signer;Open Research 赛道:九转以太坊、0xdeadbeef、以太坊共识层中心化风险及优化方案。[2023/4/21 14:18:44]

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

马克·库班:建议美联储应立即以接近面值的价格购买银行拥有的所有证券/债务:金色财经报道,NBA达拉斯独行侠队老板、加密投资者马克·库班在社交媒体发文分析硅谷银行事件,他表示美国FDIC的25万美元保险存款补偿太低了,而且监管机构从来没有监督和警告过,硅谷银行破产会导致许多许多公司无法支付工资。马克·库班建议美联储应立即以接近面值的价格购买银行拥有的所有证券/债务,这些资产应该足以支付大部分存款。如果美联储不这么做,人们对银行系统的信任就会变成一个问题,很多银行有超过 50% 的未保险存款,这不是救助,美联储实际上是在提供现金来结束挤兑,作为回报,获得将在到期时支付的长期资产,而对于风险资产,也应该提供一些正回报。此前,马克·库班还郑重声明在硅谷银行的个人资金为0,但其投资组合在硅谷银行基本有800-1000万美元的资金敞口。[2023/3/12 12:58:38]

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

以太坊编程语言Solidity发布最新版本编译器Solidity 0.8.18,支持巴黎硬分叉:金色财经报道,以太坊编程语言Solidity发布最新版本的Solidity编译器Solidity0.8.18,新版本的功能包括:禁用CBOR元数据、支持巴黎硬分叉、弃用selfdestruct、从Yul生成EVM字节码。团队建议所有Solidity开发人员升级到版本0.8.18以利用这些改进和优化。[2023/2/2 11:43:19]

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

Circle:Genesis是其理财产品的交易对手方,客户未偿贷款为260万美元:11月17日消息,USDC发行商Circle在社交媒体发文表示:Circle Yield是一种超额抵押的定期收益率产品。Genesis在这个产品中是Circle的交易对手方。截至2022年11月16日,CircleYield客户的未偿贷款总额为260万美元,并受到稳健的抵押协议保护。目前未偿贷款余额仍处于超额抵押状态,Circle将确保贷款免受潜在损失的影响。[2022/11/17 13:15:52]

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

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

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

DistaffVM和Winterfell的核心开发人员BobbinThreadbare将加入Polygon作为MidenLead,致力于重新整合Distaff,将Distaff和Winterfell结合起来,并继续开发MidenVM及其周围的生态系统。

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

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

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

有关Polygon

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

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

TelegramPolygon中文开发者群:https://t.me/PolygonChina_Dev

Discord:https://discord.gg/bqGjrhZSMN?

GithubPolygon中文开发者页面:Polygon-Academy/Polygon-in-Chinese(github.com)?

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

[0:15ms0-0:840ms