ETH的(Of)主要(Want)叙事方向已經從L1轉向L2，如果我們還将其解讀爲(For)“一(One)鍵發行代币”的(Of)ERC-20叙事，那麽不(No)妨将格局放大(Big)一(One)點，設想一(One)個(Indivual)“一(One)鍵發行鏈”的(Of)瘋狂未來！Arbitrum基于(At)這(This)樣一(One)個(Indivual)事實，即沒有旁人(People)能夠做到這(This)一(One)點！Arbitrum憑借其無與倫比的(Of)生态系統和(And)高額TVL一(One)直引領着L2的(Of)競争格局，但這(This)種暫時(Hour)性的(Of)勝利能長久持續嗎？與另一(One)層L3解決方案Arbitrum Orbit不(No)同，OP Stack是(Yes)一(One)個(Indivual)“super chain”（超級鏈），可以(By)一(One)鍵創建L2。本文将用(Use)三個(Indivual)部分對OP Stack、OP中的(Of)ZK元素以(By)及Rollup的(Of)安全問題進行全面分析。

1、OP Stack開啓“Superchain世界”

下一(One)輪牛市的(Of)叙事将從何開啓？是(Yes)始于(At)高性能的(Of)L1，網絡層L3，ZK系統中的(Of)L2，還是(Yes)OP Stack Superchain？這(This)是(Yes)一(One)個(Indivual)非常有趣并發人(People)深省的(Of)問題。Ether Killer這(This)一(One)稱号始終是(Yes)所有公鏈不(No)可逾越的(Of)目标，但其中隐藏着許多superkernel，OP Stack就是(Yes)一(One)個(Indivual)。

（1）OP Stack是(Yes)什麽？

• OP Stack可以(By)被理解爲(For)一(One)組開源軟件組件，允許任何人(People)使用(Use)Optimisitc Rollup在(Exist)以(By)太坊上(Superior)構建自己的(Of)L2區塊鏈。OP Stack由四個(Indivual)主要(Want)組件構成：

• 主網：OP主網是(Yes)一(One)個(Indivual)低成本且快速的(Of)以(By)太網L2網絡，與以(By)太坊虛拟機EVM兼容。

• 合約：即實現OP Stack核心邏輯和(And)功能的(Of)智能合約。OP合約包括狀态轉換系統（STS）；欺詐證明（FP）；狀态承諾鏈（SCC）；以(By)及規範交易鏈（CTC）。

• 服務：提供數據可用(Use)性、同步性以(By)及L1和(And)L2之間通信的(Of)服務。

• 工具：用(Use)于(At)促進基于(At)OP Stack的(Of)區塊鏈的(Of)開發、測試、部署、監控和(And)調試的(Of)工具。

（2）一(One)流的(Of)開放性

OP Stack将被構建爲(For)一(One)個(Indivual)可分叉的(Of)、模塊化的(Of)、可擴展的(Of)區塊鏈基礎設施。爲(For)了(Got it)實現這(This)一(One)願景，所有類型的(Of)L2都需要(Want)整合爲(For)一(One)個(Indivual)單一(One)的(Of)superchain，将彼此分離的(Of)L2整合成一(One)個(Indivual)可互操作(Do)的(Of)組合系統，L2的(Of)發布将像今天在(Exist)以(By)太坊上(Superior)部署智能合約一(One)樣簡單。它可以(By)讓 “一(One)鍵發行代币”叙事轉變爲(For)“一(One)鍵發行鏈”叙事。從本質上(Superior)講，Hyperchain是(Yes)一(One)個(Indivual)橫向可擴展的(Of)區塊鏈網絡，可共享以(By)太的(Of)安全性，以(By)及通信層和(And)開發工具。

OP Stack将是(Yes)hyperchain以(By)及無數相互連接、通信的(Of)區塊鏈背後的(Of)統一(One)模塊化開發堆棧。OP Stack由Optimism Collective開發和(And)維護，支持用(Use)于(At)新聚合網絡部署的(Of)共享開源系統。同時(Hour)，它也是(Yes)一(One)組标準化的(Of)開源模塊。這(This)聽起來像是(Yes)完全基于(At)以(By)太坊安全性的(Of)Cosmos，但現在(Exist)OP Stack已經成爲(For)Cosmos Killer，而ETH和(And)ATOM的(Of)互補性廣爲(For)人(People)知。接下來，讓我們具體來看OP Stack的(Of)定義：

