關于 Optimistic Rollup，你需要知道的一切_TIMI:IST

Paradigm研究合伙人GeorgiosKonstantopoulos解析OptimisticRollup發揮作用的激勵結構，并對常見的批評提出了回應。撰文：GeorgiosKonstantopoulos，加密風投公司Paradigm研究合伙人。

編譯：詹娟

Paradigm授權鏈聞翻譯并發表該文章中文版本。

在以太坊生態系統中，最大的挑戰之一是在資源嚴重制約的情況下，如何實現低延遲和高吞吐量。

系統的去中心化是由網絡中最弱的節點驗證系統規則的能力所決定的。可以在低資源硬件上運行的高性能協議，可以被稱為「可伸縮」。

在這篇文章中，我們將深入探討當前「2層解決方案」的原理、它們對應的安全模型，以及它們如何解決以太坊的可伸縮性問題。

如果你有興趣了解更多關于前沿的以太坊的可伸縮技術，想要知道如何構建和架構此類系統，那么這篇文章或許對你有幫助。

在整個文章中，重要的關鍵詞或概念會用粗體突出顯示，這些都是你在學習加密貨幣知識的過程中會遇到的單詞/術語。這個話題很復雜。也許讀的過程中會感覺有點困惑，但只要堅持看完，相信將有所收獲。

區塊鏈資源需求

有三個因素會影響去中心化網絡中運行節點的資源需求：

帶寬：下載和廣播任何與區塊鏈相關的數據的成本。計算：在腳本或智能合約中運行計算的成本。存儲：為編制索引而存儲事務數據的成本，以及為繼續處理新的事務塊而存儲「狀態」的成本。值得注意的是，存儲「狀態」比存儲原始事務數據成本更高。衡量性能的方法有2種：

吞吐量：系統每秒可以處理的事務數量。延遲：事務處理所需的時間。比特幣和以太坊這類新興加密網絡的理想屬性是去中心化，但是使網絡去中心化的構成要素是什么呢？

低信任度：這個屬性可以讓任何個人驗證比特幣的數量不會超過2,100萬，或者說他們的比特幣不會被偽造。獨立運行節點軟件的人員會計算最新的狀態，并驗證在此過程中是否遵循了所有規則。低成本：如果節點軟件的操作成本很高，個人將依賴可信的第三方來驗證狀態。高成本意味著高信任需求，這是我們首先想要避免的。另一個需要的屬性是可伸縮性：將吞吐量和延遲以超線性的方式擴展到運行系統的成本的能力。這個定義很好，但沒有包含「信任」。因此，我們明確了「去中心化的可伸縮性」：在不顯著增加系統信任假設的情況下實現可伸縮性。

加密KOL “考古”：美SEC主席Gary Gensler曾表示3/4的加密貨幣不是證券:4月26日消息，Coinbase首席執行官Brian Armstrong轉發加密KOL @ZK_shark推文，其中展示了美國證券交易委員會現任主席Gary Gensler在2018年麻省理工學院秋季研究生課堂上的一段發言，Gary Gensler當時表示，在美國和許多其他司法管轄區中，四分之三的加密貨幣不是證券，它只是一種商品，一種加密現金（cash crypto）。[2023/4/26 14:27:12]

放大來看，以太坊的運行時環境是以太坊虛擬機。通過EVM運行的事務以不同的成本執行各種操作，例如，存儲操作的成本高于添加操作的成本。事務中的計算單元稱為「gas」，系統的參數設置為每個區塊最多處理12.5mgas，平均每12.5秒產生一個事務區塊。因此，以太坊的延遲為12.5秒，吞吐量為每秒100萬gas。

你可能會問：每秒100萬gas能帶來何種效益？

每秒~47筆「簡單轉賬」事務。這些事務消耗21,000gas，負責將ETH從A轉移到B，是最簡單的事務類型。每秒~16筆ERC20代幣轉賬。與ETH轉賬相比，這些方法涉及更多的存儲操作，因此每次的成本為~60kgas。每秒~10筆Uniswap資產交易。代幣對代幣交易的平均成本約為102kgas。…隨便挑一個你喜歡的事務的gas成本，并將其除以1m注意，隨著事務的執行復雜度增加，系統的吞吐量會降低到很低的數值。還有改進的空間！

解決方案1：使用一種中介

