路线图

ProofForge 的分阶段路线图和 tier 模型

​

阶段

Phase 0: EVM 基线                          （完成）
Phase 1: target registry + portable IR     （完成）
Phase 2+: 并行后端 spike                   （Solana、NEAR、Psy 已在 main；
                                           Aleo、CF Workers 为 research）
当前:     shared scenario 在 evm + solana-sbpf-asm + wasm-near 跑通，
           合并收敛跟进（Workstream 24），
           形式化验证路线图（Workstream 25）
之后:     Move 家族（Aptos 优先）、云平台（两个以上目标达到
           Experimental 且 shared-scenario 对齐后；D-010）

​

Tier 模型

Tier 0  主链加固（当前在 main 上）
Tier 1  下一步：主链完成门禁通过后开放
Tier 2  条件性：其 enabler 落地后开放
Tier 3  停靠的研究：文档保持更新，不做 registry/code 工作

主三链完成规约（D-045）： 产品实现能力按顺序保留给三个优先链： solana-sbpf-asm → evm（Ethereum）→ wasm-near（NEAR/Wasm）。这三个 target 必须先达到生产级完善，然后任何额外链才能推进到 docs-only research 或冻结 spike 维护之外。签收台账是 门禁状态 里的 Gate P0。

​

当前重点

Gate G0 已经关闭了 shared-scenario 的行为/资源预算切片。Gate P0 仍然开放， 剩余的主链生产加固工作包括：

1. EVM semantic-plan 迁移（Workstream 3：ExprPlan/StmtPlan/EntrypointPlan/ EventPlan/CrosscallPlan/MetadataPlan）。
2. Solana Pinocchio live dual-deploy 等价性 CI/工具链加固和更广的参考覆盖 （Workstream 7）。
3. NEAR/Wasm target-first 本地执行/部署元数据签收。

完整的 tier 排序、冻结状态和后续研究目标请参阅英文 Target portfolio roadmap 与 target-roadmap.md。