模塊是(Yes)任何開發人(People)員都可以(By)插入到OP Stack中的(Of)數據位。Superchain的(Of)“标準化”意味着對模塊的(Of)标準有一(One)個(Indivual)共識，并且每個(Indivual)人(People)都可以(By)實施該标準。它也是(Yes)完全開源的(Of)，也就是(Yes)說任何人(People)都可以(By)免費開發叠代和(And)發送請求。開發人(People)員可以(By)在(Exist)鏈的(Of)不(No)同執行層、共識層、結算層和(And)數據可用(Use)性層之間切換模塊。

就像dYdX選擇離開以(By)太坊轉向Cosmos應用(Use)鏈一(One)樣，根本原因是(Yes)他(He)們希望在(Exist)他(He)們的(Of)鏈的(Of)共識層中有更高度的(Of)模塊化，我認爲(For)這(This)是(Yes)一(One)個(Indivual)很好的(Of)開始，可以(By)讓更多的(Of)獨立dapp選擇獨立開發的(Of)公鏈，最著名的(Of)就是(Yes)Luna，雖然出(Out)于(At)某些原因它最終失敗了(Got it)。值得慶幸的(Of)是(Yes)，OP Stack通過以(By)更簡單的(Of)方式設計分叉代碼解決了(Got it)這(This)個(Indivual)問題，它允許開發人(People)員輕松地提取區塊鏈的(Of)不(No)同組件，并通過插入不(No)同的(Of)模塊進行修改。

（3）OP Stack設計原理

• 高效性：你可以(By)使用(Use)OPStack構建任何東西，隻需要(Want)一(One)鍵點擊就可以(By)發布區塊鏈；

• 簡單性：利用(Use)可重用(Use)代碼和(And)現成的(Of)開發工具來增強安全性并降低維護的(Of)複雜性，從而減輕整體障礙；

• 可擴展性：Optimism Collective将完全開源OPStack主要(Want)代碼。

在(Exist)架構上(Superior)，OPStack從下到上(Superior)可分爲(For)六層，分别爲(For)：DA（數據可用(Use)性）層、排序層、派生層、執行層、結算層、治理層。OP Stack的(Of)每一(One)層都是(Yes)一(One)個(Indivual)模塊化的(Of)API，可以(By)随意組合和(And)解耦。其中最關鍵的(Of)是(Yes)DA層、執行層和(And)結算層，它們構成了(Got it)OP Stack的(Of)主要(Want)工作(Do)流。

• DA層：數據可用(Use)性層是(Yes)OP Stack的(Of)原始數據源，可以(By)使用(Use)單個(Indivual)或多個(Indivual)數據可用(Use)性模塊來獲取輸入數據，目前最主要(Want)的(Of)DA層是(Yes)以(By)太坊，但未來會有更多鏈。

• 執行層：OP Stack中的(Of)狀态結構，爲(For)EVM或使用(Use)其他(He)VM提供了(Got it)可能性，增加了(Got it)對以(By)太上(Superior)發起的(Of)L2交易的(Of)支持，同時(Hour)在(Exist)将交易發布到以(By)太的(Of)綜合成本中增加了(Got it)每筆交易的(Of)額外L1數據成本。

• 結算層：該層彙集了(Got it)OP Stack上(Superior)的(Of)L2交易數據，在(Exist)L2确認信息後将信息發送到目标鏈，以(By)完成結算。未來，它還有望訪問ZK和(And)其他(He)有效性證明機制，以(By)彌合不(No)同鏈之間的(Of)差距，甚至連接OP系統L2和(And)ZK系統L2之間的(Of)silos孤島。

