投資并購在加密業(yè)的中心化領(lǐng)域非常常見，如今，這樣的資本運(yùn)作已經(jīng)開始朝去中心化領(lǐng)域蔓延，大有通過資本加強(qiáng)技術(shù)壁壘之勢。
11月26日，Polygon以4億美元的價(jià)格收購了Mir Protocol——一家專注于ZK-rollups的初創(chuàng)公司。Polygon這個致力于區(qū)塊鏈二層網(wǎng)絡(luò)（Layer 2）的解決方案輸出方，為何要以如此高價(jià)收購一家初創(chuàng)項(xiàng)目？這可能與它后續(xù)將推出新的融合項(xiàng)目相關(guān)。
Polygon一直將零知識 (Zero Knowledge，簡稱ZK) 密碼學(xué)作為區(qū)塊鏈擴(kuò)展性的最終游戲，它的網(wǎng)絡(luò)圍繞著ZK技術(shù)擴(kuò)張，將一切能利用該技術(shù)提升網(wǎng)絡(luò)擴(kuò)展性的方案接入自身，形成了一個高度聚焦ZK的Layer 2 網(wǎng)絡(luò)系統(tǒng)。
今年8月，Polygon 宣布以 2.5 億美元收購以太坊 L2 擴(kuò)容方案 Hermez Network，并更名為 Polygon Hermez，其 26 名員工也加入了 Polygon 當(dāng)時(shí)的80 人團(tuán)隊(duì)。隨后，Polygon發(fā)布了zkEVM 虛擬機(jī)，又馬不停蹄地開發(fā)了與以太坊兼容的Polygon Miden解決方案，并將初始版本開源。一邊將可擴(kuò)展性技術(shù)吃干榨盡，一邊為網(wǎng)絡(luò)添加隱私性技術(shù)——將專注隱私解決方案的Polygon Nightfall融入自身體系。
Polygon通過資本、技術(shù)合作等各種手段，形成了自身的ZK技術(shù)系壁壘。對于此次收購Mir Protocol，虎符研究院判斷，Polygon意在基于其零知識證明技術(shù)構(gòu)建一個新項(xiàng)目——Polygon Zero。Polygon和Mir Protocol一起在以太坊Layer2擴(kuò)容解決方案上可以碰撞出怎么樣的火花，目前還不得而知，「但可以明確的是，ZK-rollups目前是較為主流的以太坊區(qū)塊鏈二層網(wǎng)絡(luò)解決方案之一?！?br>虎符研究院觀察到，在Polygon斥巨資收購的項(xiàng)目中，Mir Protocol的資金占比較大，有望為Polygon甚至ZK-rollups和整個Layer 2市場帶來一些革新。在Polygon Zero還未面世前，虎符研究院的報(bào)告揭秘了被收購方Mir Protocol的技術(shù)亮點(diǎn)。
Mir「遞歸零知識證明」優(yōu)化ZK-Proof
虎符研究院報(bào)告顯示，Mir是一家零知識證明技術(shù)（ZK-proof）的以太坊擴(kuò)容初創(chuàng)公司。ZK-proof是一種加密工具，可以用于創(chuàng)建ZK-rollups解決方案——處理交易時(shí)不需要將所有交易數(shù)據(jù)都發(fā)布到以太坊上，以此來減少以太坊上的使用區(qū)塊，進(jìn)而提高擴(kuò)展性和降低gas費(fèi)用。
Mir支持現(xiàn)有的去中心化應(yīng)用程序，值得一提的是它還為驗(yàn)證者提供隱私保護(hù)，同時(shí)，減少了相對于以太坊主網(wǎng)1000倍的狀態(tài)大小，這是因?yàn)镸ir上的節(jié)點(diǎn)不需要下載歷史數(shù)據(jù)后與以太坊（Etherscan）鏈上數(shù)據(jù)進(jìn)行比較 。Mir水平的擴(kuò)展在不犧牲安全性、可組合性和去中心化的前提下，增加了加入網(wǎng)絡(luò)的每個節(jié)點(diǎn)的吞吐量。
公開信息顯示，Mir的系統(tǒng)生成了遞歸零知識證明，允許通過一個小證明來驗(yàn)證以太坊交易。Polygon也認(rèn)為Mir擁有最快的ZK-proof技術(shù)，這意味著Mir可以更快地生成證明，并在一個證明中驗(yàn)證更多交易?；⒎芯吭簣?bào)告認(rèn)為，探究Mir 協(xié)議的重點(diǎn)包括：Mir如何進(jìn)行交易證明？如何降低工作量的同時(shí)保證驗(yàn)證的有效性？遞歸零知識證明實(shí)現(xiàn)了什么？如何實(shí)現(xiàn)以太坊Layer2的可擴(kuò)展性？
減少狀態(tài)大小
在以太坊等傳統(tǒng)區(qū)塊鏈中，驗(yàn)證交易需要訪問那些與交易交互的每個賬戶的狀態(tài)，因此節(jié)點(diǎn)需要存儲所有活動賬戶的狀態(tài)（即狀態(tài)量）。但隨著賬戶的增多，訪問和存儲將會變得非常昂貴。

