1)太長不看:
本文概述了一種預共識機制,可以實現即時終局性并減少驗證gas成本,同時不影響zkRollup的即時資金退出。
2)背景和動機:
在承諾間隔足夠短的情況下,zkRollup可以實現即時終局性。在這個方案中,聚合者的信任風險會隨間隔時間增長而增加,實現終局性的成本會隨間隔時間延長而降低。
首先說明zkRollup的配對驗證成本超過20萬gas。也就是說,在zkRollup的每個承諾間隔期內,聚合者都需要花費這么多gas來驗證并敲定承諾。
我們不能忽略這一成本,因為zkRollup的承諾間隔很短。我們需要承諾來實現即時退出的終局性。只要承諾間隔很短,且惡意聚合者回滾交易的積極性不高,我們就可以實現即時終局性。
OKX將于5月20日15時開放ORDI充值,條件符合將開通現貨交易:金色財經報道,據官方公告顯示,OKX交易平臺將于北京時間5月20日15時開放Ordinals(ORDI)充值。一旦充值ORDI代幣滿足要求,OKX將上線ORDI/USDT現貨交易。此外,徐明星在社交媒體上表示,Brc-20代幣錢包和市場將于下周在Web3錢包中推出。[2023/5/20 15:15:33]
盡管我們可以使用遞歸零知識證明和高效的證明計算系統來聚合多個交易,我們也很難改變承諾間隔。如果我們盲目延長承諾間隔,就會影響安全性。
然后,我們需要思考如何在zkRollup中實現安全的即時終局性和較長的驗證間隔。
3)方法:
聚合者的運行成本源自合約上零知識證明驗證的gas成本高且承諾間隔短。
一名法國人因在摩洛哥欺詐和非法使用加密貨幣被判入獄18個月:金色財經報道,卡薩布蘭卡上訴法院裁定,21歲的法國人Thomas Clausi因欺詐和非法使用加密貨幣將被判入獄18個月,并賠償受害者。
值得注意的是,被告自2021年12月以來一直在監獄服刑。因此,其律師Mohamed Aghanaj表示,監禁時間即將結束。從其最初入獄時間算起,Thomas Clausi只需要在監獄里再服刑一個月零幾天。(Bitcoinist)[2023/5/7 14:48:04]
因此,我們可以在不影響安全性和可用性的情況下延長驗證間隔。
3.1)第一步:跳過零知識證明配對驗證
首先,我們最容易想到的解決方案就是跳過配對計算,并引入針對承諾的簡單欺詐證明。
萬向區塊鏈肖風:以太坊完成合并升級意味著區塊鏈的商業應用階段即將啟動:9月20日消息,在由萬向區塊鏈實驗室舉辦的第八屆區塊鏈全球峰會上,萬向區塊鏈董事長兼總經理肖風在開幕致辭時表示:“幾天前,以太坊經歷了一個非常重要的歷史性時刻。我認為,這是繼以太坊白皮書發布、主網上線之后,第三個重要的歷史性時刻。9月15號,以太坊完成了它的一次Merge升級,其共識機制從PoW轉型為PoS。這是以太坊的重要時刻,也是區塊鏈行業的重要時刻。它意味著全球區塊鏈的基礎設施建設階段接近尾聲,而區塊鏈的商業應用階段即將啟動。”[2022/9/20 7:07:44]
聚合者向合約提交證明或驗證zkRollup承諾所需的任何東西,但這時不執行配對計算,也就不需要支付20萬gas。一段時間過后,這個承諾就會得到驗證;這個承諾中的每個狀態將成為下一個承諾的公共輸入。聚合者需要鎖定一些以太幣來激勵驗證者。一旦驗證者發現欺詐行為,聚合者就會受到懲罰。
淘派平臺官方自營IP《烤仔的朋友-X仔》將發售Evo2k系列:7月4日消息,據淘派官方微博顯示,其自營IP《烤仔的朋友-X仔》即將發行Evo2k系列,該系列由國內著名時裝設計師、先鋒藝術家張弛主導設計。
據悉,該系列限量發行2000個,單價為358元,將于7月5日14點起分提前購、優先搶和公開發售三個時間段發售。[2022/7/4 1:49:38]
承諾就是公共輸入、零知識證明數據、上一個狀態根、下一個狀態根、交易哈希和聚合者地址這幾項的哈希值。
原像由鏈上事件提供,承諾保存在合約存儲內。
這種方法具有很大的優勢。
每個人都可以成為瞭望塔,等同于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:ROLROLLKRO區塊鏈QrolliCoinControllerCashKronecoin區塊鏈專業大學排名
尊敬的用戶: 2021年5月20日為Bingbon上線運行三周年的日子,屆時將舉辦Bingbon三周年慶典活動.
1900/1/1 0:00:00本文來自?The?Block,原文作者:FrankChaparroOdaily?星球日報譯者?|念銀思唐加密貨幣交易所?Bitso?以?22?億美元估值完成?2.5?億美元的?C?輪融資.
1900/1/1 0:00:00肯尼亞的資本市場管理局說,該國需要一種更具包容性的方法,使其能夠在測試加密資產時利用其他監管機構的專業知識.
1900/1/1 0:00:00Uniswap 當前價格:40.3813 當前市值:210.68 開盤價格:1.1 歷史最高價格45.0591目前日成交額在39.94億.
1900/1/1 0:00:00被稱為“拉丁美洲亞馬遜”的阿根廷電子商務平臺MercadoLibre進入比特幣市場。這家在美國有幾家分支機構的公司透露,他們購買了價值近800萬美元的比特幣.
1900/1/1 0:00:00支付巨頭Visa和金融服務提供商Tala合作,促進了新興市場中加密貨幣的采用。這項合作旨在“使資金不足的消費者更容易轉換,存儲和使用加密貨幣.
1900/1/1 0:00:00