從最近OP發現的(Of)幾個(Indivual)帶有ZK元素的(Of)項目來看，我們盡可以(By)大(Big)膽想象，比如某Optimistic rollup想要(Want)轉型爲(For)ZK rollup，沒問題！隻需将其欺詐證明模塊替換爲(For)結算層的(Of)有效性證明模塊。如果一(One)個(Indivual)鏈想要(Want)使用(Use)Celestia作(Do)爲(For)其數據可用(Use)性層，沒問題！把以(By)太坊換成Celestia。如果你想用(Use)一(One)種不(No)同類型的(Of)虛拟機替換執行層中的(Of)EVM，不(No)幸的(Of)是(Yes)，這(This)隻是(Yes)OP Stack的(Of)一(One)種技術可能性。在(Exist)這(This)種mega-chain的(Of)情景下，一(One)個(Indivual)熱門趨勢誕生了(Got it)——“Polygon：我想成爲(For)ZK L2的(Of)Cosmos！Optimism：我想成爲(For)OP L2的(Of)Cosmos！Cosmos：那我又是(Yes)誰？”

（4）OP Stack Law

以(By)太坊無限的(Of)區塊空間是(Yes)邁向大(Big)規模采用(Use)的(Of)關鍵一(One)步，但與此同時(Hour)也帶來了(Got it)碎片化問題，無需許可的(Of)部署帶來了(Got it)新的(Of)挑戰。今天，每個(Indivual)新的(Of)OP Stack鏈都在(Exist)自己的(Of)軌道航行，沒有任何直接方式可以(By)共享标準和(And)改進。用(Use)戶和(And)建設者也面臨着巨大(Big)的(Of)挑戰：基于(At)安全性、質量和(And)中立性單獨評估衆多不(No)同的(Of)鏈。爲(For)了(Got it)實現superchain，OP Stack需要(Want)從一(One)個(Indivual)獨立的(Of)、去中心化的(Of)區塊空間轉變爲(For)一(One)個(Indivual)統一(One)的(Of)鏈集體，在(Exist)一(One)個(Indivual)開放的(Of)、去中心化的(Of)區塊空間上(Superior)共同工作(Do)。Law of Chains規定了(Got it)Optimistic治理和(And)Superchain的(Of)指導原則。Optimistic治理從管理單個(Indivual)鏈轉變爲(For)管理多個(Indivual)鏈的(Of)共同标準，從而定義成爲(For)superchain一(One)部分所需的(Of)屬性，同時(Hour)優先保護在(Exist)superchain上(Superior)進行交易的(Of)用(Use)戶。從根本上(Superior)說，Law of Chains是(Yes)一(One)種社會契約（而非法律契約），因此積極的(Of)社區讨論至關重要(Want)。” Law of Chains将使Superchain能夠保證以(By)下屬性：

• 确保區塊空間保持同質性、中立性和(And)開放性：對鏈定律的(Of)承諾就是(Yes)對保護鏈用(Use)戶、開發人(People)員和(And)其他(He)利益相關者的(Of)承諾。作(Do)爲(For)superchain的(Of)一(One)部分，任何規模的(Of)鏈都可以(By)得到Optimstic治理的(Of)支持，可信地展示其區塊空間的(Of)同質性、中立性和(And)開放性。

• 得益于(At)持續的(Of)改進：共享升級意味着hyperlink總是(Yes)可以(By)訪問最好的(Of)技術，而不(No)必擔心需要(Want)自己維護。

• 提供更完善、更可及的(Of)基礎設施：由于(At)hyperchain中的(Of)所有鏈都可靠地緻力于(At)一(One)個(Indivual)标準，因此它們可以(By)協力确保索引和(And)排序等關鍵服務的(Of)可用(Use)性和(And)可負擔性。

（5）OP Stack能回饋OP嗎？

