浅谈Polygon——以太坊兼容链的「互联网」( 三 )


浅谈Polygon——以太坊兼容链的「互联网」
文章图片
如上图所示 , Polygon框架分离了功能 , 允许开发者选择自己的共识机制 , 或开发自己的共识机制 , 同时保持与Polygon生态系统内其他链的互操作性 。
这种互操作性使具有不同扩展解决方案的Polygon链能够相互沟通 , 允许开发者选择定制的安全解决方案 。 Polygon还计划增加更多开箱即用的共识机制、数据库实现和其他辅助服务 。
PolygonHermez(ZK-rollup)Security
Polygon最近收购了Hermez , 一个ZK-rollup解决方案 。 Hermez正在开发一个相当于EVM的ZK-rollup , 这是一个非常有前途的二层解决方案 , 旨在使资产转移变得更加安全、同时成本更低 。 ZK-rollup将成批的交易压缩成少量的有效性证明(或zk-SNARK)形式的数据 。 然后 , 这些数据被发布到链上 , 以便对证明的正确性进行验证 。 与以太坊相比 , Hermez拥有133倍的吞吐量 , 交易成本只有十分之一 。
这种解决方案没有plasma的缺点 , 即七天的提款等待时间 , 因为不需要通过欺诈证明来挑战数据 , 因为SNARK证明在计算上很容易验证 。 然而 , 有效性证明的结构仍然是计算密集型 。 目前用户所期待的真正的解决方案还需要等待一段时间 , 与Avail一样 , ZK-rollup的未来看起来也是一片坦途 。
PolygonMiden
Polygon最近还宣布了一个新的ZK项目 , 叫做Miden , 是一个基于STARK的、与EVM兼容的rollup 。 该项目由BobbinThreadbare领导 , 他是其他ZK技术DistaffVM(一个基于STARK的虚拟机)和Winterfell(一个高性能的STARK验证器)的核心开发者 。
这个解决方案将纯粹基于STARK , 支持任意交易并自动生成执行证明 。 Miden将把Solidity代码编译成MidenAssembly , MidenVM将使用它来执行交易并生成零知识证明 。
Hermez的目标是与EMV完全兼容(在代码层面) , Miden将从使用Solidity编译开始 , 然后转向其他语言 。
结论
事实证明 , Polygon专注于为以太坊提供扩展解决方案的决定是成功的 , 因为Polygon网络在整个2021年都有爆炸性的增长 。 为了继续这种增长 , Polygon正在努力建立开箱即用的扩展和安全解决方案 , 使开发人员能够利用Polygon降低的交易成本和包容时间 。 仅仅是ZK-rollup解决方案就有超过10亿美元的资金 , Polygon有足够的资源来进一步扩大其解决方案套件 , 以帮助以太坊扩展 , 满足未来的预计网络负载 。