【英文長推】Lighter × Succinct：ZK驅動的高性能合約與共享排序器願景

Chainfeeds 導讀：

該架構確立了清晰的分工：L1（以太坊）作為安全的全球資產負債表，負責資本的存放；L2（Lighter）：作為高效能的執行層，負責風險管理；ZK 基礎設施（Succinct）：作為密碼學底層織網，可信地連接兩者。

文章來源：

文章作者：

jaehaerys

觀點：

jaehaerys：在區塊鏈可擴展性的追求中，L2 敘事長期被橋這一比喻主導。用戶若要進入高吞吐量、低成本的 Rollup 環境，必須將資產鎖定在 L1，並在 L2 獲得一個合成等價物。然而，這種模式衍生出了新的問題：流動性碎片化，以及一系列災難性的跨鏈橋攻擊——這些攻擊已成為去中心化金融史上一些最大的資金損失案例。對此，出現了一種新的替代思路：與其將資產轉移到計算環境，不如僅將關於資產的可驗證資訊帶到計算環境中。這個想法最初出現在 SuccinctLabs 的一次直播中，Gauntlet 創始人 Tarun Chitra 在思考 ZK 系統的未來時提出，他認為 ZK 協議能夠讓資產遷移更加自然高效。資產可以繼續鎖定在以太坊主網（L1），但通過零知識證明（ZKP），它們的效用可以在 L2 被安全驗證並用作抵押。這樣，資本的位置和功能就被分離開來：資產停留在最安全的環境 L1，而它們的價值被投射到高效能 L2 上，從而大幅提升資本效率。例如，用戶的 stETH 或 Morpho Vault 頭寸可以繼續在 L1 產生收益，同時其價值證明在 L2 上作為抵押槓桿使用。這種模式不僅能降低跨鏈風險，還能推動跨層可組合性與安全互操作。 這一模型的落地依賴於 Lighter 與 Succinct 的結合。Lighter 是一個基於中心限價訂單簿（CLOB）的永續合約去中心化交易所（Perp DEX），其核心架構選擇是使用定制 zk 電路，而非通用 zkVM 或 zkEVM。這種設計讓其加密系統專門針對撮合、風險引擎與清算邏輯進行優化，因此在驗證特定交易功能時效率極高，避免了通用證明昂貴而緩慢的瓶頸。另一方面，Succinct 提供了 SP1 zkVM——一個基於 RISC-V 的虛擬機，支援完整 Rust 生態，能夠高效編碼複雜的應用邏輯，例如 DeFi Vault 的估值方法或清算引擎。此外，Succinct 還運行一個去中心化證明網路（SPN），這是一個由 GPU、FPGA，甚至未來 ASIC 驅動的競爭性證明生成市場，可以快速且低成本地產生所需證明。兩者結合後，用戶能夠在不犧牲收益的情況下，將 L1 上的生產性資產用於 L2 上的槓桿交易。例如，用戶在 L1 的 Morpho Vault 持續獲取利息，而這些資產的價值證明則為 L2 的永續交易提供保證金。更進一步，該架構還能支援複雜 L2 策略的代幣化，讓它們在 L1 上以標準化的資產形式流通，比如原生 3x ETH 槓桿代幣，可被用於 Aave 借貸等應用。這種模式不僅提升了資本效率，也豐富了跨層可組合性的可能性。 該架構的核心是 Escrow 合約與 Succinct 證明網路的協作。用戶首先將 ETH、穩定幣或生息資產存入以太坊 L1 的 Escrow 合約。Escrow 合約會觸發事件，由 Succinct 證明網路接收並生成 SNARK 證明，證明資產確實已被鎖定。驗證合約在鏈上確認該證明後，Sequencer 才會在 Lighter L2 給用戶的保證金帳戶入帳。隨後，L2 的狀態承諾（訂單簿狀態、餘額等）會被提交到數據可用層（DA）中，以便未來驗證。整個流程中，資產從未離開 L1，安全性得到保證。更關鍵的是，當用戶遭遇審查或 L2 出現問題時，可以通過逃生艙機制直接在 L1 提交退出請求。用戶在 L1 上發起退出交易，DA 提供狀態承諾與包含證明，Succinct 網路將該請求轉化為證明任務並生成 SNARK 證明。若驗證通過，Escrow 合約會強制釋放資金，將資產直接返還用戶。這一設計保證了無論 L2 出現何種情況，用戶始終可以依靠 L1 的安全性取回資產。與傳統 Rollup 的逃生路徑類似，但在資產效用與抵押遷移的場景下，該模式提供了更靈活且抗審查的資金退出保障，進一步凸顯了資本位置與功能分離的優勢。【原文為英文】