OP代币到底有什麽用(Use)處，如果按照Base鏈的(Of)方式，他(He)們會把一(One)部分收入回饋給Optimism Collective，那麽“treasury”的(Of)收入來源就會依靠自己的(Of)“價值”，依靠創造更多的(Of)叙事最終反饋給币價，使得OP在(Exist)二級市場的(Of)表現邏輯類似于(At)ATOM，但這(This)種情況可能是(Yes)目前最理想的(Of)情況，Optimism Collective最終将受益于(At)更多鏈的(Of)反饋，以(By)Basechain爲(For)例。這(This)種感覺讓我們想起UNI，兩者都有強大(Big)的(Of)程序，但代币本身除了(Got it)投票和(And)治理之外沒有任何價值用(Use)途。與L2目前面臨的(Of)中心化排序器問題不(No)同，即使L2代币僅用(Use)于(At)某種形式的(Of)領導者選擇（而非共識投票），排序權的(Of)價值仍然屬于(At)Rullop代币。

同時(Hour)，OP團隊在(Exist)7月25日發布了(Got it)Law of Chain提案，所有采用(Use)OP Stack的(Of)鏈發起共享治理模型和(And)排序器，希望規範“利潤反饋”模型，爲(For)整個(Indivual)OP系統帶來更多的(Of)收入（如上(Superior)文OP Stack定律所述），相當于(At)Cosmos的(Of)共享安全模型。

（6）OP Stack和(And)ZK Stack的(Of)區别

OP Stack：多鏈單選

從上(Superior)文很容易看出(Out)，OP Stack采用(Use)了(Got it)類似于(At)Cosmos的(Of)多鏈模型，但隻有一(One)個(Indivual)選項，因爲(For)OP Stack追求的(Of)是(Yes)每條鏈都需要(Want)驗證其他(He)鏈的(Of)交易，否則就需要(Want)在(Exist)L1上(Superior)等待幾天後才能有結果，所以(By)一(One)個(Indivual)單一(One)的(Of)共享排序器，中心化MEV分配，以(By)及來自法律和(And)治理的(Of)保護，是(Yes)唯一(One)能讓Optimistic rollup在(Exist)不(No)同鏈之間無縫互操作(Do)的(Of)東西。Optimistic rollup是(Yes)實現不(No)同鏈之間無縫互操作(Do)的(Of)唯一(One)方法。

ZK堆棧：多鏈多選

與OP Stack不(No)同，ZK Stack也可以(By)鏈接多個(Indivual)線程，但卻可以(By)有多個(Indivual)選項，可以(By)選擇自己的(Of)排序器，以(By)自己的(Of)方式進行MEV，并受數學和(And)代碼的(Of)保護（注意：OP Stack受到法币和(And)治理的(Of)保護）。這(This)是(Yes)因爲(For)如果ZK使用(Use)指定的(Of)共享線程或非常小的(Of)線程集，那麽它們可以(By)僅基于(At)數學就相互信任，讓零知識證明毫無價值。

2、OP Stack的(Of)ZK元素

OP Stack是(Yes)一(One)個(Indivual)完全開放的(Of)架構，這(This)使得在(Exist)生态系統中有zkvm、zkmips、zkwasm、zkevm成爲(For)可能，但與“正統ZK”相比，OP Stack也有一(One)些不(No)同的(Of)ZK元素。我們不(No)禁想到，在(Exist)不(No)久的(Of)将來，OP rollup和(And)ZK rollup之間可能會有一(One)個(Indivual)美好的(Of)聯系。

（1）爲(For)OP實現零知識證明（ZKP）

根據最新的(Of)發展狀況，Mina團隊計劃使用(Use)他(He)們自己的(Of)plonk系統+ kzg承諾+折疊算法nova在(Exist)OP Stack上(Superior)實現zkmips vm。雖然這(This)隻是(Yes)最近才出(Out)現的(Of)一(One)個(Indivual)提案，還有很多不(No)成熟的(Of)地方，但卻非常值得探索。該項目團隊的(Of)任務是(Yes)通過零指數證明實現L2、L1與OP鏈之間的(Of)安全、低延遲跨鏈通信。這(This)是(Yes)一(One)個(Indivual)有良好支持的(Of)指令集架構（ISA）的(Of)零知識證明（ZKP），它證明了(Got it)Optimism容錯程序的(Of)行爲(For)，爲(For)能夠證明基于(At)OP Stack的(Of)任何區塊鏈系統奠定了(Got it)基礎。

