Optimistic Rollup 的兩難困境：資金效率與安全性難全_MIS

三句話講完

我們認為，流動性提供者會更喜歡ZKR-Uniswap，而非OR-Uniswap，因為前者的資本效率更高。

若想提高OR的資本效率，需要縮短其挑戰期，從而降低對Layer1發動“欺詐+審查”攻擊的成本。

從根本上來說，這是OR在資本效率和安全性之間的兩難困境：提高資本效率一定會降低安全性。

背景

近幾個月來，以太坊上的gas價格上漲引起了人們對可擴展性解決方案，尤其是Layer2可擴展性方案，的興趣。這類方案大致可分為兩類：有效性證明vs.欺詐證明。我們之前在這篇文章和這篇文章中比較過這兩類方案。

有效性證明類方案包括ZK-Rollups和Validium。以太坊主網上已經部署了類似的系統，包括我們自己的StarkEx。

Optimism Goerli測試網將于1月13日升級至Bedrock架構，可減少約20%Gas費:1月11日消息，Optimism Goerli測試網將于1月13日2:00開始升級到Bedrock架構，升級所需時間約為2小時。此次升級類似于硬分叉，新的OptimismGoerli鏈將是舊鏈的延續，不會發生歷史交易數據丟失和鏈在區塊0處重置的“再生”事件。

升級期間，將暫停之前Optimism Goerli測試網上的存提款，停止接受之前Optimism Goerli序列器上的交易，升級Layer 1上的智能合約，并在Layer 2上進行非常規狀態過渡。同時，此次升級將啟動Bedrock序列器，重新開放存提款功能，并分發與新系統交互的合約地址、二進制文件和數據目錄。

據悉，此次升級將減少大約20%的Gas費用，縮短存款時間，構建更安全、穩定的代碼庫和產品，并簡化節點基礎架構。[2023/1/11 11:05:48]

欺詐證明類方案包括OptimisticRollups。其中一些方案即將在公共測試網上線。OR是最新一代欺詐證明設計，其前輩是閃電網絡和Plasma。對于那些深受以太坊擁堵之苦的去中心化應用開發者來說，OR是很有吸引力的，因為這類方案能夠保持Solidity代碼不變，并將去中心化應用遷移至成本較低且具有可擴展性的OR上。

Optimism將逐步降低公共RPC節點數據傳輸速率:9月7日消息，OP Labs在Twitter上表示，Optimism將在未來幾個月內逐步降低公共RPC節點數據傳輸速率，基于Optimism的項目可以自行搭建節點或使用可信的基礎設施提供商（例如 Alchemy 等）的解決方案。[2022/9/7 13:14:44]

OR背后的基本概念：只將交易數據發送到主鏈上。計算和狀態存儲不再發生在主鏈上，而是轉移Rollup上，由Rollup上的區塊生產者和驗證者來執行計算工作。該方案假設至少有一位用戶會及時發現欺詐并向主鏈報告，從而確保系統的完整性。當一個OP區塊的挑戰期結束以后，該塊也就被公認具有終局性了。

分析

接下來，我們將從流動性提供者和用戶的角度來分析OR。

HyperPay新版本發布，自管錢包支持Optimism和Arbitrum網絡:據官方消息，HyperPay錢包發布V5.0.3版本，在該版本中，HyperPay自管錢包新增支持添加自定義網絡和自定義節點功能，新增支持Optimism和Arbitrum網絡并上架相關DApp，用戶可在自管錢包賬戶界面添加相關資產信息，參與Arbitrum網絡中的奧德賽活動。

HyperPay錢包成立于2017年，是集托管理財錢包、去中心化自管錢包、HyperMate硬件錢包、共管錢包于一體的多生態數字資產錢包，為用戶提供資產存管、理財增值、消費支付等一站式服務。迄今，HyperPay錢包用戶逾百萬，資管規模超10億美元，轉賬超3.1億次，托管錢包公鏈支持52+，自管錢包公鏈支持32+，HyperMate硬件錢包支持公鏈17+。[2022/6/24 1:29:38]

假設有一個與Uniswap一樣大的應用可以輕而易舉地通過移植現有的Solidity代碼來無縫遷移到OR上。讓我們從流動性提供者和用戶的角度來分析OR。

以太坊技術服務商OpenZeppelin發布Optimism智能合約審計報告:11月25日消息，以太坊技術服務商OpenZeppelin發布Optimism智能合約審計報告。從2021年3月15日開始，OpenZeppelin在7周的時間里與3位審計師一起審計了Optimism的代碼庫，共發現4個嚴重和4個高度嚴重的問題，并提出修改建議以減少代碼的攻擊面和提高其整體質量。[2021/11/25 7:10:43]

流動性提供者

如上文所述，OR會定義一個挑戰期，以便發現并報告欺詐行為。取款的等待時間必須長于DTD，否則該系統很容易就會因為失竊而失去償債能力。