我們可以使用一個可信的第三方來促成所有的事務。這樣一來，我們就能獲得非常高的吞吐量，而且延遲可能只會是亞秒級的。太好了!這不會改變任何系統范圍內的參數，但我們將會選擇加入第三方單方面設定的信任模式。他們可能會選擇對我們進行審查，甚至沒收我們的資產。這是不可取的。

解決方案2：讓區塊更大，更頻繁

我們可以通過減少兩個區塊之間的時間來減少延遲，也可以通過增加區塊gas限制來增加吞吐量。這一改變將使運營節點的成本更高，使得個人難以運行節點。

在解決方案1中，對信任的需求增加了。在方案2中，成本增加。這就消除了它們作為可伸縮性選項的可能性。

加密礦企Pow.re以1.5億美元估值完成920萬美元的A輪融資，并獲1800萬美元戰略投資:金色財經報道，加拿大加密礦企Pow.re宣布以1.5億美元估值完成920萬美元A輪融資，本輪融資由加密資產管理平臺HaruInvest領投，數字資產交易公司Trinito和RFD Capital參投。Pow.re另外獲得來自Haru的1800萬美元戰略投資，用于資助該公司向巴拉圭的擴張。[2023/2/2 11:42:59]

從第一原則出發，重新發現OptimisticRollup

在下一節中，我們假設讀者對哈希和默克爾樹已經有所了解。

根據我們到目前為止學到的知識，讓我們模擬一個蘇格拉底對話，目標是發現一種既能增加以太坊有效吞吐量，同時又不增加用戶和節點操作者負擔的協議。

問：我們想在不顯著改變信任和成本假設的情況下擴展以太坊。該怎么做呢？

答：我們想要降低現有操作對系統成本的要求。為了理解為什么要做到這一點并不容易，我們需要先看看以太坊的架構：

以太坊的每個節點目前都存儲并執行用戶提交給它的每筆事務。在執行過程中，事務通過EVM運行，并與EVM的狀態交互——這種操作非常昂貴。常見的智能合約優化技術以最小化與狀態的交互次數為核心，但它們只能提供較小的常量改進。

問：你是說有一種方法可以在不涉及狀態的情況下進行交易，從而保持較低的資源成本？

答：在極限情況下，我們是否可以把所有的執行都移出鏈外，同時保留一些數據在鏈上？我們可以通過引入一個被稱為「排序者」的第三方來實現這一點。他們負責本地存儲和執行用戶提交的事務。為了保持系統的活躍度，排序器需要定期提交他們接收到的事務的默克爾根以及以太坊上產生的狀態根。這是朝著正確方向邁出的一步，因為我們只在以太坊的狀態中存儲O數據，用于O鏈下交易。

問：所以我們通過讓排序者計算鏈下的一切，只發布默克爾根來實現伸縮？

答：是的。

問：好的，所以一旦你加入，排序器能保證你的轉賬費用很便宜。那么存款和提現會如何操作？

答：用戶將通過在以太坊上存錢的方式進入系統，然后排序者將相應的金額記入用戶的賬戶。用戶可以在以太坊上提出這樣的交易內容，比方說，「我想提現3個ETH，我的賬戶目前有>3ETH，這是證明」。即使第1層沒有實際的用戶狀態，用戶也能拿出排序器發布的狀態根顯示相關的默克爾證明，表明他們在當前狀態下有足夠的資金。

美國眾議院少數黨領袖麥卡錫：國會有責任對FTX進行監管:12月14日消息，當被問及FTX問題時，美國眾議院少數黨領袖麥卡錫表示國會有責任進行監管。[2022/12/14 21:42:52]

問：現在我們知道了，用戶需要默克爾證明來提取他們的資金。用戶如何獲得構建默克爾證明的數據？

答：他們可以要求排序者給他們提供數據！

問：萬一排序者暫時或永久不可用，那該怎么辦？

答：排序者可能是惡意的，也可能只是因為技術問題而離線，這將導致性能下降。因此，我們還必須要求排序者在鏈上提交完整的事務數據來進行存儲，但不能執行。在這個問題上，目標是獲得數據可用性。假設所有數據都永久存儲在以太坊上，即使排序者消失了，新的排序者也可以從以太坊中檢索所有第2層相關的數據，重建最新的第2層狀態，并從他們的前任離開的地方繼續。

問：如果排序者在線，但拒絕向我提供默克爾證明數據，我可以從以太坊下載嗎？