完成這(This)項任務意味着零知識證明(ZKP)系統的(Of)實現，該系統可以(By)使用(Use)由golang編譯器支持的(Of)指令集架構（ISA）（例如MIPS、RISC-V或WASM）證明OP防錯程序。此外，證明系統必須證明标準配置的(Of)OP Stack鏈的(Of)兩個(Indivual)區塊之間的(Of)狀态轉換，從而證明它在(Exist)實踐中是(Yes)可行的(Of)。除了(Got it)證明ISA的(Of)标準執行跟蹤之外，對防錯過程的(Of)支持還引入了(Got it)其他(He)需求。

具體來說，Fault Proof（錯誤性證明）程序引入了(Got it)預映射Oracle的(Of)概念，它使用(Use)一(One)個(Indivual)特殊的(Of)系統調用(Use)将外部數據加載到程序中。每個(Indivual)錯誤性證明VM負責實現一(One)種機制，通過這(This)種機制，某些數據的(Of)哈希值被儲存在(Exist)内存中的(Of)特定位置并由系統調用(Use)執行，然後該哈希值的(Of)原像将被加載到内存中以(By)供程序使用(Use)。預映射Oracle也用(Use)于(At)引導程序的(Of)初始輸入。

（2）去中心化排序器嘗試

Espresso Systems于(At)2023年7月21日在(Exist)推特上(Superior)正式宣布，爲(For)OP Stack的(Of)leader選舉建立去中心化排序驗證的(Of)提案已被接受，成爲(For)OP Stack和(And)Superchain的(Of)貢獻力量。該項目的(Of)主要(Want)協議之一(One)HotShot是(Yes)一(One)個(Indivual)高速共識協議，可用(Use)于(At)再抵押，使以(By)太坊驗證者能夠參與協議，旨在(Exist)達到與以(By)太坊驗證者集相同的(Of)規模。該項目還開發了(Got it)Espresso Sequencer，它集成了(Got it)全功能的(Of)zk-rollup，尤其是(Yes)Polygon zkEVM分支。

什麽是(Yes)leader選舉？

Leader選舉是(Yes)指在(Exist)分布式系統中使用(Use)負責創建下一(One)個(Indivual)規範狀态轉換的(Of)不(No)同leader的(Of)能力。在(Exist)區塊鏈中，leader選舉允許不(No)同的(Of)區塊生産者在(Exist)不(No)同的(Of)時(Hour)間生成區塊，而leader選舉算法可以(By)是(Yes)競争性的(Of)，也可以(By)是(Yes)非競争性的(Of)。

在(Exist)工作(Do)量證明的(Of)情況下，競争性leader選舉算法是(Yes)指有許多潛在(Exist)單位同時(Hour)競争成爲(For)leader的(Of)算法。非競争性leader選舉算法是(Yes)指在(Exist)給定的(Of)時(Hour)間點隻有一(One)個(Indivual)已知leader的(Of)算法，而就Ether Gasper的(Of)情況而言，非競争性的(Of)leader選舉算法則意味着在(Exist)給定的(Of)時(Hour)間點隻有一(One)個(Indivual)已知單位，并且沒有其他(He)方法可以(By)讓另一(One)個(Indivual)潛在(Exist)單位在(Exist)那個(Indivual)時(Hour)候成爲(For)leader。

在(Exist)将提議者網絡與建設者網絡分離的(Of)情況下（即，區塊建設者網絡隻負責選擇交易順序，提議者網絡隻負責簽署區塊）。它将在(Exist)給定時(Hour)刻将負責生成區塊的(Of)單個(Indivual)實體轉換爲(For)許多可能的(Of)實體，并允許它們在(Exist)當時(Hour)競争建設者網絡中最有利可圖的(Of)潛在(Exist)區塊。

我們很難理解不(No)同op-stack鏈之間的(Of)leader選舉機制的(Of)各種次級效應。目前，領導人(People)選舉作(Do)爲(For)一(One)種機制是(Yes)最受歡迎的(Of)，因爲(For)它允許更加去中心化的(Of)排序。請注意，它也不(No)能保證排序器是(Yes)絕對去中心化的(Of)，因此在(Exist)考慮去中心化排序器問題時(Hour)應格外謹慎。