出于安全的考慮，延長DTD會比較好，從而提高下述這種攻擊的成本：

DeFi一站式應用Zerion新增支持顯示Optimism和Arbitrum余額:官方消息，DeFi一站式應用Zerion在App Store發布v1.28版本，新增支持顯示Optimism和Arbitrum網絡余額，以及添加錢包配置文件導入功能，可為用戶錢包列表加密并導入安全的可共享URL。[2021/8/7 1:40:43]

OR驗證者發現欺詐，并將fraud_detected交易發送至內存池。這時，OR驗證者已經履行了職責：發現并“報告”了欺詐。但是，只有將fraud_detected交易上鏈，這個告狀才是有效的。

假設在DTD期間，攻擊者租用足夠多的算力來挖礦，將包含fraud_detected交易的區塊替換掉。此舉可視為對fraud_detected交易的無聲攻擊。為什么說它是無聲的？因為從無辜旁觀者的角度來看，整個網絡似乎平安無事。如果沒能將包含欺詐證明的交易上鏈，當然不會發生交易回滾。

為了證明我們的觀點：資本效率和安全性之間存在權衡關系，我們接下來會說明其由來和影響。假設DTD有一周的時間；一些人認為時間過短帶來的風險太高）。根據我們的分析，無論DTD是1天還是兩周，都只是安全性和資本效率之間的權衡曲線上兩個不同的點而已。根據DTD時長的不同，攻擊者需要承擔的成本也在100至1000萬美元之間。攻擊者承擔的成本并不直接取決于其所追求的利益，如果OR持有數十億美元的資產，那么攻擊成本高達數百萬美元也不能阻止他們。

由于流動性提供者的行為，機會成本對去中心化應用的影響很大。這段時間來，我們已經看到流動性從Uniswap流向SushiSwap，又回到Uniswap上。將OR-Uniswap與ZKR-Uniswap進行對比。流動性提供者現在可以選擇將資金放在OR-Uniswap上鎖定一周時間，或放在ZKR-Uniswap上鎖定30分鐘。ZKR-Uniswap有一個基本優勢。從長期來看，代幣經濟或其它激勵機制難以打敗這種優勢。

經常有人問我們：快速取款能解決這一問題嗎？能夠在OR和ZK-Rollup之間創造公平的競爭環境嗎？

不能。快速取款只會通過縮短取款時間來改善用戶體驗，不會提高資本效率：必須在Layer1智能合約中鎖定足夠多的資金來支持整個DTD期間的取款。

另外，快速取款只能用于同質化資產，遇上非同質化資產就沒有用。即使對于同質化資產來說，需求量越大，機會成本越高。事實上，當很多人都想交易供不應求的同質化資產時，機會成本非常高：不妨想象一下，整個DeFi領域的用戶都想交易YFI時，提前鎖定足夠支付一周取款額度的YFI需要多少成本。在這樣收益率暴漲的時候，如果要你鎖定YFI，你希望獲得多少回報？

有些人可能會說，流動性提供者不足為慮，因為整個DeFi領域會集中到同一個OR上，降低用戶的取款頻率和交易成本。

請注意，這一假設的前提是，沒有任何去中心化應用運行在OR以外的地方，包括Layer1和ZK-Rollup等。

我們認為，即使在這一場景下，隨著OR的吞吐量增加，安全性也會下降。為什么？讓我們從用戶的角度來思考。

用戶

信任：Alice可能會相信OR，或者更具體來說，至少有一方會驗證OR的當前狀態。這就意味著，從Alice的角度來說，OR在本質上是一個可信系統。可信系統以驚人的規模運作，通常是高價值企業的基礎。這些企業在努力不辜負信任，因為它們的聲譽越來越好。

不信任：Alice可以親自驗證OR的狀態。遺憾的是，驗證OR的成本與OR的吞吐量成正比：例如，如果OR將以太坊的可擴展性提高20倍，驗證成本也會提高20倍。久而久之，只有少數富人才能負擔得起高吞吐量OR的驗證成本。

就今天來看，這種擔憂也不是杞人憂天：目前，驗證以太坊是一種利他行為。一些人認為，當前以太坊的驗證成本之高，已經到了會損害去中心化的地步：受成本的影響，驗證以太坊完整性的網絡參與者在減少。換言之，去中心化程度降低和安全性降低才是真正的問題。

結論

OR面臨兩難困境：它無法達到ZK-Rollup那樣的資本效率，因為這會降低其安全性。這是OR的固有問題，而非設計細節問題。因此，在選擇是運行在OR還是ZK-Rollup上時，任何應用都會更傾向于后者，因為后者會吸引流動性提供者。

感謝DanRobinson對本文初稿的建議。

Tags：OPTPTITIMIMISOptionRoom Governance Tokentimi幣官方網站MISSOR幣

萊特幣價格