答：沒錯，你可以自己同步一個以太坊節點，或者連接到眾多托管節點服務中的一個。

問：有一點我還是不明白，你怎么能在以太坊存儲東西而不執行它呢？不是每個事務都要通過EVM嗎？

答：假設你提交了10個事務，將ETH從A轉移到B。執行每筆事務都將執行以下操作：增加A的nonce，減少A的余額，增加B的余額。這得從以太坊的世界狀態里進行相當多的寫入和讀取。相反，你可以將所有事務的編碼發送到智能合約的publishpublic{}函數中。注意，該函數的主體是空的！這意味著發布的交易數據不會被解釋、執行，也不會在任何地方進行狀態訪問，它只是存儲在區塊鏈的歷史日志中。

問：我們能信任排序者嗎？萬一他們發布了一個無效的狀態轉換怎么辦？

答：任何時候排序者在發布一批狀態轉換時，都會有一個「爭議期」，在這期間任何一方可以發布「欺詐證明」以表明其中某個狀態轉換無效。這可以通過在鏈上重放導致狀態轉換的事務，并將產生的狀態根與排序者發布的狀態根進行比較來證明。如果狀態根不匹配，則欺詐證明成功，并取消狀態轉換。如果在無效的狀態轉換之后還有更多的狀態轉換，它們也會被取消。但如果事務已經過了爭議期，就沒法再對其質疑了，它們會被視為最終交易。

歐洲加密風投LeadBlock Partners第二支基金完成1.5億美元募資:金色財經報道，歐洲加密風險投資公司 LeadBlock Partners 完成第二支新基金籌資，該基金的目標籌資額為 1.5 億美元。新基金將投資于 Token 和股票，GSR、Portofino Technologies 和 Woorton 等，以及 Wintermute 聯合創始人 Yoann Turpin 和 SwissBorg 創始人 Cyrus Fazel 投資了該基金。

LeadBlock Partners 由前高盛員工 David Chreng-Messembourg 和 Baptiste Cota 在兩年前創立，首支基金支持過 Yuga Labs、Bitpanda 和 BlockFi 等。[2022/11/8 12:33:58]

問：等一下！你之前說過，如果a）增加成本，或b）引入新的信任假設，那么它就不屬于可伸縮性。在你描述的方案中，我們不是又另外假設總是會有人舉報欺詐嗎？

答：是的。我們假設存在一個被稱為「驗證器」的實體，他們負責監視欺詐行為，如果第1層和第2層狀態不匹配，他們就會發布欺詐證據。我們還假設驗證器能夠在爭議期限內可靠地獲得以太坊中包含的欺詐證據。我們認為驗證器的存在是一個「弱」假設。想象一下，如果有一個應用程序有成千上萬的用戶，你只需要一個人來運行一個驗證器。這聽起來不算太離譜！另一方面，改變以太坊的信任模式，或增加以太坊節點的運營成本是我們不想做的「強」假設改變。這就是我們在定義去中心化的可伸縮性時所說的「顯著改變底層系統的假設」。

問：我同意有人會運行一個驗證器，因為各方都能從這個新解決方案的成功中獲益。但當然這也取決于實際操作的成本。那么運行一個驗證器和一個排序器的資源需求是什么？

答：排序者和驗證者必須運行一個以太坊完整節點，一個完整的第2層節點，才能生成第2層狀態。驗證者運行的軟件負責創建欺詐證明，排序者運行的軟件負責捆綁用戶事務并予以發布。

問：就是這樣嗎？

答：是的！恭喜你！您已經重新發現了?OptimisticRollup?的組合），這是2019-2021年最令人期待的伸縮解決方案。原因很好理解，因為它是以太坊社區多年研究過程的最終產物，你應該已經在上面這個簡短的對話中體會到了這一點。

今日恐慌與貪婪指數為30，恐慌程度與昨日持平:金色財經消息，今日恐慌與貪婪指數為30（昨日為30），恐慌程度與昨日持平，等級仍為恐慌。

注：恐慌指數閾值為0-100，包含指標：波動性（25%）＋市場交易量（25%）＋社交媒體熱度（15%）＋市場調查（15%）＋比特幣在整個市場中的比例（10%）＋谷歌熱詞分析（10%）。[2022/7/25 2:35:25]

Optimistic的激勵

