一文了解ZKopru：使用零知識證明的Optimistic Rollup_KOP:TIMI

隱私性和可擴展性研究團隊都在填補零知識證明的前沿研究和以太坊應用開發之間的空白。

我們最近研究的一個重點領域是?zkopru，這是一套為隱私交易節約gas的新協議。我們已經在四月份完成了一場信任起步設置，自那時開始，我們就一直在埋頭苦干。我們已經到了實現網頁版錢包和壓力測試的最終階段。第二次審計也已在進行中。在本文中，我們想對Zkopru的特點作概要的說明，順便預告下Zkopru在未來幾周里有關公開測試網和主網的計劃。

本文預設了你已經大體了解以太坊、Layer2和零知識證明的基礎知識。

什么是Zkopru？

Zkopru的名字來源于zk和opru。你可能聽過零知識證明、zkrollup和optimisitcrollup。那到底什么是zk-optimisticrollup？且聽我仔細分解。

幣安總法律顧問：幣安法律團隊已擴大到超過80人:金色財經報道，幣安新任命的總法律顧問Eleanor Hughes在接受采訪時表示，為了跟上加密監管的發展速度，幣安聘請了大批法律專家。盡管Hughes 加入不到兩年，但她見證了法律團隊從15人左右發展到目前超過80人的規模。幣安法務部門與公司合規團隊合作，密切關注將影響未來幾年監管格局的長期趨勢，并對新的發展做出反應，除了積極爭取更多牌照外，幣安還在利用一切機會參與與監管機構的對話。[2023/7/29 16:05:38]

什么是零知識證明？

零知識證明方案讓驗證者可以驗證一個計算過程的正確性，且驗證者無需自己重新執行這段計算、證明者也無需暴露計算的輸入。因此，零知識證明可以用于實現可擴展性和隱私性。Zkopru使用零知識證明來保證交易的隱私性。Zcash、AZTEKnetwork?和?tornado.cash?都是在區塊鏈上使用零知識證明來實現隱私性的例子。

Espresso Sequencer測試網版本Doppio已發布，未來數月將向外部節點開放:7月20日消息，區塊鏈基礎設施公司Espresso Systems在Polygon zkEVM分叉版本上發布了Espresso Sequencer的測試網版本Doppio。該測試網已經在該公司內部運行，并將在未來幾個月內向外部節點開放。

另外，該團隊還計劃利用ETH質押來確保與以太坊Layer1的經濟一致性，目前正在與Eigenlayer合作。

在Polygon zkVM上啟動測試網之后，Espresso聯合創始人Jill Gunter指出，Espresso還在與Caldera合作，以在Espresso Sequencer和OP堆棧之間建立集成。此外，Espresso已經與Spire、Injective和Catalyst AMM達成合作，以支持這些項目優先與Espresso的Sequencer集成。[2023/7/20 11:06:37]

什么是optimisticrollup？

國際象棋聯合會宣布通過Avalanche發布錦標賽數據和玩家排名:金色財經報道，國際象棋聯合會 (FIDE)周五宣布，正在與Avalanche區塊鏈合作，將其比賽帶入Web3。該合作伙伴關系將創造“玩家和聯合會的運營效率并提高游戲完整性”，例如在鏈上發布錦標賽數據和玩家排名，以及AVAX托管的錦標賽獎池。[2022/12/24 22:04:26]

Optimisticrollup是一種Layer-2技術方案，其內部運行是平行于以太坊主鏈的。optimisticrollup可以帶來可擴展性上的提升，因為它們默認不在主鏈上執行任何計算。相反，用戶在optimisticrollup環境下發送交易后，它只會在主鏈上發布執行后的狀態根以及這些交易的數據，這一切都不會造成主鏈狀態的增長，因此可以減少gas開銷。在使用以太坊時，修改狀態是開銷繁重的事情，所以，optimisticrollup可以提供高達10~100倍的吞吐量提升。這篇文章介紹了optimisticrollup的更多細節。Rollup的運行需要一種稱為“協調者”的角色，需要他們來計算新狀態并在以太坊區塊鏈上發送數據。

Huobi Global：已在走法律程序，pNetwork必將為自身行為承擔法律責任:11月7日消息，針對pNetwork對Huobi的回應，Huobi Global表示，pNetwork的回應虛假而無力，其通過增發天量Token方式攻擊GALA代幣漏洞，完全向交易所隱瞞其攻擊行為，并在聯絡交易所不到一小時內就利用合約漏洞增發556億代幣實施攻擊，期間沒有給交易所任何反應時間，也沒有向交易所確認是否已采取相關措施。在有其他更安全方案的情況下，pNetwork依然選擇最危險的方案，將交易所和用戶置于危險境地并造成極其嚴重后果。

