OPTI:OP+ZK Hybrid Rollup會成為以太坊擴容的終極未來嗎？_TIM

我并不打算在這篇文章里詳細敘述 ZK 和 Optimistic Rollups 的運作原理，如果我要花時間去解釋 Rollups 的本質，那么這篇文章將會過于冗長。所以這篇文章是基于你已經對這些技術有一定的了解，當然你不需要是專家，但至少應該知道 ZK 和 Optimistic Rollups 是什么以及他們大概的運作機制。無論如何，請盡情享受閱讀本文。

混合了 ZK 和 Optimistic Rollup 的系統最初是以 Optimism 的Bedrock 架構為藍本的 Optimistic Rollup。Bedrock 被設計成與以太坊最大程度的兼容（「EVM 等效」），這是通過運行一個幾乎與以太坊客戶端完全相同的執行客戶端來實現的。Bedrock 利用以太坊即將到來的共識/執行客戶端分離模型，顯著減小了與 EVM 的差異（當然這過程中總會有一些變化，但我們可以處理）。

和所有優秀的 Rollup 一樣，Optimism 從以太坊中提取區塊/交易數據，然后在共識客戶端中以某種確定的方式對這些數據進行排序，并將這些數據饋送到 L2 執行客戶端進行執行。這種架構解決了"理想的 Rollup"謎題的前半部分，并為我們提供了一個等效于 EVM 的 L2。

Shopify和Thirdweb聯合推出能夠構建支持Web3的電子商務應用程序:金色財經報道，電子商務公司Shopify和 Web3 基礎設施協議 Thirdweb 將共同推出一個工具包，使開發人員能夠構建支持 Web3 的電子商務應用程序。這個工具被稱為“CommerceKit”，它使開發人員和商家可以更輕松地將 Web3 功能集成到他們的在線商店和網站中。

因此，店主將能夠改進他們的電子商務應用程序。例如，他們可以使用該工具來集成基于 NFT 的數字收藏品，從而獲得獨家代幣門禁項目或鏈上忠誠度計劃。[2023/3/9 12:50:55]

當然，我們現在還需要解決的問題是：以可驗證的方式將 Optimism 內部發生的事情告訴以太坊。如果這個問題沒有解決，智能合約就無法根據 Optimism 的狀態來做決定。這將意味著用戶可以向 Optimism 存款，但無法提取他們的資產。雖然某些情況下單向 Rollup 是可以實現的，但在大部分情況下，雙向 Rollup 更為有效。

通過提供對該狀態的某種承諾，以及證明該承諾是正確的證據，我們就可以將所有 Rollup 的狀態告知給以太坊。換句話說，我們正在證明「Rollup 程序」被正確執行。ZK 和 Optimistic Rollups 之間的唯一實質性區別就是這個證明的形式。在 ZK Rollup 中，你需要提供一個明確的零知識證明來證明程序的正確執行。而在 Optimistic Rollup 中，不提供明確的證據就可以對承諾做出聲明，通過挑戰和質疑你的聲明，其他用戶可以強制你參與一場來回推敲和挑戰的「游戲」，以此確定最終誰是對的。

0xScope：孫宇晨在圣誕節套現1億美元:12月26日消息，0xScope發推表示，孫宇晨在圣誕節套現1億美元，孫宇晨相關地址此前將1.98億枚Tron鏈上USDT轉入幣安，并于5分鐘后從幣安取出了相同數量的以太坊鏈上USDT。之后，該地址通過1inch將1億枚USDT交易為USDC并轉入Circle進行套現。[2022/12/26 22:08:33]

我并不打算詳細講述 Optimistic Rollup 的挑戰部分。值得注意的是，這個環節的最新技術是將你的程序（在 Optimism 的情況下是 Geth EVM + 一些邊緣的部分）編譯成一些簡單的機器架構，如MIPS。我們這樣做是因為我們需要在鏈上建立一個程序的解釋器，而建立一個 MIPS 解釋器比建立一個 EVM 解釋器要容易得多。EVM 也是一個不斷變化的目標（我們有定期的升級分叉），而且且并不能完全包含我們想要證明的程序（里面也有一些非 EVM 的東西）。

一旦你為你的簡單機器架構構建了一個鏈上的解釋器，并且創建了一些離線工具，你就應該有一個完全功能的 Optimistic Rollup。

