速览 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 上完成提款过程，确保提款账户具有足够的资产。