3、Rollup真的(Of)安全嗎？

（1）以(By)太坊網絡工作(Do)原理

以(By)太坊網絡的(Of)原理是(Yes)每個(Indivual)節點存儲并執行用(Use)戶提交給它的(Of)每一(One)筆交易，這(This)種高級别的(Of)安全方法也導緻整個(Indivual)網絡非常昂貴，因此需要(Want)擴展整個(Indivual)網絡的(Of)容量，采用(Use)Rollup解決方案。簡單地說，Rollup = L1中的(Of)一(One)組合約 + L2中自己的(Of)網絡節點，即鏈上(Superior)智能合約 + 鏈下聚合器，它依賴于(At)以(By)太坊進行結算、達成共識以(By)及獲取數據可用(Use)性，并且隻負責Rollup自身的(Of)執行。

• 鏈上(Superior)智能合約，表明其信任模型是(Yes)以(By)太坊上(Superior)的(Of)智能合約，借用(Use)以(By)太坊的(Of)安全性。

• 鏈下聚合器意味着它将執行和(And)聚合鏈下交易，壓縮大(Big)批量交易并最終将其置于(At)以(By)太坊主網上(Superior)，實現更快速低成本的(Of)目标。

L2網絡節點有許多組件，其中排序器組件是(Yes)最重要(Want)的(Of)。它負責接收L2上(Superior)的(Of)交易請求，确定其執行順序，并對交易序列進行批處理，以(By)便将其交付給L1上(Superior)的(Of)Rollup項目合同。重要(Want)的(Of)是(Yes)要(Want)注意，以(By)以(By)太坊中所有的(Of)L2 rollup的(Of)排序器目前都是(Yes)中心化的(Of)，如下圖所示。

（2）中心化排序器問題

L2全節點可以(By)通過兩種方式獲取交易序列：直接從排序器獲取，或者通過讀取排序器發送給L1的(Of)交易包（Batch）獲取，但後者具有更強的(Of)不(No)可修改性。由于(At)交易執行改變了(Got it)區塊鏈賬本的(Of)狀态，爲(For)了(Got it)确保一(One)緻性，除了(Got it)獲取交易序列外，L2全節點還必須與排序器同步賬本狀态。因此，排序器的(Of)任務不(No)僅是(Yes)将交易包發送給L1的(Of)Rollup合約，還要(Want)将交易執行後的(Of)狀态更新結果Stateroot/Statediff發送給L1。一(One)般來說，排序器的(Of)任務是(Yes)處理交易并将交易排序添加到區塊鏈中的(Of)區塊，它負責對交易進行批處理并将交易發布到L1智能合約。

對于(At)L2的(Of)全節點，隻要(Want)獲取L1上(Superior)Rollup的(Of)交易序列和(And)初始Stateroot，就可以(By)恢複L2的(Of)區塊鏈賬本，并計算出(Out)最新的(Of)Stateroot。相反，由L2自身的(Of)全節點計算出(Out)的(Of)Stateroot與排序器向L1發布的(Of)Stateroot不(No)一(One)緻，則意味着排序器存在(Exist)欺詐行爲(For)。因此，與L2自身網絡相比，L1更加去中心化、無需信任，也更加安全。

（3）OP Stack

那麽問題來了(Got it)，L2是(Yes)否能夠僞造一(One)些不(No)存在(Exist)的(Of)或錯誤的(Of)交易，例如将代币資産從L2轉移到排序器的(Of)runner地址，然後将這(This)些代币資産轉移到L1以(By)竊取用(Use)戶資産？答案是(Yes)：如果一(One)個(Indivual)人(People)想這(This)樣做，這(This)是(Yes)完全可能的(Of)。所以(By)面對排序器可能存在(Exist)的(Of)欺詐風險，不(No)同類型的(Of)rollup采用(Use)了(Got it)不(No)同的(Of)應對方式。

