Polygon收购Mir Protocol意欲何为？

投资并购在加密业的中心化领域非常常见，如今，这样的资本运作已经开始朝去中心化领域蔓延，大有通过资本加强技术壁垒之势。
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的可扩展性？
减少状态大小
在以太坊等传统区块链中，验证交易需要访问那些与交易交互的每个账户的状态，因此节点需要存储所有活动账户的状态（即状态量）。但随着账户的增多，访问和存储将会变得非常昂贵。

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

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