第2層的擴展基于這樣一個事實：我們試圖最小化執行的鏈上事務的數量。我們使用欺詐證明來取消任何可能發生的無效狀態轉換。由于欺詐證明是鏈上交易，我們還希望將以太坊上發布的欺詐證明的數量最小化。在理想的情況下，欺詐從未發生過，因此，欺詐的證明也從未被發出。

我們通過引入忠誠債券來抑制欺詐行為。為了讓用戶成為排序者，他們必須首先在以太坊上發布一個債券，如果被證明存在欺詐，他們將喪失該債券。為了激勵個人發現欺詐行為，排序者的債券在被削減后會分發給驗證者。

忠誠債券和爭議期

在設計欺詐證據的激勵機制時，有兩個參數需要調整：

忠誠債券規模：排序者必須公布分發給驗證者的數量。規模越大，成為驗證者的動機就越大，而作為排序者進行欺詐的動機就越小。爭議期期限：可以發布欺詐證明的時間窗口，在此時間窗口之后，第2層交易在第1層上被認為是安全的。爭議期較長，可以為防止審查攻擊提供更好的安全保障。爭議期較短，則能為從第2層撤回到第1層的用戶創造良好的用戶體驗，因為他們不需要等待很長時間就可以在第1層上重新使用他們的資金。在我們看來，對于這兩個參數都無法找到一個確切的靜態值。也許10個ETH債券和1天的爭議期足矣。但也許1個ETH和7天也夠。真正的答案是，這取決于成為驗證者的動機，以及發布欺詐證明的難易程度。這兩者都應該是可調的，可以手動調，也可以自動調。

值得一提的是，EIP1559?向以太坊引入了一個新的BASEFEE操作碼，該操作碼可用于估計鏈上的擁塞，并因此以編程方式調整爭議期的持續時間。

如何正確實施這一懲罰機制至關重要，否則它將在實踐中被人濫用。我來舉個例子，說明什么是幼稚而沒有實操性的實現：

Alice貼出了一個1ETH債券，她因此得以在系統中擔任排序者Alice發布了一個欺詐狀態更新Bob注意到了這一點，并發表了一項爭議。如果成功，這將能把Alice債券中的1個ETH授予Bob，并取消欺詐狀態更新Alice注意到了這個爭議，也發表了一個爭議ALice得到了她的1ETH，即使她試圖欺詐，實際上也沒有受到任何懲罰。Alice可以通過「搶跑」的方式來發動這種攻擊，即廣播與Bob相同的交易，但gas價格更高，從而導致Alice的交易在Bob之前執行。這意味著Alice可以持續嘗試以最小的成本作弊。

解決這個問題很簡單：不是將全部債券授予爭論者，而是將X%的債券燒毀。在上面的例子中，如果我們燒掉50%，那么Alice將只會得到0.5個ETH，這就足以阻止其在步驟2中嘗試作弊。當然，銷毀債券減少了運行驗證器的動機，因此需要確保債券在燒掉部分后依然足以激勵用戶成為驗證者。

對OptimisticRollup常見的批評和我們的回應

現在我們已經完成了OptimisticRollup的構建模塊，讓我們探討并解決對該機制的最流行的批評。

長時間的提款/爭議期對于采用和可組合性是致命的

我們在上面提到過，長期的爭議期對安全有好處。這里似乎存在一種固有的取舍：爭議期過長對用戶來說不好，因為用戶如果想要提取資金的話需要等待很長時間。爭議期較短，當然能帶來流暢的用戶體驗，但這樣你就會冒欺詐發生的風險。

我們認為這不成其不問題。由于存在漫長的提現延遲可能性，我們預計做市商將迅速介入并提供更快的提現服務。這是可能的，因為驗證第2層狀態的人可以正確判斷一個提現是否存在欺詐的可能，從而會以較小的折扣來「購買」他們的服務。舉個例子：

參與者：

Alice：在第2層有5個ETH。Bob：在「做市商」智能合約中，第1層上有4.95ETH，并且在第2層上運行一個驗證器步驟：