讓我們以(By)Optimistic Rollup爲(For)例，它允許L2全節點提供欺詐證明，證明在(Exist)L1中排序器發布的(Of)數據是(Yes)錯誤的(Of)。但對于(At)沒有欺詐證明的(Of)Optimism來說，如果一(One)個(Indivual)人(People)真的(Of)想通過排序器竊取L2用(Use)戶資産，那麽他(He)隻需要(Want)讓排序器 runner僞造交易訂單，并将L2中其他(He)人(People)的(Of)資産轉移到他(He)自己的(Of)地址，然後最後再通過rollup的(Of)橋接合約将被盜的(Of)代币轉移到L1就可以(By)了(Got it)。

爲(For)了(Got it)解決這(This)個(Indivual)有可能發生的(Of)問題，目前的(Of)解決方案是(Yes)依靠社區成員和(And)社交媒體達成所謂的(Of)“共識”，并依靠OP作(Do)爲(For)官方信用(Use)背書。因此，總結一(One)下就是(Yes)，OP Rollup的(Of)安全性至少要(Want)依賴于(At)擁有一(One)個(Indivual)誠實的(Of)L2節點，該節點可以(By)發布欺詐證明，以(By)确保OP Stack是(Yes)多鏈單選的(Of)，如上(Superior)文“OP Stack與ZK Stack的(Of)區别”部分内容所述。

（4）ZK Stack

讓我們來探索一(One)下ZK Stack，在(Exist)ZK Rollup網絡中，存在(Exist)一(One)個(Indivual)Prover節點，它專門爲(For)排序器發布交易包，以(By)及生成有效性證明。這(This)些有效性證明在(Exist)L1上(Superior)有專門的(Of)驗證合約。一(One)旦交易包及其相應的(Of)Stateroot/Statediff證明被驗證者合約驗證，交易就完成了(Got it)。它與OP Stack的(Of)不(No)同之處在(Exist)于(At)，ZK Rollup除了(Got it)依靠L2全節點之外，還利用(Use)有效性證明來解決排序器欺詐問題。ZK Rollup的(Of)官方橋也隻允許執行經有效性證明驗證的(Of)提款交易，這(This)顯然比Optimism要(Want)可靠得多，即ZK Stack是(Yes)多鏈多選的(Of)，正如上(Superior)面“OP Stack和(And)ZK Stack的(Of)區别”部分内容所述。

理論上(Superior)，ZK Rollup的(Of)安全性由L1上(Superior)的(Of)驗證者合約保證，或者由L1節點完成交易的(Of)最終确認。相比OP Rollup的(Of)安全性，至少依賴于(At)一(One)個(Indivual)誠實的(Of)L2節點可以(By)發布欺詐證明，兩者都繼承了(Got it)L1（ETH）的(Of)安全性，但從最嚴格的(Of)角度來說可能并非如此，但這(This)是(Yes)目前最優的(Of)解決方案，并且相比其他(He)公鏈來說，以(By)太坊經曆了(Got it)這(This)麽多年的(Of)發展，安全性無疑是(Yes)最值得信賴的(Of)。與其他(He)公鏈相比，以(By)太坊無疑是(Yes)最值得信賴和(And)安全的(Of)鏈。

就像區塊鏈三角一(One)樣，在(Exist)“産品”的(Of)整體用(Use)戶體驗中，似乎存在(Exist)一(One)個(Indivual)安全、簡單和(And)效率的(Of)三角，而ZK Stack比OP Stack更相信依靠數學和(And)代碼可以(By)提高整體安全性，從而大(Big)大(Big)增加了(Got it)整體複雜性。所以(By)關于(At)ZK也有一(One)些陳詞濫調：

• 延遲問題：ZK Rollup還需要(Want)解決L2節點向L1發布數據的(Of)延遲問題。就像是(Yes)需要(Want)爲(For)快遞運輸準備箱子，因此每次排序器或prover将數據發送到L1時(Hour)，都會産生固定成本。爲(For)了(Got it)降低成本，排序器和(And)prover将盡量減少頻繁地在(Exist)L1上(Superior)發布數據的(Of)次數，而是(Yes)等待大(Big)量數據同時(Hour)出(Out)現，然後将它們打包一(One)起發布。

