關于 Optimistic Rollup 你需要知道的一切（下）_ALI

Layer 2 可擴展性方案基于這樣一個事實，即，我們試圖盡可能減少鏈上執行的事務的數量。我們使用欺詐證明來取消已發生的無效狀態轉換。由于欺詐證明是鏈上事務，我們想盡可能減少在以太坊上發布的欺詐證明的數量。在理想情況下，欺詐永遠不會發生，也就不會有欺詐證明發布。

我們通過引入誠信保證金（fidelity bond）來反激勵欺詐行為。想要成為排序者的用戶必須首先在以太坊上存入一筆保證金。如果他們的欺詐行為被證明，就會失去保證金。為了激勵用戶積極發現欺詐行為，排序者的保證金會被獎勵給驗證者。

在欺詐證明激勵機制的設計中，有兩個參數需要設計：

誠信保證金金額：排序者所繳納的保證金就是驗證者所能獲得的獎勵。金額越高，對驗證者的激勵越大，對排序者作惡的激勵就越小。

爭議期持續時間：可以發布欺詐證明的時間窗口。一旦過了這個時間窗口，L2 事務就會在 L1 上敲定。如果爭議期較長，就會提高安全性，更好地抵御審查攻擊。如果爭議期較短，用戶在將 L2 上的資金取出到 L1 時就能享有更好的用戶體驗，因為他無需等待很長時間就能在 L1 上使用這筆資金。

香港證監會：支持關于推動香港數字化經濟發展和成立虛擬資產發展專責小組的建議:金色財經報道，香港證監會歡迎財政司司長陳茂波先生于2023至2024年度政府財政預算案中為進一步鞏固香港作為國際金融中心的地位而提出的各項措施。證監會主席雷添良先生表示，有關將香港發展成為國際綠色科技及金融中心的建議措施，將透過科技創新引領可持續及高質量增長。證監會亦支持關于推動香港數字化經濟發展和成立虛擬資產發展專責小組的建議。在這方面，證監會最近就適用于虛擬資產交易平臺的建議監管規定，展開公眾諮詢。這些規定旨在確保投資者可藉一系列妥善的保障措施而得到充分保護。

金色財經此前報道，香港財政司司長陳茂波表示，將撥款5000萬港幣元加速Web3生態發展，此外，將成立并領導一個虛擬資產發展專責小組，成員包括相關決策局、金融監管機構，以及市場人士，就行業的可持續和負責任發展，向政府提交建議。[2023/2/22 12:22:54]

我認為，這兩個參數都沒有所謂正確的靜態值。或許 10 ETH 的保證金和 1 天的爭議期就足夠了。真正的答案是，這取決于成為驗證者的激勵（運行驗證者軟件的成本），以及發布欺詐證明的難度（L1 上的擁堵程度）。這些都是可以手動或自動調整的。例如，EIP 1559 在以太坊上引入了?BASEFEE?操作碼。這個操作碼可以用來預測鏈上擁堵程度，讓爭議期的長度也變成可編程的。

Circle CEO：美國政府關于穩定幣的報告預計將在11月2日凌晨3點發布:11月1日消息，Circle首席執行官Jeremy Allaire發推稱，穩定幣報告預計將在今天發布。一位參與報告的官員告訴MM，總統金融市場工作組預計將在今天下午3點（北京時間11月2日03:00）發布其備受期待的穩定幣報告。報告前的一個關鍵問題是：監管機構是否會要求私人穩定幣有強大的儲備支持？財政部負責國內金融的副部長Nellie Liang上個月表示，如果穩定幣成為一種廣泛使用的支付方式，該報告將特別關注可能出現的風險。[2021/11/1 21:15:54]

正確地實施這一懲罰機制很重要，否則就有可能在實際操作中被利用。例如，這里有一個不可行的原生實現：

Alice 繳納 1 ETH 的保證金，成為了排序者

Alice 發布了一個虛假狀態更新

Bob 發現了，并提出爭議。如果成功，Alice 的 1 ETH 保證金就會獎勵給 Bob，虛假狀態更新也會被取消。

Alice 發現該爭議，也提出爭議（挑戰她自己！）