Alice讓Bob知道她想要「快速」取款，并向他支付0.05ETH的費用Alice向Bob的「做市商」智能合約發出取現要求此時可能會發生兩種情況：Bob在他的第2層驗證器上檢查提款是否有效，并批準快速取款。這將立即將4.95ETH轉移到Alice的第1層地址。在提款期結束后，鮑勃可以領取這5個ETH，凈賺一筆。Bob的驗證者提醒他該交易無效。Bob對該交易引起的狀態轉換提出異議，取消交易，并因排序者允許惡意交易發生而賺取其債券。愛麗絲要么是誠實的，立即把錢拿出來，要么是不誠實的，會受到懲罰。我們希望支付給做市商的費用會隨著時間的推移而壓縮，如果有對這項服務的需求的話，最終讓用戶完全看不到這個過程。

該特性最重要的含義是，它可以實現與第1層合約的可組合性，而不必等待完整的爭議期。

注意，這種技術最早在「SimpleFastWithdrawals」一文中描述過。

礦工可以通過賄賂來審查提現，破壞OptimisticRollup的安全

在「OptimisticRollup的近零成本攻擊場景」的帖子中，有人認為，礦工的激勵過大，這會導致排序者與以太坊礦工勾結，不愿去審查任何有爭議的交易。當然，考慮到系統安全對于解決爭議的依賴，這對任何Optimistic體系都是致命的。

我們不同意這篇文章的論點。我們假設，誠實的一方總是愿意賄賂礦工，而且能提供比惡意方更多的資金。此外，每當礦工們因為幫助惡意方獲勝而偏離「誠實」行為時，都會產生額外的成本。這種行為會破壞以太坊的價值，而這反過來會增加礦工從事這種行為的額外成本。

事實上，這種情況已經在學術文獻中得到了研究，證明了「這種反擊的威脅會誘導出一種不發生攻擊的子博弈完美均衡」。

我們要感謝Hasu讓我們注意到這篇論文的論證。

驗證者的困境對操作驗證器、破壞OptimisticRollup產生了抑制

針對驗證者的困境，EdFelten?撰寫了一個出色的?分析?和?解決方案，我們總結如下：

如果該體系的激勵機制如預期那樣發揮作用，就沒有人會作弊如果沒有人作弊，那么運行一個驗證程序就沒有意義了，因為你從操作它中賺不到錢因為沒有人運行驗證器，所以最終有機會讓排序者作弊排序者作弊，系統不再按預期運行這聽起來很重要，而且近乎自相矛盾的。在假設獎勵規模固定的情況下，更多的驗證者會減少單個驗證者的預期報酬。此外，驗證者多了，能分到的蛋糕似乎就會隨之減少，發生的欺詐行為更少，這進一步加劇了這個問題。在后續分析中，Felten還提供了一種解決驗證者困境的方法。

我想在這里采取相反的立場，我認為驗證者的困境并不像批評者說的那么重要。在實踐中，作為一個驗證者是存在非金錢激勵的。比方說，你可能在一個匯總平臺上構建大型應用程序，也可能持有代幣，如果系統失敗，那么你的應用程序將無法運行，或者你持有的代幣將會貶值。除此之外，對快速提款的需求為做市商驗證者創造了存在的動力，這并不受欺詐行為的影響。說得更具體一點，比特幣沒有提供任何激勵措施來存儲整個區塊鏈歷史或向同行提供你的本地數據，但人們還是無私地這樣做。

即使在真空環境中運行驗證器并不符合激勵機制，它也能保證系統的安全，這對于那些投資于系統成功的實體來說是最重要的事情。因此，我們認為在Optimistic系統的第2層中，不需要設計機制來繞過驗證者的困境。

結論

我們分析了2021年對以太坊至關重要的技術之一：OptimisticRollup。

總結其好處：OptimisticRollup是以太坊的擴展，它承載了以太坊的安全性、可組合性和開發人員護城河，同時提高了性能，不會對以太坊用戶的成本或信任需求造成實質性的影響。我們探索了使OptimisticRollup發揮作用的激勵結構，并對常見的批評提出了回應。

我們想要強調的是，OptimisticRollup的性能上限是由第1層上發布的數據所決定的。因此，它的優點在于：1）盡可能地壓縮你發布的數據，2）擁有一個大而廉價的數據層。

作為補充閱讀，我們推薦Buterin的關于Rollup和?信任模型?的?不完整指南。我們還建議去研究OptimisticRollup的近親ZKRollup。最后，還有其他方法可以獲得去中心化的可伸縮性，即分片和狀態通道，它們各有優缺點。

來源鏈接：research.paradigm.xyz

Tags：以太坊PTIISTTIMI以太坊交易平臺有哪些PTI幣Duelist KingOptimism BOB

UNI