總的來說，我堅信 Optimistic Rollups 將在接下來的幾年中占據主導地位。有人認為 ZK Rollups 最終會超越 Optimistic Rollups，但我并不同意這種看法。我覺得 Optimistic Rollups 當前的相對簡單性和靈活性意味著它們可以逐漸轉變為 ZK Rollups。如果我們能找到一種模式來實現這種轉變，那么就沒必要費力去建立一個更不靈活、更脆弱的 ZK 生態系統，我們可以簡單地部署到一個已經存在的 Optimistic Rollup 生態系統中。

加拿大上市區塊鏈公司Graph Blockchain將收購AI加密分析工具公司Optimum Coin Analyzer:加拿大上市區塊鏈公司Graph Blockchain宣布已針對收購AI加密分析工具公司Optimum Coin Analyzer簽訂有約束力的意向書。Graph將收購Optimum所有已發行和流通的股票。Graph和Optimum將在意向書發出之日起20日內完成相互的盡職調查，隨后，Graph和Optimum將簽訂完成收購的股票交易協議。Optimum使用AI分析引擎檢索、觀察和分析社交媒體數據，以追蹤各類指標人物，監控并提供情緒、相關性及預測性分析。Graph CEO Paul Haber表示：“收購Optimum的目的是幫助管理山寨幣投資組合，改善決策，幫助加密投資者優化投資回報。”（雅虎財經）[2021/8/10 1:45:10]

因此，我的目標是創建一種架構和遷移路徑，使現有的現代 OP 生態系統（比如 Bedrock）能夠無縫地轉變為 ZK 生態系統。我相信這不僅是可行的，而且是一種超越當前 zkEVM 方法的方式。

我們首先從我前文中描述的 Bedrock 架構開始。請注意，我已經（簡短地）解釋過，Bedrock 設有一個挑戰游戲，可以驗證 L2 程序（運行 EVM + 一些額外內容的 MIPS 程序）某些執行的有效性。這種方法的一個主要缺點是，我們需要預留一段時間，讓用戶有機會檢測到并成功挑戰一個錯誤的程序結果提案。這會在資產提取過程中增加相當多的時間（在當前的 Optimism 主網上是 7 天）。

鏈上期權協議Opyn宣布部分抵押期權產品已上線主網:鏈上期權協議Opyn發推稱，部分抵押期權產品已上線主網，主要特征如下：提高賣空期權的杠桿率；賣出更多期權以獲得更高的收益；減少資本投入，提高投資組合的靈活性。Opyn官方稱，這對DeFi來說是一項重大的資本效率提高。[2021/6/30 0:17:02]

然而，我們的 L2 只不過是一個在簡單機器（比如 MIPS）上運行的程序。我們完全有可能為這種簡單的機制構建一個 ZK 電路。然后，我們可以利用這個電路來明確地證明 L2 程序的正確執行。在不對當前的 Bedrock 代碼庫做任何修改的情況下，你就可以開始為 Optimism 發布有效性證明了。實際操作起來就是這么簡單。

簡單澄清一下：雖然在這一部分，我提到了"zkMIPS"，但實際上我是把它作為代表所有通用且簡化的零知識證明虛擬機（zkVM）的術語。

構建一個 zkMIPS（或其他任何類型的 zk 虛擬機）相比 zkEVM 有一個重大優勢：目標機器的架構簡單且靜態。EVM 經常發生變化，Gas 價格會調整，操作碼也會改變，一些元素會被添加或移除。而 MIPS-V 自 1996 年以來就沒有改變過。將焦點集中在 zkMIPS 上，你就在處理一個固定的問題空間。每當 EVM 更新時，你都無需更改甚至重新審核你的電路。

聲音 | TOP Network聯合創始人：在huobi Prime上幣更看重長期價值:TOP Network 的聯合創始人?Noah Wang在接受采訪時就在?Huobi Prime上幣問題表示，火幣 Prime 不是 IEO，而是一個二級市場的上幣通道，我們是看中火幣這個合作伙伴和他們活躍的用戶而做的決策。區塊鏈世界的熱點大多數都是短期的，我們更看中做這件事情是不是有一個長期的影響。比如選擇的交易所的質量，它跟我們是不是有共同的目標、是不是能長期的合作、溝通交流是否順暢。在與李林接觸的過程中，他關心更多的是實際的東西，比如你的技術是不是真能落地、什么時候落地，跟他開會的過程中，80% 的時間都是花在這些問題上，而不是說商務條款。[2019/3/22]

