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

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

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

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

Synthetix：6月7日Bedrock升級期間，Optimism上所有Synthetix合約將無法訪問:5月19日消息，合成資產協議Synthetix發文稱，在北京時間6月7日00:00至04:00Optimism主網Bedrock升級期間，Optimism上所有Synthetix合約將無法訪問。從5月30日開始，Optimism交易獎勵將暫時停止。從北京時間6月5日00:00開始，現有永續合約頭寸將關閉，無法開設新頭寸。在Bedrock升級前10分鐘，即北京時間6月6日23:50，所有永續合約市場將暫停，發行（staker鑄造/銷毀）將在以太坊與Optimism上暫停，synth交換將在Optimism上暫停，以太坊主網上的所有Synthetix合約都可以訪問。之后繼續交易獎勵將取決于順利升級與隨后恢復交易的情況。在升級期間，Optimism上的所有Synthetix合約將因Optimism停機而無法訪問。一旦Bedrock升級完成，所有功能和合約都將解禁并可以訪問。[2023/5/20 15:14:41]

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

Su Zhu 等人創辦的索賠和衍生品平臺 OPNX 已上線:4月4日消息，Three Arrows Capital 創始人 Su Zhu 等人創辦的加密索賠和衍生品交易平臺 Open Exchange（OPNX）宣布正式上線。OPNX 表示，接下來將向用戶支持 Celsius、FTX 資產索賠。

OPNX 對破產索賠進行分組，并將其代幣化，這些代幣化索賠可以在訂單簿交易所進行交易。OPNX 也允許以破產債權作為抵押品對主要資產進行永續合約交易。

此前報道，加密索賠交易和衍生品的公共市場 OPNX 于 3 月初收購了 CoinFLEX 的所有資產，包括人員、技術和代幣，FLEX 將是他們的主要代幣，可能的品牌重塑為：將以 1:1 的比例交換。[2023/4/4 13:44:29]

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

微軟發布Azure OpenAI服務新功能:金色財經報道，微軟公司副總裁，微軟大中華區首席運營官康容宣布，微軟在全球版Azure服務中正式上線了Azure OpenAI服務，以提供SLA保證的企業級服務。

據官方介紹，OpenAI服務在互聯網、游戲、金融、零售、醫藥乃至自動駕駛、智能制造領域擁有著廣闊的應用前景。

金色財經此前報道，微軟與web3基礎設施提供商Ankr合作，為需要區塊鏈數據訪問的企業提供節點服務。[2023/3/3 12:40:58]

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

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

NFT項目Drops將在Polkastarter上進行IDO:據官方推特消息，NFT項目Drops宣布將在Polkastarter上進行IDO。此前消息，Drops宣布完成100萬美元私募融資。該筆資金將用于開發、營銷、運營費用和流動性供應。[2021/5/8 21:35:48]

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

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

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

聲音 | 英國金融行為監管局：Bex Options以及Gulf FX提供的金融產品未獲得授權:據fxshell報道，英國金融行為監管局（FCA）日前提醒投資者，Bex Options以及Gulf FX向英國居民提供的金融服務或產品未獲得機構授權。Bex Options網站顯示，其運營公司為Bex Options Trade and Investmen，自稱可提供加密貨幣交易。其中，Gulf FX涉嫌克隆受FCA監管的合規公司Gulf Central Merchant Bank Ltd。[2018/12/19]

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

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

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

另一個關鍵觀點是，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：OPTOPTIPTIIMIOptimusCatThisoptionOption Pandaunlimitedip

OKB