速覽 EVM 兼容的 ZK Rollup 網絡 Zircuit

作者： Zen ， PANews

4月份，EVM 兼容的 ZK Rollup 網絡 Zircuit 推出的質押計劃迎來大幅增長，其 TVL 于當月從 11 億美元增長至最高達到 28 億美元。根據 DefiLllama 的數據顯示，截至 5 月 6 日，已有 32 億美元的存款投入 Zircuit 質押。

什麼是Zircuit ？

Zircuit 由獲得以太坊基金會多項研究資助的團隊打造，並得到 Pantera Capital 和 Dragonfly Capital 的支持。去年 11 月 9 日， Zircuit 公共測試網正式上線，其完全兼容 EVM ，意味著以太坊應用程序均可無縫部署到該網絡，無需學習新的編程語言或框架。這種兼容性使用戶能夠享受這些 dApp 的新功能、速度和成本優勢，而無需學習任何額外內容。

今年 2 月， Zircuit 推出質押計劃，開始逐漸走進人們視野。其允許用戶通過質押 ETH 、流動性質押代幣 ( LST ) 和流動性重新質押代幣 ( LRT )，賺取包括質押 APR 、重新質押 APR 、 Eigenlayer 積分、 LRT 積分、 Zircuit 積分在內的獎勵。目前 Zircuit 已與 Ethena 、 Ether . fi 、 Renzo 、 EigenLayer 、 Lido 、 Swell 等明星項目達成合作。而與 Blast 、 Mantle 等硬鎖定等方式不同， Zircuit 允許用戶可以隨時提現並保留賺取的積分和收益，類似於活期存款。

目前，Zircuit 仍處於測試網階段，其主網預計最早於今年夏天啟動。基於空投預期，用戶可以參與測試網測試、參與"Build to Earn"或加入其質押計劃，即通過質押ETH及其衍生品，以及參與各種任務來獲取Zircuit積分，以在未來獲得代幣獎勵。

核心特色：序列器級安全性

Zircuit 本身是以太坊 ZK 第 2 層，其設計的主要創新是引入了序列器級安全性 ( Sequencer Level Security ， SLS )的概念。該機制旨在提供更強化的安全性保障，確保在 Layer 2 區塊鏈上進行交易時用戶的資產和數據得到充分的保護，防止惡意交易和黑客攻擊。此外，其設計要求最小化對序列器性能的影響，尤其是對序列化吞吐量和延遲的影響，以保持網絡的高效性和響應速度。其透明的操作機制，使得區塊鏈的狀態能夠被明確定義和推導出來，從而確保網絡的可預測性和穩定性。

具體來說， Zircuit 的序列器會對 Mempool （內存池）即未被打包進區塊的交易集合進行監視和惡意檢測， SLS 會根據特定的算法或技術判斷交易是否具有惡意意圖。如果交易被認定為惡意，它將被放置在隔離區，暫時無法被納入區塊。等到滿足釋放條件，即合法性得到驗證後才能被考慮加入區塊。 SLS 還可以採用混合的並行-順序方法進行惡意檢測，以優化檢測速度和準確性。其結合了在鏈尖部分的並行模擬和在區塊內的順序模擬，以充分發揮它們各自的優勢。

除了 SLS ， Zircuit 的另一特點是使用了專有的證明聚合技術，該技術將電路分解成快速的並行過程，來提高處理速度和效率。

混合架構的ZK Rollup

通過結合經過驗證的 Rollup 基礎架構和零知識證明技術， Zircuit 採用了一種基於混合架構的 ZK Rollup 方案。它的架構包括負責處理交易以構建 L2 區塊的序列器（ Sequencers ）、用於為這些區塊生成有效性證明的證明生成器（ Provers ）、在 L1 上與系統進行交互的智能合約（ Smart contracts ）。

Zircuit 的交易流程可以從 L1 或直接從 L2 發起。交易經過 Rollup 節點（包括序列器、執行引擎和批處理器）處理，其中序列器指示執行引擎將哪些交易包含在一個區塊中，批處理器將 L2 交易批次提交到 L1 以實現完整的數據可用性。執行引擎處理批次中的交易，並生成新的 L2 狀態。這些 L2 區塊然後由 Zircuit 的證明生成器處理，每個證明生成器具有特定的角色，以實現快速證明生成和驗證。

在存提款和交易方面，存款交易是將 ETH 或 ERC -20代幣等資產從以太坊橋接到 Zircuit ，而 L2 交易在 Zircuit 上發起，如在賬戶之間轉移 ETH 或在 Zircuit 上調用智能合約。這些交易由 Rollup 節點處理，並最終包含在 L2 區塊中，而後通過證明證實其合法性。 提款交易將資產（如 ETH ）從 Zircuit 提取到 L1 ，該交易通過向 L2 標準橋智能合約發送 L2 交易來發起。一旦這些交易被包含在 L2 中，相關的證明將被用於在 L1 上完成提款過程，確保提款賬戶具有足夠的資產。