ROLL:兩全其美的 zk rollup 預共識機制

1）太長不看：

本文概述了一種預共識機制，可以實現即時終局性并減少驗證gas成本，同時不影響zkRollup的即時資金退出。

2）背景和動機：

在承諾間隔足夠短的情況下，zkRollup可以實現即時終局性。在這個方案中，聚合者的信任風險會隨間隔時間增長而增加，實現終局性的成本會隨間隔時間延長而降低。

首先說明zkRollup的配對驗證成本超過20萬gas。也就是說，在zkRollup的每個承諾間隔期內，聚合者都需要花費這么多gas來驗證并敲定承諾。

我們不能忽略這一成本，因為zkRollup的承諾間隔很短。我們需要承諾來實現即時退出的終局性。只要承諾間隔很短，且惡意聚合者回滾交易的積極性不高，我們就可以實現即時終局性。

數據：Clairvoyant Labs今日再從OKX提出186萬枚BLUR:5月9日消息，據鏈上分析師余燼監測，Clairvoyant Labs4月22日從OKX提出170萬枚BLUR，當時BLUR價格0.59美元；5/2全部轉入OKX，當時BLUR價格0.62美元；20分鐘前，Clairvoyant Labs再從OKX提出186萬枚BLUR（約合88萬美元），目前BLUR價格為0.47美元。余燼分析稱該機構似乎在成本線上售出，并在下跌后重新買進。[2023/5/9 14:52:05]

盡管我們可以使用遞歸零知識證明和高效的證明計算系統來聚合多個交易，我們也很難改變承諾間隔。如果我們盲目延長承諾間隔，就會影響安全性。

然后，我們需要思考如何在zkRollup中實現安全的即時終局性和較長的驗證間隔。

NFT項目Cool Cats推出“Cool Score”評分和獎勵系統:金色財經報道，NFT 項目 Cool Cats 在社交媒體宣布推出名為“Cool Score”的評分和獎勵系統，旨在獎勵 Cool Cats 社區的忠誠和活躍成員。Cool Score 評分和獎勵系統添加了游戲化機制，這些機制將控制未來藏品投放、IRL 活動、VIP 福利機會和其他產品的訪問權限。Cool Cats 表示，評分參考標準包括：持有 Cool Cats NFT 時長、酷寵是否完全進化、在 Cooltopia 中囤積的物品類型、社區參與度等，目前 Cool Cats 持有者已經可以將錢包連接到網站來訪問和查看自己的 Cool Score 分數。另據 NFTGo.io 數據顯示，當前 Cool Cats NFT 地板價已升至 2.24 ETH，過去 24 小時上漲 12%。[2023/2/2 11:42:40]

3）方法：

墨西哥參議員：比特幣代表了人民的自??由:金色財經報道，Bitcoin Magazine發布推文，墨西哥參議員表示，我喜歡比特幣，因為它代表了人民的自??由。[2022/7/16 2:17:53]

聚合者的運行成本源自合約上零知識證明驗證的gas成本高且承諾間隔短。

因此，我們可以在不影響安全性和可用性的情況下延長驗證間隔。

3.1）第一步：跳過零知識證明配對驗證

首先，我們最容易想到的解決方案就是跳過配對計算，并引入針對承諾的簡單欺詐證明。

聚合者向合約提交證明或驗證zkRollup承諾所需的任何東西，但這時不執行配對計算，也就不需要支付20萬gas。一段時間過后，這個承諾就會得到驗證；這個承諾中的每個狀態將成為下一個承諾的公共輸入。聚合者需要鎖定一些以太幣來激勵驗證者。一旦驗證者發現欺詐行為，聚合者就會受到懲罰。

Celsius Network在Stakehound私鑰丟失事件中至少損失3.5萬枚ETH:6月7日消息，加密貨幣借貸平臺Celsius Network在以太坊2.0質押解決方案Stakehound私鑰丟失事件中至少損失3.5萬枚ETH（單筆交易）。Celsius 目前總共持有至少42,306 Stakehound stETH（多次交易），幾乎是Stakehound stETH的最大所有者。按照今天的以太幣價格，這損失了大約 7100 萬美元。迄今為止，該公司選擇向客戶隱瞞這些信息超過一年。