Coinbase發布關于1月29日宕機事件的報告:金色財經報道，Coinbase發布博客文章稱，此前在1月29日太平洋標準時間4:25至9:31之間，coinbase網站出現故障。在這段時間內，許多用戶在嘗試使用Coinbase應用程序時遇到錯誤，并且加密購買、出售和交易功能間歇性的可用。Coinbase表示，發生問題后，在許多端點上發現了很高的錯誤率，并被診斷為一個用于存儲貨幣兌換即期匯率的Redis集群問題，此Redis集群上的CPU負載突然達到100％，并導致多個API端點和后臺作業失敗。[2021/2/6 19:01:31]

Alice 拿回了自己的 1 ETH，成功逃避了原本會因作惡遭到的懲罰。

Alice 可以通過 “搶跑事務” 來發起這一攻擊，即， 廣播一個跟 Bob 一樣的事務，但是支付更高的 gas 價格，讓自己的事務搶在 Bob 的前面執行。這意味著，Alice 可以一直以極低的成本作惡。

解決這個問題很簡單：不要將作惡者的全部保證金獎勵給提出爭議者，而是將其中 X% 銷毀。在上述例子中，如果我們將保證金的 50% 銷毀，Alice 只能通過搶跑事務拿回 0.5 ETH，這就足以嚇阻 Alice 在上述第 2 步中作惡。當然了，保證金銷毀機制也會削弱人們運行驗證者軟件的激勵（因為成功提出爭議所能獲得的獎勵會減少），因此銷毀后剩下的部分要足以激勵驗證者才行。

動態 | 歐洲央行要求Facebook關于Libra提供更多的信息:據The Block報道，歐洲央行和監管機構要求Libra提供更多的信息。英國金融市場行為監管局(Financial Conduct Authority)稱：“目前有關Facebook加密貨幣項目Libra的信息不足，因此，如果不提供更多信息，Facebook可能得不到批準。”[2019/6/26]

我們已經了解了 Optimistic Rollup 的設計。現在，讓我們來聽聽人們對 Optimistic Rollup 的批評，并做出回應。

我們在上文提到，較長的爭議期有助于提高安全性。這里面似乎有一個內在權衡關系：較長的爭議期不利于 OR 采用，因為任何想要從 OR 中取出資金的用戶都需要等待很久（如 7 天）。較短的爭議期會帶來較好的用戶體驗，但是這會提高未能及時對欺詐提出爭議的風險。

我們不認為這是個問題。由于取款延遲較長，我們預期將有做市商提供快速取款服務。這是有可能的，因為驗證 L2 狀態的人能夠正確判斷取款是否存在欺詐性，從而以略低一些的價格買下這筆取款。例如：

動態 | 彭博關于印度加密貨幣嚴厲法案草案的報道遭到質疑:據彭博此前報道“印度將考慮對持有、交易、開采加密貨幣的人判處1至10年監禁”。報道首次曝光后，網上的反應從憤怒到懷疑表現不等，盡管許多人譴責政府以及可能引入和實施這種行為，但也有一些人質疑彭博報道的真實性。印度最重要的加密支持者之一DesiCryptoHodlr對這份報告的看法是：“這似乎是彭博社又一次孤注一擲的嘗試，希望獲得更多的觀點。讓我們不要相信這樣的匿名新聞，等待當局的正式通知。”就在幾天前，印度儲備銀行（RBI）對最近的RTI提供書面回復，它既不知道也沒有參與任何在該國推行的加密貨幣禁令。[2019/6/8]

參與方：

Alice：在 L2 上有 5 ETH

Bob：在 L1 上的 “做市商” 智能合約中有 4.95 ETH，是 L2 的驗證者

步驟：

Alice 告訴 Bob 說她想要快速取款，并向他支付 0.05 ETH 的費用

Alice 向 Bob 的 “做市商” 智能合約發起一筆取款事務

可能會發生兩種情況：

（1）Bob 在 L2 上驗證這筆取款是有效的，并同意 Alice 的快速取款請求。做市商合約中的 4.95 ETH 立即發送至 Alice 在 L1 的地址。等爭議期結束，Bob 就能獲得 5 ETH，獲得一筆不菲的利潤。

（2）Bob 在驗證時發現這筆取款是無效的。Bob 對這筆事務的狀態轉換提出爭議，取消該狀態轉換，并得到了試圖作惡的排序者的保證金作為獎勵。