所以，Mir將賬戶數(shù)據(jù)移到鏈下，個人擁有的帳戶可以簡單地存儲在該個人的設(shè)備上。共享帳戶存儲在 IPFS 或其他存儲層上，即不再需要存儲任何賬戶數(shù)據(jù)，也不需要知道數(shù)據(jù)的存儲位置。Mir基于「默克爾樹」的方法，僅提供了有效驗(yàn)證賬戶狀態(tài)的聲明。可見，Mir狀態(tài)大?。打?yàn)證者所需的狀態(tài)量）大大減少，依靠的是將賬戶數(shù)據(jù)轉(zhuǎn)移到鏈下完成。
那賬戶狀態(tài)的有效性如何保證？Mir使用了零知識證明。
遞歸零知識證明
Mir 上的每筆交易都通過零知識證明進(jìn)行驗(yàn)證。但驗(yàn)證零知識證明的驗(yàn)證成本仍然昂貴，如果驗(yàn)證者需要為每筆交易都驗(yàn)證一個證明，Mir的吞吐量將顯著低于現(xiàn)有鏈的吞吐量。所以，Mir開發(fā)了一種可以遞歸組合的零知識證明（Recursive ZK-proof），使單個證明可以提供密碼學(xué)的保證，并證明一組交易驗(yàn)證的有效性。即驗(yàn)證者的「一個證明」可以驗(yàn)證「一組交易」，然后向網(wǎng)絡(luò)其余部分證明這「一組交易」是有效的，從而允許Mir使用可用的計(jì)算進(jìn)行擴(kuò)展，以生成遞歸證明。
使用遞歸證明來驗(yàn)證交易提供了兩個好處：
首先，消除了驗(yàn)證者在加入網(wǎng)絡(luò)時(shí)驗(yàn)證歷史交易的需要?，F(xiàn)有鏈為了允許新驗(yàn)證者趕上鏈的最新狀態(tài)，往往會限制吞吐量。而Mir的新驗(yàn)證者只需要簡單下載三個部分的內(nèi)容，進(jìn)行驗(yàn)證即可，下載內(nèi)容包括一個存儲著協(xié)議內(nèi)創(chuàng)建了每條記錄的可追加日志（Commitment Log） 、頂層的節(jié)點(diǎn)、日志中判斷活動還是非活動數(shù)據(jù)的組建（Liveness Mask）。采取這樣的方式，就無需限制鏈的吞吐量，以等待新驗(yàn)證者追蹤。
其次，使用遞歸證明提高了吞吐量，因?yàn)樗嗣總€節(jié)點(diǎn)必須驗(yàn)證每筆交易的要求，并允許每個節(jié)點(diǎn)驗(yàn)證交易的子集。
但第二個好處實(shí)現(xiàn)的方法是有問題的——節(jié)點(diǎn)現(xiàn)在需要向網(wǎng)絡(luò)證明其經(jīng)過驗(yàn)證的交易集是有效的。
為此，Mir對「提供驗(yàn)證的交易集有效」的解決方法是——分片。但現(xiàn)有的博弈論分片設(shè)計(jì)需要更強(qiáng)大的加密經(jīng)濟(jì)假設(shè)、機(jī)制復(fù)雜性、欺詐證明和挑戰(zhàn)期。Mir 提供了解決方法，驗(yàn)證者可以驗(yàn)證交易的子集并生成遞歸證明，表明該集合中的每個交易都是有效的，避免了驗(yàn)證的復(fù)雜性。

熱點(diǎn)：rollup 以太 以太坊 以太坊交易 以太坊區(qū)塊 區(qū)塊鏈 數(shù)據(jù) 虎符