Stakehound 將損失歸咎于他們的托管服務提供商 Fireblocks，并在 Isreali 法庭上起訴了該公司。迄今為止，該問題尚未得到解決。客戶一直持有 Stakehound stETH 代幣，現在幾乎毫無價值。[2022/6/7 4:06:50]

承諾就是公共輸入、零知識證明數據、上一個狀態根、下一個狀態根、交易哈希和聚合者地址這幾項的哈希值。

原像由鏈上事件提供，承諾保存在合約存儲內。

這種方法具有很大的優勢。

每個人都可以成為瞭望塔，等同于OptimisticRollup中的“驗證者”，無需運行全節點或進行任何特殊的起步設置。

數據可得性問題不會發生，因為驗證或執行欺詐證明所需的一切數據都在鏈上發出的事件中。執行欺詐證明時，我們不需要Layer2交易數據及交易結果，因為這些數據全都包含在了零知識證明的公共輸入和證明中。

如果惡意聚合者提交了惡意默克爾根，并放棄了所有交易數據和默克爾樹數據，我們不需要運行全節點來進行欺詐證明。我們只需檢查零知識證明數據，并執行配對驗證函數，即可發現這類惡意行為。

但是，上述方法存在安全性問題。

如果Layer1上發生51%攻擊，將惡意默克爾根合法化，我們很難阻止。

由于51%攻擊的執行成本隨底層區塊鏈的出塊時間增加而增加，我們需要足夠長的驗證期限，才能有效提高51%攻擊的難度。理想的驗證期限是7天，因為ORU的退出期限也是7天，這可以根據挖礦成本和實際的攻擊獎勵計算得到。

在這種情況下，我們沒有理由舍ORU而取上述方案。

3.2）第二步：無需零知識證明驗證的預共識承諾，通過遞歸零知識證明配對實現終局性

我們可以通過以下方式解決上述安全性問題。

我們將這個沒有經過零知識證明驗證的承諾視為預共識。預共識會通過零知識證明驗證限制終局性。

(consensuscommit)=>(pre-consensuscommit)=>(pre-consensuscommit)=>….=>(pre-consensuscommit)=>(consensuscommit)

所有預共識承諾都會通過配對來限制共識。因此，Layer2用戶可以享受安全的即時交易終局性。我們需要使用帶有遞歸零知識證明的所有預共識承諾來驗證共識承諾。這里有兩個電路：預共識電路和遞歸電路。預共識電路包含采用zkRollup方案的dApp的邏輯。遞歸電路只需要從Layer1中獲取預共識數據作為公共輸入。

遞歸零知識證明可以用來對一段時間內的預共識進行水平合并：與此同時，它也可以用來將大量交易垂直聚合到預共識承諾中。

如果說任何虛假的預共識承諾都會影響帶有配對的共識驗證，我們總是可以通過零知識證明配對其進行欺詐證明。一旦證明成功，聚合者就會使用零知識證明驗證者函數將該承諾刪除，然后重新開始進行交易聚合并創建預共識承諾。

如果急的話，資產持有者可以花20萬gas通過預共識來達成共識，然后就可以立即退出。正如“第一步”中提到的那樣，他們不需要任何特殊設置，即可實現共識終局性，因為所有輸入都已聚合，而且可以通過鏈上事件搜索到。無論驗證多少預共識承諾證明，遞歸驗證的gas成本都不會增加，因為這些證明將被哈希到條目哈希中。

51%攻擊者無法敲定惡意默克爾根，因為每個根最終都會通過由zk電路實現的合約代碼邏輯在鏈上進行驗證。

4）總結：

這種帶有欺詐證明的預共識協議及相關數據可訪問性可以讓zkRollup擁有較長的承諾間隔。這種方法可以大量節省驗證計算所需的gas成本。

Tags：coolROLROLLKROCOOL20幣Control2XYAITROLLSKRO幣

比特幣交易所