OP+ZK，Hybrid Rollup會成為以太坊擴容的終極未來嗎？
原文作者：@kelvinfichter
原文編譯：Jaleel，BlockBeats
原文作者：原文編譯：原文作者：
原文作者：
我最近非常確信以太坊Rollup 的未來實際上ZK 和Optimistic 這兩種主要方法的混合。在這篇文章中，我將嘗試闡述我想像中的這個架構的基本要點，以及為什麼我相信這是我們應該前進的方向。請注意，我大部分時間都在研究Optimism，也就是Optimistic Rollup，但我並非ZK 專家。如果我在談論ZK 方面有任何錯誤，請隨時
一級標題指出，我會更正。一級標題我並不打算在這篇文章裡詳細敘述ZK 和Optimistic Rollups 的運作原理，如果我要花時間去解釋Rollups 的本質，那麼這篇文章將會過於冗長。所以這篇文章是基於你已經對這些技術有一定的了解，當然你不需要是專家，但至少應該知道ZK 和Optimistic Rollups 是什麼以及他們大概的運作機制。無論如何，請盡情享受閱讀本文。我們先從Optimistic Rollup 開始談起
「EVM 等效」"混合了ZK 和Optimistic Rollup 的系統最初是以Optimism 的"Bedrock 架構
為藍本的Optimistic Rollup。 Bedrock 被設計成與以太坊最大程度的兼容（「EVM 等效」），這是通過運行一個幾乎與以太坊客戶端完全相同的執行客戶端來實現的。 Bedrock 利用以太坊即將到來的共識/執行客戶端分離模型，顯著減小了與EVM 的差異（當然這過程中總會有一些變化，但我們可以處理）。
和所有優秀的Rollup 一樣，Optimism 從以太坊中提取區塊/交易數據，然後在共識客戶端中以某種確定的方式對這些數據進行排序，並將這些數據饋送到L2 執行客戶端進行執行。這種架構解決了
理想的RollupMIPS謎題的前半部分，並為我們提供了一個等效於EVM 的L2。
雖然某些情況下單向Rollup 是可以實現的
通過提供對該狀態的某種承諾，以及證明該承諾是正確的證據，我們就可以將所有Rollup 的狀態告知給以太坊。換句話說，我們正在證明「Rollup 程序」被正確執行。 ZK 和Optimistic Rollups 之間的唯一實質性區別就是這個證明的形式。在ZK Rollup 中，你需要提供一個明確的零知識證明來證明程序的正確執行。而在Optimistic Rollup 中，不提供明確的證據就可以對承諾做出聲明，通過挑戰和質疑你的聲明，其他用戶可以強制你參與一場來回推敲和挑戰的「遊戲」，以此確定最終誰是對的。
一級標題
。我們這樣做是因為我們需要在鏈上建立一個程序的解釋器，而建立一個MIPS 解釋器比建立一個EVM 解釋器要容易得多。 EVM 也是一個不斷變化的目標（我們有定期的升級分叉），而且且並不能完全包含我們想要證明的程序（裡面也有一些非EVM 的東西）。
一級標題
一級標題
總的來說，我堅信Optimistic Rollups 將在接下來的幾年中佔據主導地位。有人認為ZK Rollups 最終會超越Optimistic Rollups，但我並不同意這種看法。我覺得Optimistic Rollups 當前的相對簡單性和靈活性意味著它們可以逐漸轉變為ZK Rollups。如果我們能找到一種模式來實現這種轉變，那麼就沒必要費力去建立一個更不靈活、更脆弱的ZK 生態系統，我們可以簡單地部署到一個已經存在的Optimistic Rollup 生態系統中。
一級標題"zkMIPS"一級標題
然而，我們的L2 只不過是一個在簡單機器（比如MIPS）上運行的程序。我們完全有可能為這種簡單的機制構建一個ZK 電路。然後，我們可以利用這個電路來明確地證明L2 程序的正確執行。在不對當前的Bedrock 代碼庫做任何修改的情況下，你就可以開始為Optimism 發布有效性證明了。實際操作起來就是這麼簡單。
簡單澄清一下：雖然在這一部分，我提到了
二級標題
zkMIPS 比zkEVM 更容易
構建一個zkMIPS（或其他任何類型的zk 虛擬機）相比zkEVM 有一個重大優勢：目標機器的架構簡單且靜態。 EVM 經常發生變化，Gas 價格會調整，操作碼也會改變，一些元素會被添加或移除。而MIPS-V 自1996 年以來就沒有改變過。將焦點集中在zkMIPS 上，你就在處理一個固定的問題空間。每當EVM 更新時，你都無需更改甚至重新審核你的電路。
二級標題
zkMIPS 比zkEVM 更靈活
零知識證明的時間沿著兩個軸度進行擴展：約束的數量和電路的大小。通過專注於像MIPS 這樣的簡單機器的電路（而不是像EVM 這樣的更複雜的機器），我們能夠顯著減少電路的大小和復雜度。然而，約束的數量取決於執行的機器指令的數量。每個EVM 操作碼都被分解成多個MIPS 操作碼，這意味著約束的數量顯著增加，你的總體證明時間也顯著增加。
像這樣的電路的初始證明時間可能超過了7 天的Optimistic Rollup 提款期。隨著時間的推移，這個證明時間只會減少。通過引入ASIC 和FPGA，我們可以顯著加快證明時間。有了一個
二級標題
由於零知識電路的工作可以直接應用在已經運行的鏈上，你可以同時進行核心平台的構建和證明軟件的開發。由於客戶端可以在不改變電路的情況下進行修改，你可以解耦你的客戶端和證明團隊。採用這種方式的Optimistic Rollup 可能在實際鏈上的活動方面比零知識競爭者領先多年。
結論
結論
