【英文長推】Lighter ZK 架構解讀：如何構建高效靈活的鏈上金融解決方案

Chainfeeds 導讀：

當以太坊執行其路線圖、可能整合 ZK 技術並力圖實現顯著擴展時，構建獨立的 alt-L1 的主要動機，追求原始吞吐量可能會減弱。在這一新興範式中，成功的平台可能不會是那些建立最高孤島的平台，而是那些具有強大安全性保障、深度整合以太坊豐富流動性及由客製化 ZK 電路提供執行力的平台。

文章來源：

jaehaerys

觀點：

jaehaerys：在鏈上金融的格局中，目前存在著一個根本性的架構分歧，尤其在 CLOB（中央限價訂單簿）交易所的設計上尤為突出。這種分歧不僅僅是功能上的差異，更是一場關於基礎戰略的衝突。一方面，像 Hyperliquid 和 dYdX v4 這樣的單體、應用特定的 L1（Layer 1）交易所通過控制其整個技術堆疊，追求高效能。雖然這種方法可以實現低延遲，但它也付出了巨大代價：流動性碎片化、孤立的生態系統，以及依賴自身新興共識機制而非經過戰鬥驗證的基礎層的安全模型。另一方面，則是 L2（Layer 2）模組化的策略，這是 Lighter 所倡導的。該模型利用以太坊作為全球結算和數據可用性層的無與倫比的安全性、去中心化性和網絡效應，將其視為一種特性來加以利用，而非需要逃避的局。這種架構選擇是深思熟慮的，深深植根於一種工程務實的哲學中。Lighter 的戰略進一步得到了兩個強大宏觀趨勢的驗證：首先是零知識（ZK）復興 ——ZK 證明從一種曾經小眾、偶爾被誤解的技術，逐漸成熟為一種不可或缺的主流工具，用於在不妥協安全性的前提下擴展區塊鏈。越來越多的永續 DEX（去中心化交易所）採用 ZK 技術，凸顯了其在構建下一代 DeFi 中的關鍵作用。其次是以太坊通過 ZK 技術實現擴展的積極策略。以太坊基金會的路線圖包括了旨在大幅提高基礎層吞吐量的進展，並可能將 ZK 證明作為其擴展策略的一部分。這一最終願景使得以太坊本身有望成為一個全球範圍、可能經過 ZK 增強的結算層。這種戰略定位使得 Lighter 不僅僅是一個臨時的擴展解決方案，而是成為以太坊未來架構的本地成員。在這種背景下，從零開始構建的基於 ZK 的 L2 有望繼承並複合基礎層改進的好處。相反，像 Hyperliquid 這樣的獨立 L1，儘管具有如其整合的 HyperEVM 等架構特點，卻始終處於與整個以太坊生態系統的研發進程競爭的狀態。因此，Lighter 的成功本質上與以太坊的成功息息相關，為 Lighter 創造了強大的長期戰略順風。正是這種基礎性的一致性，使得 Lighter 不僅能實現高效能和可驗證的安全性，還能深入與以太坊的龐大資本基礎深度整合，首先從資本效率的創新（如通用跨保證金）開始。Lighter 的核心架構從第一原理出發，設計用於在不犧牲可驗證性的情況下提供卓越的效能。該協議作為一個 ZK-rollup 運行，巧妙地分離了執行和驗證的功能。一個集中化的 Sequencer（排序器）負責低延遲、先進先出的交易排序，提供交易員所期待的高頻效能。然而，它的權力被嚴格限制；它僅決定交易順序，而執行的有效性則由其他部分來保證。每個狀態轉換 —— 每個訂單的提交、取消、交易和清算 —— 都由 Prover（證明服務）處理，使用客製化的 ZK 電路（ZK Circuits）生成加密證明，確保操作的正確性。這個證明系統的核心是「訂單簿樹」（Order Book Tree），這是 Lighter 白皮書中詳細描述的一個新穎的數據結構。與傳統的 Merkle 樹不同，訂單簿樹是一種混合結構，能夠直接在其葉子節點中編碼價格 - 時間優先。這使得匹配引擎能夠以最優效率找到並執行最高優先級的訂單，只需單次訪問葉子節點，從而使得在大規模上證明整個匹配過程的公平性成為可能。整個系統通過一個至關重要的安全機制與以太坊緊密連接：Escape Hatch（逃生艙）。Lighter 定期將壓縮的狀態數據發布到以太坊，使用戶可以使用這些數據重建他們的個人賬戶狀態。如果 Sequencer 出現離線或在 L1 上未能在期限內處理優先請求，系統將進入應急模式。在這種模式下，用戶可以利用鏈上數據生成 ZK 證明，證明其賬戶價值，並直接從 L1 智能合約中提取資產，完全繞過 L2 操作方。這為自託管提供了無條件的保障，這是獨立 L1 無法提供的。【原文為英文】