我們要求pNetwork對鏈上數據做出詳盡的說明和解釋，并承擔受損用戶賠付的主要責任。同時，鑒于pNetwork嚴重損害用戶利益的行為，Huobi Global已在走法律程序，pNetwork必將為自己的行為承擔法律責任。[2022/11/7 12:27:54]

什么是zk+opru

澳創資本同CashCow達成戰合作:據官方消息，澳創資本與CashCow達成深度合作，提升CashCow的流動性問題，提升數據安全性，同時降低預言機運行成本。[2022/10/1 22:43:30]

Zkopru是一個基于UTXO的optimisticrollup項目。還有另一種類型的rollup叫做zk-rollup，它使用零知識證明來驗證rollup狀態更新計算的正確性——但Zkopru不是?zk-rollup。因為zk-rollup僅使用零知識證明作為生成計算有效性證明的方法，但Zkopru使用零知識證明來保證每一筆轉賬都是隱私的。

這個概念在gas消耗量上具有很大的優勢。在以太坊主鏈上直接執行一筆零知識的交易，必須使用一個對SNARK友好的哈希函數來構建一棵默克爾樹，這都是非常昂貴的。使用optimisticrollup，我們可以在鏈下更新這棵默克爾樹，成本低得多。結果是，我們這套協議，單次隱私轉賬在主鏈上只需使用8800gas。

為什么我需要Zkopru呢？

接下來，我們講講最重要的部分：Zkopru面向用戶的功能。用戶可以通過一個網頁端錢包跟這個系統交互，從充值、取款、轉賬到在L2上做幣幣互換，都可以。下面我們概要介紹下這幾個功能的用戶體驗；更詳盡的技術描述，請看我們的文檔和?GitHub。

充值：用戶可以把ETH、ERC-20代幣和NFT存入L1上的Zkopru合約。在存入資金之后，用戶就可以在L2上轉移自己的資產，而這背后是一套基于UTXO的表示方法。

轉賬：存入資產后，資產還是關聯著用戶的賬戶，但隱私交易功能可以打破這種關聯。在轉賬時，發送者需要接收方的Zkopru地址，這個不是以太坊地址哈，但用戶可以在Zkopru錢包中使用同一把私鑰生成一個相應的地址。錢包軟件會生成一個零知識證明，證明轉賬前后系統的完整性，而無需把交易提交給Zkopru的協調者，也無需公開任何細節。

取款：用戶希望從L2撤出資金到L1的時候，可以直接使用錢包的取款功能。這個操作的交易細節就需要公開了，所以取款的地址和數量都不再是隱私的了。就像其它optimisticrollup方案一樣，Zkopru需要用戶等待7天，取款才能完成。不想等待的用戶可以使用即時取款機制。

即時取款：如果用戶想要即時取款，他們可以出價請求另一個用戶預付資金。預付資金者可以拿到手續費，但要承擔交易被欺詐證明無效化的風險。

原子化互換：Zkopru支持原子化互換。兩名用戶可以請求協調者協助兩者資產的互換，如果協調者拒絕協助，他們就會被懲罰。這項服務會有專門的一個網站。現在很難高效而隱私地找到相互匹配的訂單。我們正在開發一個支持隱私訂單匹配的解決方案。

成本：

用戶可以存取ETH、ERC-20代幣和NFT。而且也有可能做到在一筆交易中同時存入ETH、ERC-20代幣和NFT。下圖所示的USD價值基于gasprice為25gwei和ETH的價格為2500美元的假設。

對于rollup內的隱私轉賬，協調者會根據相關交易在L1上發生的成本收取一定的手續費。批量的交易會更便宜，而且要看UTXO的數量：

除了上面列出的成本，協調者還需要為每批交易支付一筆一次性費用171954Gas。

那什么時候能用上呢？

大約兩周后，Zkopru合約將部署在測試網上，錢包UI也會放出，我們也會放出更多文檔來講解用戶如何上手。如果測試網上沒有出現大的問題，那么再過約兩周，我們會放出主網合約。預計第二次審計也會在這個時間出結果。

結論

經過多年的努力，Zkopru將很快進入生產環境，為以太坊提供便宜、隱私的交易。如果你想在測試網上使用Zkopru，請關注我們的下一篇博客。你也可以在我們的?github、網站和博客了解更多。

原文鏈接:

https://medium.com/privacy-scaling-explorations/zkopru-wat-y-wen-f5026903cf39

作者:Privacy&ScalingExplorations

翻譯:?阿劍

Tags：KOPROLROLLIMISEKOPAYBankRollTROLL BNBTIMI

XMR