BTC/HKD+0.94%
ETH/HKD+1.99%
LTC/HKD-0.29%
DOT/HKD+1.12%
ADA/HKD+1.41%
SOL/HKD+2%
XRP/HKD+6.07%
DOGE/US+1.26%1）太長不看：
本文概述了一種預共識機制，可以實現即時終局性并減少驗證gas成本，同時不影響zkRollup的即時資金退出。
2）背景和動機：
在承諾間隔足夠短的情況下，zkRollup可以實現即時終局性。在這個方案中，聚合者的信任風險會隨間隔時間增長而增加，實現終局性的成本會隨間隔時間延長而降低。
首先說明zkRollup的配對驗證成本超過20萬gas。也就是說，在zkRollup的每個承諾間隔期內，聚合者都需要花費這么多gas來驗證并敲定承諾。
我們不能忽略這一成本，因為zkRollup的承諾間隔很短。我們需要承諾來實現即時退出的終局性。只要承諾間隔很短，且惡意聚合者回滾交易的積極性不高，我們就可以實現即時終局性。
加密貨幣交易所5月份交易量比4月份下降了23.2%:金色財經報道，根據 The Block Research 的合法交易量指數，加密交易量繼續下降。5 月份交易所的交易量為 3074 億美元，為 2020 年 11 月以來最低，比 4 月份下降了 23.2%。近幾個月交易量下滑，5 月份的數據延續了這一趨勢。[2023/6/3 11:55:28]
盡管我們可以使用遞歸零知識證明和高效的證明計算系統來聚合多個交易，我們也很難改變承諾間隔。如果我們盲目延長承諾間隔，就會影響安全性。
然后，我們需要思考如何在zkRollup中實現安全的即時終局性和較長的驗證間隔。
3）方法：
聚合者的運行成本源自合約上零知識證明驗證的gas成本高且承諾間隔短。
法國護膚品牌嬌韻詩在Magic Eden上推出第一個325 NFT系列:金色財經報道，法國護膚品牌Clarins Precious將推出第一個 325 NFT 系列和 AR 體驗，用戶可以擁有并在數字收藏中展示。據悉，該NFT系列由ALTAVA Group 和兩位極具影響力的女性數字藝術家 Ada Sokó? 和 Ines Alpha 共同創作。
Clarins Precious NFT Collection 將于 3 月 7 日發售，并使用polygon和Magic Eden 市場。該系列共有 325 件藝術品，通過以沙漏為中心的動畫圖像講述嬌韻詩珍貴的故事。[2023/3/9 12:50:52]
因此，我們可以在不影響安全性和可用性的情況下延長驗證間隔。
Binance與支付基礎設施Inswitch合作:金色財經報道，支付基礎設施Inswitch與Binance合作推出on-off-ramp服務，允許人們在拉美地區和加密貨幣采用的背景下購買和出售加密貨幣。該公司的上線/下線服務與拉美地區10多個國家最重要的支付方式、銀行和當地貨幣相結合，使用戶能用他們的Binance錢包轉換法幣和數字資產。（prnewswire）[2022/10/27 11:46:49]
3.1）第一步：跳過零知識證明配對驗證
首先，我們最容易想到的解決方案就是跳過配對計算，并引入針對承諾的簡單欺詐證明。
聚合者向合約提交證明或驗證zkRollup承諾所需的任何東西，但這時不執行配對計算，也就不需要支付20萬gas。一段時間過后，這個承諾就會得到驗證；這個承諾中的每個狀態將成為下一個承諾的公共輸入。聚合者需要鎖定一些以太幣來激勵驗證者。一旦驗證者發現欺詐行為，聚合者就會受到懲罰。
富國銀行投資研究所：美國經濟已經處于衰退之中:7月8日消息，富國銀行投資研究所認為，沒有必要再為美國經濟何時陷入衰退而感到煩惱了，因為美國經濟已經處于衰退之中。該研究所指出，美國通脹比預期更快更廣，消費者信心減弱，企業支出也在發生變化。這一預測與一個多月前相比更加悲觀，當時該所預計美國經濟會出現輕微的衰退，且時間不會早于今年年底；如今其將衰退時間預估提前，并將衰退的嚴重程度提高到了“溫和”。且該所分析師認為，美國經濟已在上半年進入技術性衰退，下半年就業和消費將惡化。(金十)[2022/7/8 1:59:18]
承諾就是公共輸入、零知識證明數據、上一個狀態根、下一個狀態根、交易哈希和聚合者地址這幾項的哈希值。
原像由鏈上事件提供，承諾保存在合約存儲內。
這種方法具有很大的優勢。
每個人都可以成為瞭望塔，等同于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成本。
Gate.io將于2021年5月08日11：00—5月15日11：00開啟TOTM交易賽,交易即可獲獎,總獎池$10,000美金代幣。新用戶請點擊注冊Gate.io并參與活動.
1900/1/1 0:00:00Gate.io一直秉承真實,透明的理念,不造假數據,不干預市場交易,為用戶提供真實自由的市場工具和穩定健康的市場服務。杠桿交易提供做多和做空機制,可以有效穩定市場到合理價值.
1900/1/1 0:00:00一場火熱的虛擬幣“數字游戲”正在沖擊現實世界的金融秩序與產業資源。連日來,比特幣等虛擬幣價格出現暴漲暴跌.
1900/1/1 0:00:00公告編號2021050801各位關心ZBG.io的投資者們和項目方：ZBG將于HKT2021年5月8日上線ChiaNetwork(XCH)項目.
1900/1/1 0:00:00鏈聞消息,以太坊智能合約自動執行工具GelatoNetwork宣布即將發布GEL代幣,GEL將具有治理和質押兩個關鍵功能。治理功能方面,代幣持有者能對GelatoDAO中的提案進行投票.
1900/1/1 0:00:00我們的團隊決心在任何時候都為每個級別的交易者提供最好的用戶體驗。因此,我們建立了一個全新的,甚至獨家的VIP計劃.
1900/1/1 0:00:00
比特幣交易所
