雖然 ZKRollup 在功能上是更爲理想的技術方案,但爲什麼這個永續合約交易所仍然選擇了 Optimistic Rollup?

撰文:MCDEX

MCDEX 需要 L2 方案

以太坊是目前最重要的公鏈生態。雖然 MCDEX V3 採用多鏈部署的方案,但 MCDEX 會繼續與以太坊生態共同發展,服務以太坊用戶。然而,衆所周知,以太坊 L1 的 Gas 費昂貴,且網絡吞吐低、出塊時間大。由於以下兩點原因 MCDEX 需要以太坊 L2 的方案

  • 降低交易的 Gas 費用。由於永續合約交易邏輯相比現貨更加複雜,MCDEX 的合約 Gas 費用約爲現貨(Uniswap)的 5 倍。當 L1 擁擠時,Gas Price 飆升,造成用戶的交易費用劇增。我們需要通過 L2 的方案降低 Gas 費用。

  • 增強清算能力。一方面, MCDEX 的清算系統需要能夠及時清算維持保證金不足的頭寸;另一方面,用戶又希望獲得更高的槓桿,即更少的維持保證金。這就要求清算系統能在儘量短的時間內完成清算。所以,我們需要比 L1 更大吞吐更低時延的基礎設施。甚至爲了提高清算能力,即使稍微增加系統的中心化程度,也是值得的。

對 L2 方案的要求

沒有什麼方案是完美的,我們需要根據業務需求取捨折衷,選擇最適合我們的方案。在選擇 L2 方案的時候,我們對 L2 方案提出了我們的一些要求:

技術成熟度:L2 方案的技術必須是成熟可靠的,最好是已經發布了主網且有用戶和應用的方案。如果是開發中的方案,至少是可以匹配我們 V3 的發佈進度。

去中心化程度:爲了獲得最大的共識、支撐十億乃至百億美金的資產規模,L2 方案的去中心化程度越高越好。在安全性上最好能儘量接近 L1 的安全性。

開發者友好度:L2 需要儘量兼容 EVM,並提供成熟完整的開發工具鏈(編譯器、調試器、沙盒環境)、節點(兼容 L1 API)、基礎設施 (the Graph 等)

費用和性能:L2 需要能大大降低 Gas 費用;並最大化 TPS、最小化確認時間,從而提高 MCDEX 的清算能力。

可選擇的 L2 方案

在我們考察以太坊 L2 方案的時候一些可選的方案有:

  • 狀態通道;
  • 側鏈 (例如 xDai/Matic)
  • Plasma
  • ZKRollups (Matter Labs / Starkware)
  • Optimistic Rollups (Optimism / Arbitrum)

從兼容 EVM 的需求出發,基本排除了狀態通道、Plasma、Starkware 的方案。雖然 Matter Labs 的 ZKRollup 將來會支持通用的 EVM 智能合約,但當前這個技術還在開發,可能還需要數個月的時間才能見到最後的產品,其技術成熟度和進展不能滿足我們 v3 的需求。其實側鏈是相對很好的“過渡方案”。但考慮到 Optimistic Rollup 類項目的進展很快在 3 個月內就能正式主網使用,且 Optimistic Rollup 提供了比側鏈更好的去中心化特性,我們將注意力集中到 Optimistic Rollup 類的方案上。

OptimismOVM 和 Offchain Arbitrum 都是很優秀的 Optimistic 類 Rollup 方案(雖然有的時候我們稱前者爲 Optistic Rollup,稱後者爲 Arbitrum Rollup)。他們在技術原理的差別上,主要是 OVM 採用了單輪 (Single-round) 交互過程 (interactive),而 Arbitrum 採用了多輪交互過程 (Multi-round interactive)。兩個方案的其他技術差別不大。所以兩個方案在去中心化程度上可以認爲是一樣的。

我們目前選擇 Arbitrum 的主要原因是以下幾點:

  • 上鍊成本:多輪交互相比單輪交互有更低的上鍊成本 (on-chain cost)。

  • 技術成熟度:兩個方案都還沒有主網發佈。但 Arbitrum 提供了詳細的文檔、代碼和可以 Permissionless 使用評估的測試網。它的代碼在審計中。它的主網發佈計劃也符合我們項目 v3 的進展需求。我們判斷 Arbitrum 比 OVM 在技術上更爲成熟和自信。

  • 開發者友好度:Arbitrum 提供了完全兼容 EVM 的開發環境和節點 API。我們沒有修改一行代碼就無需許可的將 MCDEX V2 部署到了 Arbitrum 測試網上。包括 the Graph 等基礎設施也可以平滑使用。與之相反,OVM 要求開發者在處理時間相關的操作時略微修改代碼。更大的問題是,OVM 項目早期是審批制,這意味着不經過 OVM 團隊審批的開發者無法在早期使用 OVM。這極大地限制了開發者的自由度。

  • Sequencer 模型:Sequencer 模型是一個 Arbitrum 即將發佈的新功能。這一功能使得用戶可以在 L2 快速確認交易的狀態,而無需等到交易被提交到 L1 上。這一功能略微犧牲了去中心化程度,但大大加快了交易確認時間。利用這個功能,MCDEX V3 將具備極快的交易速度和清算能力。

我必須承認,相比 Optimistic Rollup 而言,ZKRollup 從功能上是看是更理想的技術方案。然而,ZKRollup 還存在較大的技術風險,其技術成熟還需要相當長的時間。所以,從 Arbitrum 這樣相對成熟的技術起步,推進我們的業務發展是更穩妥的方案。最後,未來也存在這樣的可能性:隨着 ZKRollup 技術的成熟,Offchain 團隊也可以給 Arbitrum 添加 ZK proof,從而將 Arbitrum 從 Optimistic Rollup 升級爲 ZKRollup。