[TPP-16] ZKsync 审计报销计划 2026 (ZARP v2)

摘要

本提案为 2026 年的 ZARP v2 提供资金。ZARP v2 是 2025 年 5 月通过的 TPP-3 中 ZIP 审计报销计划的后续计划。此 TPP 请求的代币总量为 2.05 亿 ZK，按 ZK 代币价值 0.02 美元计算，相当于 410 万美元。

ZARP v2 通过两个限额铸造者以及扩大的资格范围来实施：

1. 一个 ZARP2026 额度限制铸造器（地址：0xCDB07B2FAd916d8caddea74ac40901Ed43767A6C），额度为价值 300 万美元的 ZK 代币（1.5 亿 ZK），用于资助 2026 年执行的前瞻性协议相关安全审计；以及
2. 一个 ZARP2025Retro 额度限制铸造器（地址：0x773d5BB83b3AEa5A72D8b87e744e90f3b788C50b），额度为价值 110 万美元的 ZK 代币（5500 万 ZK），用于报销符合条件但未在 ZARP v1 下申领或铸造的 2025 年协议安全成本。
3. 本提案扩展并明确了符合条件的协议相关代码库的定义，以确保 ZKsync 核心基础设施的全面安全覆盖。

摘要

ZARP v2 通过治理授权的报销机制分配协议安全资金，涵盖前瞻性审计和有限的追溯审计。该计划将范围从仅限 ZIP 的审计扩展到包括 ZKsync 关键功能的协议关键安全工作。

动机

ZARP 于 2025 年推出，由代币大会批准了价值 500 万美元的 ZK 资金，旨在确保第三方安全审计成为 ZKsync 协议开发的默认要求，并且高质量安全工作的成本不会成为维护安全协议的障碍。ZARP v1 建立了一个与治理一致的链上报销机制，并由 ZKsync 安全委员会进行审查和监督。

对于 2026 年，本提案请求将前瞻性分配减少至价值 300 万美元的 ZK，这既反映了从 ZARP v1 中吸取的经验教训，也体现了对预期协议安全需求的更有针对性的看法。ZARP v2 的目的不是扩大总体安全支出，而是使报销机制更好地与实际执行协议安全工作的方式保持一致。

在 2025 年期间，相当一部分协议关键安全工作是在持续协议开发过程中进行的，而不是通过独立的、单独的 ZIP 完成的。对核心协议基础设施、系统合约和运营组件的审计经常在现有治理授权下或作为持续协议升级的一部分执行。虽然这项工作直接促进了 ZKsync 的安全态势，但它并不总是符合 ZARP v1 的正式资格假设，这些假设与 ZIP 特定的时间线和执行紧密耦合。

ZARP v2 通过扩展和澄清符合条件的协议相关代码库的定义来解决这种不匹配问题，将重点从与单个 ZIP 的严格耦合转向安全相关性和协议影响。这确保了对核心和持续演进的协议组件的审计被视为一流的安全工作，同时保持了 ZARP v1 下建立的相同治理控制、审查流程和透明度要求。

此外，ZARP v2 包括一个有限的、一次性的追溯调整部分，以核算那些由于审计执行、发票开具和 ZIP 生命周期之间的时间错位而无法在 ZARP v1 下申领的符合条件的 2025 年安全审计。

规范

本提案授权两个以美元计价的额度限制铸造器，使用 0.02 美元的价格转换为 ZK，并扩展了可报销的协议相关安全工作的定义。

额度限制铸造器使用每 ZK 0.02 美元的保守参考价格计算。如果在报销时 ZK 的现行市场价格更高，则将铸造更少的代币，并且任何未使用的额度部分将保持未铸造状态。

1. ZARP 2026（2026 年前瞻性报销）

授权分配：价值 300 万美元的 ZK（1.5 亿 ZK）。

Zarp2026_Main 是一个额度限制铸造器，用于报销与 2026 日历年内通过的 ZIP 相关的协议相关安全审计。

Zarp2026_Main 额度限制铸造器为符合条件的协议相关部署的第三方安全审计、形式化验证和代码竞赛提供资金。报销需经安全委员会审查。

Zarp2026_Main 将有两个子额度限制铸造器，每个子铸造器具有与父铸造器相同的额度。

1. Zarp2026_ZIPs 支持通过 ZIP 执行直接报销；以及
2. Zarp2026_Extension 是 ZKSC 可以为未通过 ZIP 执行覆盖的符合条件的审计报销授予子额度限制铸造器的地方。

请注意：由于通过 ZIP 执行的总金额以及反之亦然，每个 Zar

... 请访问下方链接查看完整提案

https://tally.xyz/gov/zksync/proposal/8950122199701470735770347707974232219581467243459743675708682806836533533051