如果 Alice 是誠實的，就能立即完成取款；如果她想要做惡，就會遭到懲罰。我們預期，如果真的存在對快速事務服務的需求，支付給做市商的服務費會逐漸降低，最終讓用戶完全感受不到這一過程。

快速事務服務帶來的最重要影響是，可以實現與 L1 合約的可組合性，無需等待整個爭議期結束。

注：該技術首次出現于《簡單的快速事務》一文。

《Optimistic Rollup 上幾乎零成本的攻擊場景》指出，排序者可以輕而易舉地賄賂以太坊礦工來審查爭議事務。對于 Optimistic Rollup 系統來說，這會是致命的，因為整個系統的安全性源自爭議機制。

我們不認同這個觀點。我們認為誠實一方會出與惡意一方同樣乃至更多錢的來賄賂礦工。此外，礦工每次助紂為虐時都會產生額外的成本。這會影響以太坊的價值，從而影響礦工自身的利益。

事實上，已經有學術文獻研究過這一場景，結果證明 “這種反擊的威脅會產生一種子博弈精煉納什均衡，因此攻擊從一開始就不會發生”。

感謝 Hasu 向我們推薦了這篇文章。

關于驗證者的兩難困境，Ed Felten 已經在他的雄文中分析過了，并提出了解決方案。我們總結如下：

如果系統的激勵機制如預期般運行，沒人會做惡

如果沒人作惡，運行驗證者軟件就沒有意義，因為無法帶來收益

如果沒人運行驗證者軟件，排序者就會有機會做惡

如果排序者做惡，系統就不會再如預期般運行

這個問題看起來很重要，而且似乎是一個悖論！假設總的獎勵金額是固定的，驗證者人數越多，每個驗證者的預期收益越低。另外，如果驗證者人數增多，總的獎勵金額有可能減少，因為欺詐行為會減少，導致驗證者的收益更低。在接下來的分析中，Felten 提出了如何解決驗證者兩難困境的方法。

我要提出反對意見，我認為驗證者兩難困境不像批評者說的那么嚴重。實際上，驗證者靠的不是經濟激勵。假設你在 rollup 上構建了一個大型應用，或者你是持幣者。如果這個系統被破壞，你的應用就無法運作，你的代幣就會喪失價值。此外，對快速取款的需求會催生做市商服務（正如我們上文提到的那樣），這與是否存在欺詐行為無關。舉個現實的例子，比特幣就沒有通過經濟激勵的方式來鼓勵節點運營者存儲完整的區塊鏈事務史，或將本地數據提供給對等節點，但是人們還是會無私地做這些事情。

即使不為運行驗證者提供經濟激勵是激勵不兼容的（not incentive compatible），但是它可以保障系統的安全性，這對于投資該系統的實體來說是很重要的。因此，我們認為，Optimistic Layer2 系統不需要通過設計機制來解決驗證者兩難困境問題。

就像文章標題說的那樣，我們分析了 2021 年對以太坊來說最重要的技術之一：Optimistic Rollup。

OR 的優點包括：它是對以太坊的擴展，集成了以太坊的安全性和可組合性，以及開發者優勢。與此同時，它還能提高以太坊的性能，而且幾乎不會增加以太坊用戶的成本或信任需求。我們探索了讓 OR 可行的激勵機制，并對常見的批評觀點提出了反駁。

我們想要強調的是，OR 的性能上限是 L1 上能夠承載的數據量。因此，我們最好能做到兩點：1）盡可能壓縮你在 L1 上發布的數據（例，通過 BLS 簽名聚合），2）擁有一個大且低成本的數據層（例，ETH 2.0）。

如需補充閱讀，我們推薦 Vitalik 的《Rollup 不完全指南》（中文譯本）和《信任的模式》（中文譯本）。我們還建議你了解一下另一個 rollup 方案 ZK Rollup。我們的朋友 StarkWare 正在構建 ZK Rollup 方案。最后，還有其它方法可以實現去中心化可擴展性，如，分片和狀態通道。它們都有各自的優缺點。

Tags：ALIALICEICELICMy Neighbor Alicealice幣價格Not Financial Advice

BNB