另一個關鍵觀點是，zkMIPS 比 zkEVM 更具靈活性。通過 zkMIPS，你可以隨心所欲地更改客戶端代碼，執行各種優化，或者改進用戶體驗，而無需對應的電路更新。你甚至可以創建一個核心組件，將任何區塊鏈變為 ZK Rollup，而不僅僅是以太坊。

零知識證明的時間沿著兩個軸度進行擴展：約束的數量和電路的大小。通過專注于像 MIPS 這樣的簡單機器的電路（而不是像 EVM 這樣的更復雜的機器），我們能夠顯著減少電路的大小和復雜度。然而，約束的數量取決于執行的機器指令的數量。每個 EVM 操作碼都被分解成多個 MIPS 操作碼，這意味著約束的數量顯著增加，你的總體證明時間也顯著增加。

然而，減少證明時間也是一個深植于 Web2 領域的問題。考慮到 MIPS 機器架構短期內不太可能改變，我們可以高度優化電路和證明器，而不必考慮 EVM 的未來變化。我對雇傭一位資深硬件工程師來優化一個明確定義的問題感到非常自信，這樣的工程師的數量可能是構建和審核一個不斷變化的 zkEVM 目標的工程師數量的十倍甚至百倍。諸如 Netflix 這樣的公司可能有大量的硬件工程師在優化轉碼芯片，他們很可能愿意用一堆風險投資基金來迎接這個有趣的 ZK 挑戰。

像這樣的電路的初始證明時間可能超過了 7 天的 Optimistic Rollup 提款期。隨著時間的推移，這個證明時間只會減少。通過引入 ASIC 和 FPGA，我們可以顯著加快證明時間。有了一個靜態的目標，我們可以構建更優化的證明器。

最終，這個電路的證明時間會低于當前的 7 天 Optimism 提款期，我們可以開始考慮移除 Optimism 的挑戰過程。運行一個證明器 7 天可能仍然過于昂貴，所以我們可能會希望再等一段時間，但是這一點是站得住腳的。你甚至可以同時運行兩種證明系統，這樣我們可以盡快開始使用 ZK 證明，并在證明器出于任何原因失敗時回到 Optimism 證明。準備好的時候，可以以完全透明于應用程序的方式去除 Optimism 證明，于是，你的 Optimistic Rollup 就變成了 ZK Rollup。

運行一個區塊鏈是一個復雜的問題，它不僅僅涉及到編寫大量的后端代碼。在 Optimism，我們的許多工作都集中在通過提供有用的客戶端工具來提高用戶和開發者的體驗。我們也在「軟性」問題上投入了大量的時間和精力：與項目進行對話，理解他們的痛點，設計激勵機制。你在鏈軟件上投入的時間越多，就越沒有時間去處理這些其他事情。雖然你總可以試圖雇傭更多的人，但組織并不是線性擴展的，每一個新的雇員都會增加內部的溝通成本。

由于零知識電路的工作可以直接應用在已經運行的鏈上，你可以同時進行核心平臺的構建和證明軟件的開發。由于客戶端可以在不改變電路的情況下進行修改，你可以解耦你的客戶端和證明團隊。采用這種方式的 Optimistic Rollup 可能在實際鏈上的活動方面比零知識競爭者領先多年。

非常坦白地說，我認為 zkMIPS 證明器沒有任何明顯的不足，除非它不能隨著時間大幅優化。我認為對應用的唯一真正影響是，可能需要調整不同操作碼的 gas 成本，以反映這些操作碼增加的證明時間。如果真的無法將此證明器優化到合理的水平，那么我承認我失敗了。但如果真的可以優化這個證明器，那么 zkMIPS/zkVM 的方法可能會完全取代現在的 zkEVM 方法。這聽起來可能是一種激進的說法，但不久前，單步樂觀故障證明已經完全被多步證明所取代。

金色早8點

Odaily星球日報

金色財經

Block unicorn

DAOrayaki

曼昆區塊鏈法律

Tags：TIMOPTOPTIPTITIMERSOPTIG價格optimus幣總量Pepe Optimus

非小號