SuperAPI AI 工具集

web3-hunt-zksync-era

通用与其它

查看项目

更新于 10-15 17:22

技能介绍

用途:这是 ZKsync Era(Immunefi 平台 L2 rollup 项目)的公开悬赏审计完成记录,结论为 0 个可提交发现,定位为防御研究——展示经过加固的协议长什么样、以及何时应停止审计。

主要事实:目标 TVL 约 3.22 亿美元(L2BEAT Total Value Secured),关键漏洞最低赏金 10 万美元、最高 110 万美元;代码库约 75 万行(Solidity + Rust + Yul),版本 Protocol V29.4,仓库 github.com/matter-labs/era-contracts;经 OpenZeppelin V29(2025 年 6 月)及多轮审计;适用 Primacy of Impact,范围外资产也可受理;历史赔付 5 万美元(ChainLight ZK 电路漏洞)。

审计范围覆盖:L1 Bridge 栈(Bridgehub、L1AssetRouter、L1Nullifier、L1NativeTokenVault、ChainTypeManager、ValidatorTimelock)、L2 系统合约(Bootloader 0x8001、L1Messenger 0x8008、L2BaseToken 0x800a、SystemContext 0x800b 等 0x8000-0xFFFF 内核空间)、L2 用户空间合约(0x10000+)以及 EIP-2535 Diamond Proxy 模式。共测试 25 个攻击向量,包括 UnsafeBytes 偏移、遗留/新编码边界双重提款、跨链消息重放、治理时间锁绕过、费用计算溢出、Diamond 选择器冲突等,均因 CEI 模式、独立访问控制、编码版本首字节区分、完善遗留边界处理、审计修复质量高等防御设计而失败。

使用方式:本文件为防御学习资料,未提供安装命令或使用步骤。

适用场景与限制:适合理解大型 L1 桥协议的加固设计与审计投入产出判断;资料未提供可直接复用的攻击步骤或工具配置。策略建议:若前 8 大向量系统性受阻、OZ/ToB 已审计当前版本、22+ 自动化智能体全部返回干净,则应考虑放弃;可能仍有价值的方向包括 ZK 电路(Rust/RISC-V)、Bootloader 汇编(Yul)、新版本代码、EVM 模拟边界及未来 interop 协议。

费用、价格、平台细节、具体使用步骤等暂未提供。