為什么說 Zircuit 是一條特立獨行的 Layer 2？

作者：Haotian

?

為什么說?@ZircuitL2?是一條特立獨行的 layer2？ 1）它基于 OP Stack Codebase 構(gòu)建卻不屬于 OP 超級鏈陣營？2）屬于 OP-Rollup 鏈卻沒凸顯欺詐證明，從名字到技術(shù)細節(jié)都烙有極強的 ZK 印記？3）明明和 AVS 安全共識機制無關(guān)聯(lián)卻給了 $Eigen 質(zhì)押者空投等等。接下來，簡單說說我對 Zircuit 這條鏈的理解：

1）OP Stack 顯然提供了一個快速起 layer2 的基礎(chǔ)技術(shù)框架，但包括 Metis 、Mantle 、Zircuit 等在內(nèi)的諸多鏈都用了 OP Stack 的 Codebase 技術(shù)框架卻沒有并入 Superchain 的戰(zhàn)略路線。

原因很簡單，雖然超級鏈會享有 OP 超級聯(lián)盟的資源增益，但在技術(shù)自主性和靈活性上也會受限，比如欺詐證明。不少 OP Stack 陣營的 layer2 到現(xiàn)在都沒有完全上線 Fraud Proof 證明系統(tǒng)，和其選擇框架依賴性而忽略自主性發(fā)展的關(guān)聯(lián)會很大。

Zircuit 就是典型，雖然在 L2beat 上被標(biāo)記為 OP-Rollup Type，但其整體技術(shù)架構(gòu)和品牌調(diào)性給人一種極強的 ZK 感知印象，不少人會把它并到 ZK-Rollup 的范疇。

之所以偏好 ZK 技術(shù)框架，主要是因為 ZK 技術(shù)的加持可以讓 OP-Rollup 框架更可靠，畢竟沒有真正 Fraud Proof 證明運作的 OP-Rollup 很難稱之為一條安全可靠的鏈，但有了 ZK Proof 證明系統(tǒng)，依托 ZK 技術(shù)構(gòu)建的狀態(tài)變更信任環(huán)境，可很好彌補其在樂觀挑戰(zhàn)證明上的缺陷。因此嚴(yán)格意義上，它應(yīng)該屬于混合 Rollup。

事實上，這類混合 Rollup 的架構(gòu)設(shè)計并不新鮮，同為新銳 layer2 的?

@MetisL2

?也基于此主打差異化，通過 ZK-Rollup Router 為用戶提供一個快速的提款退出通道，而不用等待 7 天的挑戰(zhàn)期。

2）最近，Vitalik 盛贊了 Starknet 在 Blob Gas 定價機制優(yōu)化、區(qū)塊狀態(tài)壓縮上的表現(xiàn)，這其實是 layer2 需增強跨鏈可交互操作性之后的另一個優(yōu)化方向：增強自身數(shù)據(jù)結(jié)構(gòu)和性能處理等細節(jié)上表現(xiàn)。

因為以太坊主網(wǎng)未來的升級路線會趨向 ZK-SNARKs 輕量化，若 layer2 鏈能夠熟稔應(yīng)用 ZK 技術(shù)底層，從數(shù)據(jù)結(jié)構(gòu)、狀態(tài)壓縮、消息傳遞等方面都有增強的表現(xiàn)，就越貼近未來 Rollup-Centric 的大戰(zhàn)略方向。

所以，作為后起之秀，Zircuit 在發(fā)鏈之初就做了不少細節(jié)上的技術(shù)優(yōu)化，比如：

1、Sequencer 級別安全增強（SLS）：不少 layer2 鏈都存在 Sequencer 中心化、MEV 等種種困擾，以至于 DeFi 這類金融應(yīng)用協(xié)議一直在 layer2 環(huán)境下得不到穩(wěn)定發(fā)展。

鑒于此，Zircuit 獨創(chuàng)性的對 Sequencer 進行了預(yù)防性安全架構(gòu)設(shè)計，交易在 Mempool 中時會進行惡意交易監(jiān)測，惡意交易會被套用一層包括多重釋放條件的隔離區(qū)，以此保證正常交易順利安全執(zhí)行；這種在 Sequencer 組件中加入一層安全前置檢查的方法，可以識別潛在的 MEV 行為，為 DeFi 應(yīng)用提供更公平的執(zhí)行環(huán)境。

2、Modular Proof 證明系統(tǒng)：ZK-Rollup 范式的 layer2 鏈相比 OP-Rollup 鏈有明顯的 Finality 終局性優(yōu)勢，但與此同時也會產(chǎn)生額外的計算、生成、驗證 Proofs 的開支，這部分成本開銷不在主網(wǎng)通過 Blobs 區(qū)塊降低 layer2 Gas 的范疇內(nèi)，因此 ZK-Rollup layer2 要設(shè)法降低 ZK Proofs 開銷才行。

針對此，ZIrcuit 采用了 Template Proofs 和 Proof Aggregation 兩條路徑來優(yōu)化成本：模版證明是一種過渡型的解決方案，使用簡化的證明模版保持基礎(chǔ)狀態(tài)的更新驗證，而不必為每個 Batch 都生成完整證明以降低成本；證明聚合則會收集多個未驗證的證明任務(wù)分別通過特定電路和通用電路來并行生成證明，最終將這些證明聚合成單個證明最后統(tǒng)一驗證。

顯然，這種設(shè)置特定專有電路來適配不同證明類型的 Proof 系統(tǒng)，可以很好降低 ZK 證明生成和驗證的成本。這和 Starknet 采用 STARK 系統(tǒng)，zkSync 采用遞歸系統(tǒng)等等都類似，可以較好的降低 ZK 開銷。

3、AI-Enabled layer2：作為一條較新的 layer2 鏈，Zircuit 天然適合 AI 模型推理、AI Agent 等 AI 元素的集成。表現(xiàn)在，SLS 排序器中的 AI 模型分析可疑交易、特殊情況 AI 自動化隔離或暫停協(xié)議等等。

以上。

至于為何 Zircuit 要聯(lián)合?@Eigenlayer 發(fā)空投，純粹出技術(shù)視角很難看出啥，我寧愿理解為這是 Zircuit 這條 layer2 對于 Eigenlayer 輸出以太坊 AVS 安全性的一種戰(zhàn)略支持。

拉長視角看，AVS 作為快速的安全共識基礎(chǔ)設(shè)施或許能幫助 Zircuit 的 SSL 系統(tǒng)在某個時間點快速組合到其他 layer2 生態(tài)當(dāng)中。