• 速度問題：ZK Rollup面臨着生成有效性證明速度緩慢的(Of)挑戰。雖然排序器可以(By)在(Exist)1秒内執行數千筆交易，但爲(For)這(This)些交易生成有效性證明卻可能需要(Want)數小時(Hour)。爲(For)了(Got it)解決這(This)個(Indivual)問題，主流的(Of)ZK Rollup網絡采用(Use)了(Got it)一(One)種創新的(Of)方法：将證明生成任務分解爲(For)多個(Indivual)小任務，由不(No)同的(Of)證明者節點并行處理，這(This)大(Big)大(Big)提高了(Got it)證明生成速度。

• 成本問題：爲(For)了(Got it)降低整體成本，許多ZK Rollup解決方案采用(Use)了(Got it)“聚合多個(Indivual)證明并一(One)次發送到L1”的(Of)策略。這(This)意味着證明者不(No)會在(Exist)生成證明後立即将其發送到L1，而是(Yes)等待多個(Indivual)證明生成後，将它們聚合起來一(One)起發送到L1上(Superior)的(Of)驗證者合約。通過這(This)種聚合，一(One)個(Indivual)證明可以(By)包含并驗證由多個(Indivual)證明生成的(Of)計算步驟，從而進一(One)步降低總體數據成本。

• 交易量問題：如果沒有足夠的(Of)交易被啓動，排序器就可能會延遲發布數據到L1。例如，在(Exist)市場不(No)活躍期間，一(One)些Rollup網絡可能每半小時(Hour)才向L1發送一(One)批交易。然而，在(Exist)一(One)些其他(He)Rollup方案中可以(By)有效地解決這(This)個(Indivual)問題，例如Starknet，它通過減少Statediff發布頻率來降低數據成本。

關于(At)什麽才是(Yes)更适合的(Of)去中心化排序器解決方案這(This)一(One)問題，模塊化可能是(Yes)最佳解決方案，因爲(For)模塊化意味着更大(Big)的(Of)可定制性，目前可用(Use)的(Of)主要(Want)去中心化工具有以(By)下五種：

• 單排序器&POA

• Based rollup

• DVT x 排序器

• 共享排序器

• 引導一(One)個(Indivual)新的(Of)排序器集

我們相信，不(No)僅在(Exist)未來，上(Superior)述許多問題都可以(By)通過技術得到進一(One)步解決。例如，爲(For)了(Got it)減少有效性證明的(Of)生成時(Hour)間，Optimism承諾在(Exist)不(No)久的(Of)将來發布欺詐證明系統，還有以(By)太坊的(Of)Danksharding計劃也将顯著降低rollup的(Of)數據成本，去中心化排序器問題也将被克服，它們将合力爲(For)上(Superior)述問題提供有效的(Of)解決方案。

4、叙事将如何發展？

Hyperchain和(And)超級擴展一(One)直都是(Yes)大(Big)家關注的(Of)擴展方向，雖然目前這(This)些項目還處于(At)發展的(Of)早期階段，但它們都爲(For)以(By)太坊帶來了(Got it)更強大(Big)的(Of)叙事。現在(Exist)我們可以(By)看到，OP Stack得到了(Got it)更多的(Of)采用(Use)，許多明星公鏈都加入了(Got it)OP Stack，如Coinbase、opBNB、Zora、Worldcoin等許多公鏈都爲(For)OP Stack做了(Got it)很好的(Of)品牌代言。包括最近在(Exist)6月26日晚上(Superior)，zkSync宣布推出(Out)ZK Stack，這(This)是(Yes)一(One)個(Indivual)用(Use)于(At)構建自定義ZK rollup的(Of)模塊化開源框架，也被許多人(People)認爲(For)是(Yes)zkSync團隊用(Use)來應對頭号OP Stack的(Of)殺手級應用(Use)程序。一(One)邊是(Yes)有先發優勢的(Of)OP Stack，一(One)邊是(Yes)有數學優勢的(Of)ZK Stack，總之，L2的(Of)價值可以(By)累入rollup代币，L2的(Of)擴展之戰才剛剛開始，關于(At)這(This)場沒有硝煙的(Of)戰争你是(Yes)怎麽看的(Of)？