作者：0x Facai、Jaleel，BlockBeats
6 月16 日，混合算法穩定幣協議Frax Finance 宣布推出名為Fraxchain 的以太坊Layer 2 網絡，所有Frax 資產都將在Fraxchain 上得到原生支持。據悉，Fraxchain 將採用了混合了OP Rollups 和ZK Rollup 的Hybrid rollup 擴容方案，旨在實現更好的可擴展性、更快的最終確定性並增強針對競爭對手的安全性，引起加密社區不少的關注。
實際上，這種融合Rollup 思路並非什麼新鮮事，早在2022 年7 月，Optimism 核心開發者Kelvin Fichter 開發Optimism Bedrock 架構，就曾經發推提出過這種混合思路，稱「Optimistic Rollup 目前相比ZK 同類產品具有優勢，而Bedrock 旨在使Optimistic 和ZK 之間的無縫過渡成為可能」，並基於此話題和太坊聯合創始人Vitalik Buterin 進行了討論。
就著Kelvin Fichter 的思路，以太坊聯合創始人Vitalik Buterin 也發表了自己的看法：將Optimistic Rollups 與ZK Rollups 結合起來，治理僅用於解決兩者之間的Bug，其流程是： 1）發佈區塊， 2）等待24 小時時長的欺詐挑戰期；3 （a）如果沒有挑戰，則發布ZK SNARK，最終確認；3 （b）如果出現了挑戰，根據（挑戰遊戲、ZK SNARK 以及治理）的3 個選項中的2 個做出決定。
隨著越來越多的加入二層擴容競爭，這種Rollup 融合型擴容思路越來越多地得以應用，除了Optimism，市面上還有多個團隊開始研究和嘗試Hybrid Rollups。什麼是Hybrid Rollups？為什麼要選擇Hybrid Rollups？有哪些團隊在這個領域做開發？ BlockBeats 在此文中進行了解析和整理。
什麼是Hybrid Rollup?
Hybrid Rollup 是一種混合思路的Rollup，通過結合Optimistic Rollups 與ZK Rollup 兩種技術，最大限度地優化產品功能，從而找到產品和市場的最佳契合點PMF（Product-Market Fit），也就是做到產品-市場匹配。
要弄清楚Hybrid Rollup 是什麼，首先需要先理解Optimistic Rollup 和ZK Rollup 分別是什麼。
首先，Rollup 是一種以太坊擴展方案之一，它將以太坊主網（即Layer 1）上交易的計算和存儲轉移至Layer 2 處理並壓縮，再將壓縮後的數據上傳至以太坊主網以拓展以太坊性能。
本質上，用戶不是將交易發送到L1 的礦工那裡，而是將其交易發送到Rollup 服務器，在以太坊主鏈之外執行交易。不過，這些Rollup 會將交易數據發佈到以太坊主鏈。當將交易發佈到主鏈時，它們將繼承L1 的安全屬性。 Rollup 通常具有可編程性，因此需要支持智能合約（SC）語言，以便開發者開發DApp。然而，由於Privacy 與EVM（以太坊虛擬機）不兼容，因此Solidity 並不能直接用於開發隱私類型的DApp。這需要一種定制化的智能合約語言，以支持公共合約和私有的合約編寫。當然，由於需要維護不同類型的狀態樹，這需要進行VM 模塊適配。
Rollup 通常在第二層運行，同時具有在第三層運行的靈活性。
按照確保壓縮數據的有效性（即數據正確）的不同方案，Rollup 又可分為ZK Rollup 和Optimistic Rollup。
ZK Rollup 是一種採用零知識證明的Rollup 方案，ZK 是zero knowledge（零知識）的縮寫。和其他Rollup 的不同之處在於，ZK Rollup 採用zkSNARK 算法（一種零知識證明算法）來壓縮數據和確保安全性。
Optimistic Rollup 字面理解是樂觀主義的Rollup，它樂觀地默認被同步到Layer 1 上的數據是正確的，如果誰認為被同步的數據不正確（即存在欺詐行為），可在挑戰期發出挑戰。因此這種證明方式也叫欺詐性證明，以此保證最後同步到Layer 1 的數據是有效的。
Hybrid 則是混合了兩種Rollup 的方案，支持更多的合約類型，包括公共、私有和混合合約類型，對於開發者來說，可基於自身需求自由選擇合約類型，對於用戶來說，也具有較高的自由度，可以在混合合約中自由選擇交易類型。
下面的圖表簡單地描繪了Hybrid 混合Rollup 的定位和功能。目前，已知有多個項目致力於在這個方向上進行構建。儘管每個項目的技術細節有所不同，但他們都有一個共同的願景：為區塊鏈行業帶來更多的可能性、更高的安全性能、更多的現實世界場景和更多的日常用戶。
哪些團隊在嘗試Hybrid Rollup？
OP+ZK 的Rollup 技術聽上去似乎離我們還很遙遠，但實際上已經有不少知名加密協議和項目在這個領域進行了嘗試。除了近期剛剛宣布L2 網絡Fraxchain 的Frax Finance，還有很多一流團隊也做出了自己的產品。 BlockBeats 對這些協議和項目進行了簡要梳理。
Frax Finance
BlockBeats 此前報導，據The Block 消息， 6 月16 日，混合算法穩定幣協議Frax Finance 宣布將推出名為Fraxchain 的以太坊Layer 2 網絡，該網絡將致力於創建一個智能合約平台，重點關注去中心化金融領域，所有Frax 資產都將在Fraxchain 上得到原生支持。 Frax Finance 聯合創始人Sam Kazemian 透露，Fraxchain 很可能在今年年底推出。
此外，Frax Finance 創始人Sam Kazemian 近日參加播客節目「Flywheel DeFi」時透露，和大部分市面上的二層擴容方案不同，Fraxchain 將採用混合了 OP Rollups 和ZK Rollup 的Hybrid rollup 擴容方案，這意味著Fraxchain 將建立在Optimistic rollup 架構之上，並集成了零知識證明，旨在實現更好的可擴展性、更快的最終確定性並增強針對競爭對手的安全性。
值得注意的是，該網絡將使用Frax 穩定幣和Frax Ether（Frax 流動質押衍生品）來支付交易費用。該二層網絡中產生的部分費用將被銷毀或重定向回以太坊主網，以分配給FXS 治理代幣的持有者。
Metis
BlockBeats 此前報導，今年3 月3 日，專注於L2 建設的MetisDAO 在博文中表示，以太坊Layer 2 網絡Metis 正在開發基於Optimistic Rollup（OPR）與零知識證明（ZKP）結合的混合Rollup，將Optimistic Rollups 的可擴展性與ZK Rollup 的安全性相結合。同時，Metis 表示將把開發這種新架構作為其首要任務之一，並將會開源該技術。
在Metis Andromeda 發布的2023 路線圖中，Hybrid Rollup 佔據了很大一塊篇幅，足以證明Metis 對其的重視程度。
Metis 網絡中Hybrid Rollup 的工作流程 Aztec
BlockBeats 此前報導， 5 月4 日，Aztec 宣布將推出一個公開和隱私混合型zkRollup 網絡，該網絡將繼續沿用Aztec 的名字，其特點為可以在一種環境內執行公共和隱私的智能合約，這將有助於擴展開發者在該鏈上的設計選擇。
Aztec 允許以公開和隱私的方式執行智能合約邏輯，同時仍然繼承以太坊的安全優勢。在Aztec 上，隱私是一種可選性，而非默認要求。其目標是擴展以太坊，即在所有數據保持公開的同時，具有隱私函數調用、交易隱私和用戶匿名性的功能。這允許用戶保護敏感信息不被洩漏，同時仍然能夠在必要時與相關機構共享這些信息以實現合規目的。 Aztec 還表示，團隊目前正在完成基本合約部署，預計將在2023 年第三季度之前建立本地測試網，而用戶有望在2024 年初之前訪問成熟的公共測試網。
Polygon
去年5 月，Polygon 和全球專業服務和技術公司安永(EY，Ernest & Young) 建立合作關係，並發布Nightfall 3.0 版本。 Polygon Nightfall 本質上是一個利用zk 加密保護隱私的Optimistic Rollup，最突出的特點是有效地將Optimistic Rollup 的主幹概念與ZK-Rollups 中常用的零知識(ZK) 密碼學相結合，從而實現了可擴展性和隱私性的融合。
事實上，早在2019 年，安永就公佈了Nightfall 的初始版本，和其他zk 解決方案最不同的一點是，Nightfall 是以隱私為重點的rollup，安永將其定位為「以太坊上最突出的隱私解決方案之一」。具體來說，就是Nightfall 上每筆交易都包含隱私，意味著如果Alice 向Bob 發送一筆資產，其他人將無法看到該資產是什麼、包含了多少價值或它去了哪裡。
之所以更注重交易的隱私性，是因為安永瞄準的客戶是企業。最開始，Nightfall 試圖直接在以太坊上構建第一個企業級區塊鏈，但最後發現，在以太坊主網擁有隱私過於昂貴，於是轉了L2 並最終選擇和Polygon 合作。
Mina
輕量級區塊鏈協議Mina 開發團隊O( 1) Labs 已向Optimism（已更名為OP Mainnet）提交提案，建議將旗下基於MIPS zkVM 構建的零知識證明技術應用於OP Stack 欺詐證明，其中MIPS 功能除了本地高性能的snarkyJS 外，還允許使用通用語言編寫應用程序。
此外，Optimism 已於北京時間6 月7 日凌晨2 點50 分完成主網Bedrock 升級，升級後不僅可降低交易費用、縮短系統延遲、提高節點性能等方面進行升級。此外，也讓Optimistic 和ZK 之間的無縫銜接成為可能。
為什麼要選擇Hybrid Rollups？
採用「Optimistic +ZK Rollups」這種混合型架構，可最大化程度地優化兩者優勢，這意味著，不僅可保留Optimistic Rollup 架構，EVM 兼容，而且通用性零知識證明可最大化增強安全性，其有效性證可明確保鏈下交易的正確性，同時，防止操作者執行無效的狀態轉換。
ZK Rollup 可提高吞吐量，這是因為零知識證明消除了對額外數據的需求，每筆交易僅保留所需的最低限度。這大大增加了吞吐量，降低以太坊擁堵。
此外，ZK Rollup 還帶來了額外的好處，即提升交易速度和更快得獲得最終確定性。
通過對Optimistic Rollup 架構實施零知識證明，交易最終確定時間將從7 天減少到大約4 小時。通常存在兩種類型的時間，分別是確認時間和最終確定時間。 Optimistic Rollup 提供更快的確認時間，然而，Optimistic Rollup 成立的前提假設是所有交易一開始都是有效的，因此需要7 天的緩衝期，也就是說，需要確認交易7 天后才能實現完全的交易最終確定，這7 天的窗口期是留給驗證者提交欺詐證明的（如果有需求的話）。結合零知識證明，只要證明者生成證明並且驗證者進行批准，就可更快地確認交易的有效性。
無需延遲即可從L2 提取資金，這也意味著融合型Rollup 將會為用戶帶來更高的資本效率。
