Polygon收购Mir Protocol意欲何为?

时间:2021-12-30|浏览:110

投资并购在加密业的中心化领域非常常见,如今,这样的资本运作已经开始朝去中心化领域蔓延,大有通过资本加强技术壁垒之势。
11月26日,Polygon以4亿美元的价格收购了Mir Protocol——一家专注于ZK-rollups的初创公司。Polygon这个致力于区块链二层网络(Layer 2)的解决方案输出方,为何要以如此高价收购一家初创项目?这可能与它后续将推出新的融合项目相关。
Polygon一直将零知识 (Zero Knowledge,简称ZK) 密码学作为区块链扩展性的最终游戏,它的网络围绕着ZK技术扩张,将一切能利用该技术提升网络扩展性的方案接入自身,形成了一个高度聚焦ZK的Layer 2 网络系统。
今年8月,Polygon 宣布以 2.5 亿美元收购以太坊 L2 扩容方案 Hermez Network,并更名为 Polygon Hermez,其 26 名员工也加入了 Polygon 当时的80 人团队。随后,Polygon发布了zkEVM 虚拟机,又马不停蹄地开发了与以太坊兼容的Polygon Miden解决方案,并将初始版本开源。一边将可扩展性技术吃干榨尽,一边为网络添加隐私性技术——将专注隐私解决方案的Polygon Nightfall融入自身体系。
Polygon通过资本、技术合作等各种手段,形成了自身的ZK技术系壁垒。对于此次收购Mir Protocol,虎符研究院判断,Polygon意在基于其零知识证明技术构建一个新项目——Polygon Zero。Polygon和Mir Protocol一起在以太坊Layer2扩容解决方案上可以碰撞出怎么样的火花,目前还不得而知,「但可以明确的是,ZK-rollups目前是较为主流的以太坊区块链二层网络解决方案之一。」
虎符研究院观察到,在Polygon斥巨资收购的项目中,Mir Protocol的资金占比较大,有望为Polygon甚至ZK-rollups和整个Layer 2市场带来一些革新。在Polygon Zero还未面世前,虎符研究院的报告揭秘了被收购方Mir Protocol的技术亮点。
Mir「递归零知识证明」优化ZK-Proof
虎符研究院报告显示,Mir是一家零知识证明技术(ZK-proof)的以太坊扩容初创公司。ZK-proof是一种加密工具,可以用于创建ZK-rollups解决方案——处理交易时不需要将所有交易数据都发布到以太坊上,以此来减少以太坊上的使用区块,进而提高扩展性和降低gas费用。
Mir支持现有的去中心化应用程序,值得一提的是它还为验证者提供隐私保护,同时,减少了相对于以太坊主网1000倍的状态大小,这是因为Mir上的节点不需要下载历史数据后与以太坊(Etherscan)链上数据进行比较 。Mir水平的扩展在不牺牲安全性、可组合性和去中心化的前提下,增加了加入网络的每个节点的吞吐量。
公开信息显示,Mir的系统生成了递归零知识证明,允许通过一个小证明来验证以太坊交易。Polygon也认为Mir拥有最快的ZK-proof技术,这意味着Mir可以更快地生成证明,并在一个证明中验证更多交易。虎符研究院报告认为,探究Mir 协议的重点包括:Mir如何进行交易证明?如何降低工作量的同时保证验证的有效性?递归零知识证明实现了什么?如何实现以太坊Layer2的可扩展性?
减少状态大小
在以太坊等传统区块链中,验证交易需要访问那些与交易交互的每个账户的状态,因此节点需要存储所有活动账户的状态(即状态量)。但随着账户的增多,访问和存储将会变得非常昂贵。

Polygon收购Mir Protocol意欲何为?
所以,Mir将账户数据移到链下,个人拥有的帐户可以简单地存储在该个人的设备上。共享帐户存储在 IPFS 或其他存储层上,即不再需要存储任何账户数据,也不需要知道数据的存储位置。Mir基于「默克尔树」的方法,仅提供了有效验证账户状态的声明。可见,Mir状态大小(即验证者所需的状态量)大大减少,依靠的是将账户数据转移到链下完成。
那账户状态的有效性如何保证?Mir使用了零知识证明。
递归零知识证明
Mir 上的每笔交易都通过零知识证明进行验证。但验证零知识证明的验证成本仍然昂贵,如果验证者需要为每笔交易都验证一个证明,Mir的吞吐量将显著低于现有链的吞吐量。所以,Mir开发了一种可以递归组合的零知识证明(Recursive ZK-proof),使单个证明可以提供密码学的保证,并证明一组交易验证的有效性。即验证者的「一个证明」可以验证「一组交易」,然后向网络其余部分证明这「一组交易」是有效的,从而允许Mir使用可用的计算进行扩展,以生成递归证明。
使用递归证明来验证交易提供了两个好处:
首先,消除了验证者在加入网络时验证历史交易的需要。现有链为了允许新验证者赶上链的最新状态,往往会限制吞吐量。而Mir的新验证者只需要简单下载三个部分的内容,进行验证即可,下载内容包括一个存储着协议内创建了每条记录的可追加日志(Commitment Log) 、顶层的节点、日志中判断活动还是非活动数据的组建(Liveness Mask)。采取这样的方式,就无需限制链的吞吐量,以等待新验证者追踪。
其次,使用递归证明提高了吞吐量,因为它消除了每个节点必须验证每笔交易的要求,并允许每个节点验证交易的子集。
但第二个好处实现的方法是有问题的——节点现在需要向网络证明其经过验证的交易集是有效的。
为此,Mir对「提供验证的交易集有效」的解决方法是——分片。但现有的博弈论分片设计需要更强大的加密经济假设、机制复杂性、欺诈证明和挑战期。Mir 提供了解决方法,验证者可以验证交易的子集并生成递归证明,表明该集合中的每个交易都是有效的,避免了验证的复杂性。

热点:rollup 以太 以太坊 以太坊交易 以太坊区块 区块链 数据 虎符

了解更多区块链知识,下载【 数字钱包 】有奖!
« 上一条| 下一条 »
非小号交易所排名-专业的交易行情资讯门户网站,提供区块链比特币行情查询、比特币价格、比特币钱包、比特币智能合约、比特币量化交易策略分析,狗狗币以太坊以太币玩客币雷达币波场环保币柚子币莱特币瑞波币公信宝等虚拟加密电子数字货币价格查询汇率换算,币看比特儿火币网币安网欧易虎符抹茶XMEX合约交易所APP,比特币挖矿金色财经巴比特范非小号资讯平台。
飞鸟非小号行情 yonghaoka.cn 飞鸟用好卡 ©2020-2024版权所有 桂ICP备18005582号-1