> ## Documentation Index > Fetch the complete documentation index at: https://gradiences.mintlify.site/llms.txt > Use this file to discover all available pages before exploring further. # ProofForge 设计决策 > 本文档记录了足以指导实现的架构决策。未决问题将保留在 RFC 和目标说明中，直到在此处得到解决。 本文档记录了足以指导实现的架构决策。未决问题将保留在 RFC 和目标说明中，直到在此处得到解决。 另请参阅：[评审清单 (英文)](/zh/review-checklist)，[评审清单 (中文)](/zh/review-checklist)。 ## 决策日志 | ID | 日期 | 决策 | 理由 | | | | ----- | ---------- | ---------------------------------------------------------------------------------------------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | ---------------------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | D-001 | 2026-06-30 | RFC 0001 和 RFC 0002 被**接受**为工程方向 | 存在详细的目标和待办事项文档；草案状态具有误导性 | | | | D-002 | 2026-06-30 | 第一阶段（目标注册表 + 可移植 IR + 制品元数据）必须在非 EVM spike 之前完成 | Spike 需要能力检查和共享的场景定义 | | | | D-003 | 2026-06-30 | CosmWasm 和 Solana spike 在第一阶段后**并行**运行 | 两者之间没有固定顺序；两者都验证了不同的后端家族 | | | | D-004 | 2026-06-30 | ~~规范的 Solana 目标 id 为 `solana-sbpf-linker`~~ **被 D-026 取代** | 原生 Zig + sbpf-linker 适配平台工具链；`solana-sbf` 仅为文件名别名。D-026 以 `solana-sbpf-asm` 作为首选直接汇编路线取代了此项。 | | | | D-005 | 2026-06-30 | 保留 **`solana-zig-fork`** 作为备选/参考路径 | 来自 solana-sdk-mono 的成熟 SDK 参考；并非主要产品路径 | | | | D-006 | 2026-06-30 | NEAR 是 Wasm-host **参考**；CosmWasm 是仓库中第一个新的 Wasm spike | 分叉经验为结构提供了参考；CosmWasm 验证了宿主适配器的通用性 | | | | D-007 | 2026-06-30 | Move POC 从**仅限 Aptos** 开始；Sui 紧随其后 | Aptos 账户资源更简单；Sui 对象模型对抽象的测试更具挑战性 | | | | D-008 | 2026-06-30 | Move 目标使用**源代码生成**，而非 MoveVM 上的 Lean 运行时 | 证明保留在 Lean 中；Move 仅承载可执行逻辑 | | | | D-009 | 2026-06-30 | **`wasm-polkadot` / ink!** 保持为 research-only | 在安排 spike 之前不会进入目标注册表 | | | | D-010 | 2026-06-30 | 云平台需等到**两个或更多目标**达到 Experimental 阶段 | 避免在本地后端实现之前构建 UI 外壳 | | | | D-011 | 2026-06-30 | 将 **`psy-dpn`** 作为 ZK 电路源代码生成下的 Research 目标添加 | Psy 没有公开的类 Yul IR；首次集成应生成 `.psy` 并调用 Dargo | | | | D-012 | 2026-07-01 | 将 **`kaspa-toccata`** 分类为文档优先的 Research 候选目标，而非 ZK 电路源代码生成目标 | Toccata 是通过 transaction v1、covenants、内联证明验证和 based-app 结算实现的 Kaspa L1 可编程性；代码注册表更改需等待 UTXO/covenant 能力评审 | | | | D-013 | 2026-07-01 | 将 **`wasm-stellar-soroban`** 分类为文档优先的 Wasm-host Research 候选目标 | Soroban 发射 Wasm，但具有 Stellar 特有的存储 TTL、授权、合约规范、部署和 CLI 语义；注册表更改需等待选定第一个 spike 路径 | | | | D-014 | 2026-07-01 | 将 **`wasm-icp-canister`** 分类为文档优先的 Wasm-host Research 候选目标 | Internet Computer canister 发射 Wasm，但具有 Candid、principal 身份、update/query 调用模式、cycles、稳定内存、异步 canister 间调用和生命周期语义；注册表更改需等待选定 canister spike 路径 | | | | D-015 | 2026-07-01 | 将 **`ton-tvm`** 分类为文档优先的 TVM/Tolk 源代码生成 Research 候选目标 | TON 合约以 TVM 为目标，具有 cell、TL-B 序列化、消息处理程序、get 方法、操作列表、账户生命周期和 TVM gas 语义；注册表更改需等待选定源代码生成 spike 路径 | | | | D-016 | 2026-07-01 | 将 **`bch-cashscript`** 分类为文档优先的 UTXO 脚本/covenant 源代码生成 Research 候选目标 | 通过 CashScript 实现的 Bitcoin Cash 合约使用 BCH Script 锁定和花费 UTXO，具有交易内省、CashTokens 和 SDK 交易构建器语义；注册表更改需等待选定 CashScript spike 路径 | | | | D-017 | 2026-07-01 | 将 **`algorand-avm`** 分类为文档优先的 AVM/TEAL 源代码生成 Research 候选目标 | Algorand 合约以 AVM approval/clear-state 或 LogicSig 程序为目标，具有 ARC-4 ABI、全局/本地/box 存储、资源引用、原子交易组、内部交易和 AVM budget 语义；注册表更改需等待选定 Algorand 包 spike 路径 | | | | D-018 | 2026-07-01 | 将 **`cardano-plutus-aiken`** 分类为文档优先的 eUTXO 验证器源代码生成 Research 候选 | Cardano 合约通过 datum、redeemer、脚本上下文、Plutus/UPLC 制品、执行单元、Plutus 蓝图以及链下交易构建语义来验证 eUTXO 支出；注册表更改需等待 Aiken 源代码生成 spike 路径选定 | | | | D-019 | 2026-07-01 | 将 **`tezos-michelson-ligo`** 分类为文档优先的 Michelson/LIGO 源代码生成 Research 候选 | Tezos 合约以 Michelson 为目标，具有类型化存储、参数、入口、视图/事件、操作列表、`big_map`、tickets、Sapling、gas 和存储销毁语义；注册表更改需等待 LIGO 源代码生成 spike 路径选定 | | | | D-020 | 2026-07-01 | 将 **`starknet-cairo`** 分类为文档优先的 Cairo/Sierra/CASM 源代码生成 Research 候选 | Starknet 合约通过 Cairo 编译为 Sierra/CASM，具有 ABI、类哈希、声明/部署元数据、Starknet 存储/事件、账户抽象、系统调用以及 L1/L2 消息传递语义；注册表更改需等待 Cairo 包 spike 路径选定 | | | | D-021 | 2026-07-01 | 将 **`bitcoin-script-miniscript`** 分类为文档优先的比特币基础层支出策略 Research 候选 | 比特币脚本被有意限制为带有签名、哈希锁、时间锁、描述符、Miniscript、Taproot/Tapscript、PSBT 流以及标准性/费用约束的 UTXO 锁定/解锁策略；注册表更改需等待 Miniscript/描述符 spike 路径选定 | | | | D-022 | 2026-07-01 | 将 **`zcash-shielded`** 分类为文档优先的隐私 UTXO/ZK 支付 Research 候选 | Zcash 衍生自比特币，但屏蔽支持取决于 Sapling/Orchard note、nullifier、anchor、价值平衡约束、查看/披露策略以及协议定义的 ZK 证明；注册表更改需等待屏蔽 note 能力以及证明/验证边界完成评审 | | | | D-023 | 2026-07-01 | 将 **`aleo-leo`** 分类为文档优先的 Aleo ZK 应用源代码生成 Research 候选 | Aleo 程序结合了私有链下证明执行、公共链上最终化、加密记录、公共映射/存储、Aleo 指令、Aleo VM 字节码、ABI、证明者/验证者制品以及执行/部署交易；注册表更改需等待证明/最终化拆分完成评审 | | | | D-024 | 2026-07-01 | 将 Robinhood Chain 建模为 **`robinhood-chain-testnet`**，即 `evm` 下的一个 EVM 兼容链 profile，而非新的编译器目标 | Robinhood Chain 执行 EVM 兼容的 Arbitrum Orbit L2 合约；ProofForge 的 EVM 后端涵盖字节码生成，而链 profile 记录链 id、RPC、浏览器、验证器、rollup 和部署元数据 | | | | D-025 | 2026-07-01 | 添加 **`solana-sbpf-asm`** 作为探索中的新 Solana 路径（直接 sBPF 汇编代码生成）；保留 `solana-sbpf-linker` 作为备选 | 直接从可移植 IR 生成 sBPF 汇编可规避完整的 Lean Zig 运行时链接风险；blueshift-gg/sbpf 工具链处理汇编和链接。参见 [RFC 0005](/rfcs/0005-solana-sbpf-assembly-backend) 和 [设计文档](/zh/targets/solana-sbpf-asm)。 | | | | D-026 | 2026-07-01 | **采用 `solana-sbpf-asm` 作为规范的 Solana 路径；取代 `solana-sbpf-linker`** | 直接汇编路径规避了 Lean 运行时链接风险，提供了对计算单元和栈的完全控制，并镜像了 EVM/Yul 模式。`solana-sbpf-linker` 仅作为历史参考保留 —— 代码生成应以汇编路径为目标。 | | | | D-027 | 2026-07-01 | **CPI 和 PDA 效应保留在 Solana 特定层中，而非可移植 IR 中** | `cpiInvoke`、`cpiInvokeSigned` 和 `pdaDerive` 是仅限 Solana 的概念（Solana 的账户传递 CPI + PDA 派生在 EVM、Wasm 或 Move 上没有对应物）。它们属于 `ProofForge.Backend.Solana.Effects` 或 Solana SDK 模块，受 `crosscall.cpi` 和 `storage.pda` 能力的限制。可移植 IR (`ProofForge.IR.Contract.Effect`) 保持链中立 —— 仅当 ≥2 个目标家族共享相同的语义形状时才添加新的构造函数。 | | | | D-028 | 2026-07-02 | **用户合约面向链无关的 Contract Intent API；选定的目标将 intent 解析为能力计划** | 默认 SDK 界面不应暴露目标链。用户编写可移植合约 intent，然后 `--target` 选择目标适配器，该适配器将这些 intent 路由到低层级的能力实现，检查支持/运行时约束，并发射目标制品。能力 id 仍是目标适配器和 Target Extension SDK 使用的内部协议；它们不是主要的面向用户的 API。 | | | | D-029 | 2026-07-01 | 采用 Rust `near-sdk-rs` 源代码生成作为仓库内的 `wasm-near` v0 后端 | EmitZig/Zig 宿主桥接源码不在仓库中；可移植 IR → near-sdk-rs 包 → cargo wasm32 现在验证 NEAR 语义，并保留 Zig 宿主桥接路径以便稍后恢复。（在 2026-07 分支合并期间从 NEAR 分支的 D-025 重新编号。） | | | | D-030 | 2026-07-01 | `wasm-near` v0 支持 `Hash` 映射键、`.assertions.check` 和 `.account.explicit` | 现有 `MapProbe`（Hash 键、`assertEq`）和 `ContextProbe` (`contractId`) 测试固件所需；`.crosscall.invoke` 在源代码生成 v0 中仍不受支持。（从 NEAR 分支的 D-026 重新编号。） | | | | D-031 | 2026-07-01 | 采用 **`EmitWat`**（可移植 IR → Wasm AST → WAT 文本 → `wat2wasm`）作为规范的 Wasm 家族后端；将 Rust `near-sdk-rs` 源代码生成降级为**冻结的 v0 权宜方案** | `EmitWat` 镜像了仓库内的 **可移植 IR → Yul** 渲染器 `Backend/Evm/IR.lean`（被每个 `--emit-*-ir-yul` CLI 模式使用），而*不是*独立的基于 LCNF 的 `Compiler/LCNF/EmitYul.lean`。由于可移植 IR 已经抽象了 Lean 对象（仅限 `u32`/`u64`/`bool`/`hash` 标量 + 存储效应），`EmitWat` 不需要 Lean 运行时移植、对象模型装箱或 GC —— 既避免了 Rust 路径的 `near-sdk` 宏耦合（E0119 Borsh / 缺失 `&self` 的 cargo-check 失败），也避免了阻塞先前 `EmitZig` 计划的 Lean-runtime-to-Wasm 移植。共享层：`Compiler/Wasm/AST.lean` + `Printer.lean` + IR→AST 降级（与 `Compiler/Yul/AST.lean` + `Printer.lean` 并行）；来自 `Backend/WasmNear/IR.lean` 和 `Backend/Evm/IR.lean` 的可重用验证。每条链：宿主导入 + ABI 序列化。关键 spike 风险：NEAR 参数（反）序列化（JSON/Borsh），EVM 后端不存在此问题（EVM 使用 calldata）。（从 NEAR 分支的 D-027 重新编号。） | | | | D-032 | 2026-07-01 | 批准 **`aleo-leo`** Research 退出设计：Leo 优先的 `zk-app-sourcegen` 边界、Road 1 的规范能力、制品清单 schema 以及 `leo build`/`leo test` 工具链 | Aleo 的证明/最终化拆分需要其独立的源代码生成家族，不同于 `psy-dpn` 风格的电路源代码生成；代码注册表变更仍被推迟，直到 Road 1 spike 成功并通过评审。（在 2026-07 分支合并期间从 Aleo 分支的 D-025 重新编号。） | | | | D-033 | 2026-07-01 | 添加 **`wasm-cloudflare-workers`** 作为 Research Wasm 宿主目标 | Cloudflare Workers 不是区块链，但它与 NEAR/CosmWasm 共享 Wasm 宿主后端模式；它通过使用重新解释的能力在链下运行相同的经过验证的业务逻辑，验证了可移植核心模型。（在 2026-07 分支合并期间从 Cloudflare 分支的 D-025 重新编号。） | | | | D-034 | 2026-07-02 | 采用**分层目标组合** ([target-roadmap](/zh/roadmap)) 并将 UTXO 脚本目标归类为单独的**策略家族** | 层级门控：在 `evm`/`solana-sbpf-asm`/`wasm-near` 上的共享场景一致性开启并行的 `wasm-cosmwasm` (D-006) 和 `move-aptos` (D-007)；Soroban/Sui/源代码生成目标在这些出口开启；一次最多激活一个源代码生成 spike。Bitcoin 家族目标 (`bitcoin-script-miniscript`, `bch-cashscript`, `zcash-shielded`, `kaspa-toccata`) 是支出策略生成器，而非合约执行器：它们获得策略 IR（谓词树；无存储/事件/跨调用），带有新的 `policy.*` 能力 id 和 PSBT/regtest 验证通道，而不是被强制通过合约流水线 | | | | D-035 | 2026-07-02 | **当前阶段完成标准：** 在开启 Tier-1 目标之前，共享场景 (Counter，然后是 ValueVault) 必须在 `evm`、`solana-sbpf-asm` 和 `wasm-near` 上通过 | 锁定当前巩固阶段的完成的定义；在满足 G0 门控之前，保持新的 Research 目标仅限文档，防止过早的能力注册表/能力变动 | | | | D-036 | 2026-07-02 | 在 IR/目标层下**统一分配器建模**为 `AllocatorModel` (策略/区域/释放)，保留 Solana `solana.allocator.*` 元数据键作为 Solana 特定的配置语法，并为 EVM 提供显式的 bump-over-scratch 绑定 | 解决工作流 24 分配器统一的开放问题；RFC 0008 定义了该三元组。持久状态模型 (EVM 存储, Solana 账户, NEAR 存储) 保持在分配器抽象之外。在所有权健全性 (FV-3) 证明经过检查的空操作合理之前，`Statement.release` 在 EVM 上保持拒绝状态 | | | | D-037 | 2026-07-02 | 将 **`wasm-cloudflare-workers`** 保留在 `wasmHost` 目标家族下作为 Research 离链宿主 | 它与 NEAR/CosmWasm 共享 Wasm 宿主后端模式 (EmitWat, 可移植核心 + 宿主桥接)；其离链状态通过阶段 (Research) 和能力集而非通过单独的家族来表达。在更多离链目标强制要求新分类之前，推迟建立独立的离链宿主家族 | | | | D-038 | 2026-07-03 | 将 **`evm` 目标 profile** 绑定到显式的 bump-over-call-scratch 分配器模型 (`AllocatorConfig.evm`: 策略 `bump`, 区域 call-scratch, `release = none`) | 记录 `EmitYul`/EVM 计划已经执行的操作：EVM 使用编译器选择偏移量的字寻址事务暂存内存，且从不释放。`Statement.release` 在 EVM v0 上保持拒绝状态。向 `release = noop` 的过渡以 FV-3 证明所有权检查使释放语义透明（无释放后使用、无重复释放）为门控，以便 EVM 追踪 (traces) 与具备重用能力的目标保持一致 | | | | D-039 | 2026-07-03 | 在 testkit M4 绑定到遗留标志之前，接受 \`proof-forge build | emit | check --target \ \[--fixture \]\` 的 CLI 产品界面 | RFC 0009 定义了目标优先界面、fixture 注册表以及遗留标志别名/弃用计划。2026-07-03 评审发现 M1 已通过兼容层落地（`Command`/`CliOptions`、`check`、list commands 以及 legacy alias metadata），因此本决策用于批准该界面并明确剩余 M3/M4 迁移，而不是作为代码前置冻结 | | D-040 | 2026-07-03 | 将资源预算 (EVM gas, Solana CU, NEAR gas) 作为 Tier-0 一致性门控的必要部分 | Tier-0 共享场景一致性 (D-034) 必须比较行为*以及*预算；RFC 0010 定义了 testkit 场景中带有容差范围的可选每步预算基准，防止虚假一致性并锁定当前 Solana 直接汇编的 CU 优势 | | | | D-041 | 2026-07-03 | 采用可移植运行时错误模型 (`assertion_id` + 可选 `user_code`) 和统一的 `ContractSpec` 客户端 schema | 每个目标以其原生形式编码相同的错误 id (EVM revert, Solana 自定义错误, NEAR panic 负载, Psy 断言索引)；testkit 断言 `expect.error`。目标中立的 `ContractSpec` JSON 泛化了现有的 Solana IDL，并在 testkit M3 之后提供给每条链的 TS 客户端 | | | | D-042 | 2026-07-03 | 为可移植 IR、制品/部署 JSON schema、能力 id 以及 SDK/CLI 采用版本控制和兼容性策略 | IR 使用 `major.minor`，其中新的构造函数为次要变更，语义变更为主要变更；制品/部署 schema 使用整数 `schemaVersion`，并遵循宽容读取规则；能力 id 为仅追加；SDK/CLI 在 1.0 版本前后遵循类 semver 规则。RFC 0012 定义了完整策略 | | | | D-043 | 2026-07-03 | 添加 `upgradePolicy` 意图（\`immutable | authority(keyRef) | governance(ref)\`），并将签名保持在编译器之外 | 每个目标诚实地降级策略，或在编译时拒绝；EVM v0 仅支持 `immutable`；Solana 支持 `immutable` 和 `authority`；NEAR 支持 `immutable` 和 `authority` 作为账户密钥策略。ProofForge 仅发射未签名的交易/清单；密钥托管保留在钱包/KMS/CI 密钥中。RFC 0013 定义了完整生命周期和签名边界 | | D-044 | 2026-07-03 | **Tier-0 优先完成：** 在进行任何新链推进之前，按实现优先级顺序完成 `solana-sbpf-asm`、`evm`、`wasm-near`，以达到完整的 DoD——包括行为一致性*以及*资源预算（D-040） | 落实 D-035/D-040。在 Gate G0 随预算关闭之前，已落地的 Aptos/CosmWasm spike 冻结在当前的 M1/M2 状态（无注册表阶段，无 M3/M4，不启动 Tier-2）；D-045 会把该冻结延长到更严格的主三链签署 Gate P0。D-034/Workstream 28 中旧的“并行开启 Tier-1”措辞在当前阶段被此“完成优先”规则取代。参见 [target-roadmap](/zh/roadmap) Tier-0 完成检查清单和 [gate-status](/zh/reference/gate-status) 以获取各标准状态。 | | | | D-045 | 2026-07-03 | **主三链完成规约：** 产品实现优先级为 `solana-sbpf-asm` → `evm`（Ethereum）→ `wasm-near`（NEAR/Wasm），这三条链必须达到生产级完善后，任何额外链才能推进到文档优先研究或冻结 spike 维护之外 | 这是高于单个工作流的产品级排序规则。“完成”意味着每条链都具备 target-first 构建/发射、本地执行或部署冒烟、制品/部署元数据、能力诊断、资源预算、CI 覆盖以及同步维护的文档。新目标仍可写文档优先研究说明，已落地的 Aptos/CosmWasm/Aleo/Psy/Cloudflare spike 可做 CI/安全维护，但在 [gate-status](/zh/reference/gate-status) 记录主三链签署之前，不应为额外链落地新的注册表、能力、testkit 或 CI 推进。 | | | ## 目标家族分类 | 目标家族 | 目标 | 后端模式 | | ------------------------------------ | -------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | 直接编译器 | `evm` | ContractSpec / 可移植 IR → EVM 语义计划 → Yul AST/源代码 → solc；旧的 Lean → LCNF → Yul 路径仅用于 Research/等效性 | | EVM 兼容链 profile | `robinhood-chain-testnet` | 复用 `evm` 字节码/ABI 输出；添加 chain id、RPC、浏览器、验证器、rollup 以及部署制品元数据 | | Wasm 宿主 | `wasm-near`, `wasm-cosmwasm`, `wasm-cloudflare-workers`（链下宿主，D-033）, `wasm-stellar-soroban`（候选，仅文档）, `wasm-icp-canister`（候选，仅文档） | 可移植 IR → **`EmitWat`** (Wasm AST → WAT) → `wat2wasm` + 每条链的宿主导入；Rust/CDK 源代码生成仅作为冻结的 v0 临时方案使用 (D-031, [wasm-family](/zh/targets/wasm-family))；Cloudflare Workers 目前使用 TypeScript 源代码生成 | | 二进制工具链 | `solana-sbpf-linker`, `solana-zig-fork` | Lean → 发射 Zig → bitcode → sbpf-linker（历史参考；已被 D-026 取代） | | sBPF 直接代码生成 | `solana-sbpf-asm` | Lean → IR → sBPF 汇编 (.s) → sbpf 工具链 → ELF（规范 D-026） | | 源代码生成 | `move-aptos`, `move-sui` | 可移植 IR → Move 包源代码 | | AVM 源代码生成 Research | `algorand-avm`（候选，仅文档） | 可移植 IR → Algorand Python、Algorand TypeScript 或 TEAL 包 → AVM approval/clear-state 或 LogicSig 字节码 + ARC-4/app 制品元数据 | | eUTXO 验证器源代码生成 Research | `cardano-plutus-aiken`（候选，仅文档） | 可移植 IR → Aiken 包 → UPLC/Plutus 验证器制品 + Plutus 蓝图 + 交易场景制品元数据 | | Michelson 源代码生成 Research | `tezos-michelson-ligo`（候选，仅文档） | 可移植 IR → LIGO 包 → Michelson 合约 + 参数/存储 schema + 操作/视图/事件清单 | | Cairo 源代码生成 Research | `starknet-cairo`（候选，仅文档） | 可移植 IR → Cairo/Scarb 包 → Sierra/CASM 制品 + ABI/class-hash/部署制品元数据 | | Aleo ZK 应用源代码生成 (`zk-app-sourcegen`) | `aleo-leo`（候选，仅文档） | 可移植 IR → Leo 包 → Aleo 指令 → Aleo VM 字节码 + ABI/prover/verifier 制品 + 执行/部署制品元数据 | | TVM 源代码生成 Research | `ton-tvm`（候选，仅文档） | 可移植 IR → Tolk 或更低层级的 TON 源代码 → TVM/BOC 制品 + TL-B/消息清单 | | 比特币脚本策略 Research | `bitcoin-script-miniscript`（候选，仅文档） | 可移植 IR → policy/Miniscript/descriptor 包 → Script/Tapscript 输出 + PSBT/regtest 验证制品元数据 | | 隐私 UTXO ZK 支付 Research | `zcash-shielded`（候选，仅文档） | 可移植 IR → 屏蔽交易/证明清单 → 带有 Sapling/Orchard 证明包的 Zcash 交易 + zcashd/库验证制品元数据 | | UTXO 脚本源代码生成 Research | `bch-cashscript`（候选，仅文档） | 可移植 IR → CashScript `.cash` 源代码 → cashc 制品 JSON + BCH 交易构建器验证 | | ZK 电路源代码生成 | `psy-dpn` | 可移植 IR → `.psy` 包 → Dargo → DPN 电路 JSON | | UTXO 契约 Research | `kaspa-toccata`（候选，仅文档） | 可移植 IR → covenant/Silverscript 包 + 交易 v1 清单 + 可选的证明结算制品元数据 | ## 路线图摘要 已被 [target-roadmap](/zh/roadmap) (D-034) 中的 Tier/Gate 模型、Tier-0 优先完成规则 (D-044) 以及主三链完成规约 (D-045) **取代**。下方的历史阶段标签 仅用于追溯；请勿将其用于调度。权威的排序是以主三链签署为第一前置门禁的 Tier 模型（Tier 0 激活 → Gate P0 → Tier 1 → Gate G2 → …），Gate 状态在 [gate-status](/zh/reference/gate-status) 中跟踪。 ```text theme={null} Phase 0: EVM baseline (done) Phase 1: Target registry + portable IR + artifact metadata + capability errors Phase 2: Parallel spikes — CosmWasm (wasm-cosmwasm) + Solana (solana-sbpf-linker) [superseded: Solana is solana-sbpf-asm per D-026] Phase 3: Move sourcegen — Aptos POC first, then Sui [frozen at Aptos M1/M2 spike per D-044 until Tier-0 DoD] Phase 3.5: Psy DPN sourcegen research spike Research lane: Kaspa Toccata covenant/based-app target note before registry changes Research lane: Stellar Soroban Wasm-host target note before registry changes Research lane: Internet Computer canister target note before registry changes Research lane: Algorand AVM/TEAL target note before registry changes Research lane: Cardano Plutus/Aiken eUTXO target note before registry changes Research lane: Tezos Michelson/LIGO target note before registry changes Research lane: Starknet Cairo target note before registry changes Research lane: Aleo Leo ZK app target note before registry changes Research lane: TON TVM/Tolk target note before registry changes Research lane: Bitcoin Script/Miniscript spending-policy target note before registry changes Research lane: Zcash shielded privacy payment target note before registry changes Research lane: Bitcoin Cash CashScript target note before registry changes Phase 4: Cross-target shared scenario hardening [= Gate G0, D-035/D-040/D-044] Phase 5: Cloud platform ``` 详细任务：[实现待办事项](/zh/reference/implementation-backlog)。 ## 权威规范 | 主题 | 文档 | | ------------------------------ | ----------------------------------------------------------------------------- | | 可移植合约 IR | [portable-ir.md](/zh/concepts/portable-ir) | | 能力 id | [capability-registry.md](/zh/concepts/capability-registry) | | Counter 共享场景 | [shared-scenario.md](/zh/concepts/shared-scenario) | | 目标工程形态 | [RFC 0002](/rfcs/0002-target-implementation-design) | | CosmWasm SDK spike 草案 | [targets/wasm-family.md](/zh/targets/wasm-family) | | Wasm-NEAR 源代码生成目标 | [targets/wasm-near.md](/zh/targets/wasm-near) | | Cloudflare Workers 目标 | [targets/cloudflare-workers.md](/zh/targets/cloudflare-workers) | | Stellar/Soroban 候选目标 | [targets/stellar-soroban.md](/zh/targets/stellar-soroban) | | Internet Computer 候选目标 | [targets/internet-computer.md](/zh/targets/internet-computer) | | Algorand AVM 候选目标 | [targets/algorand-avm.md](/zh/targets/algorand-avm) | | Solana 指令清单 | [targets/solana-sbf.md](/zh/targets/solana-sbf) | | Cardano Plutus/Aiken 候选目标 | [targets/cardano-plutus-aiken.md](/zh/targets/cardano-plutus-aiken) | | Tezos Michelson/LIGO 候选目标 | [targets/tezos-michelson-ligo.md](/zh/targets/tezos-michelson-ligo) | | Starknet Cairo 候选目标 | [targets/starknet-cairo.md](/zh/targets/starknet-cairo) | | Aleo Leo 候选目标 | [targets/aleo-leo.md](/zh/targets/aleo-leo) | | TON TVM 候选目标 | [targets/ton-tvm.md](/zh/targets/ton-tvm) | | Bitcoin Script/Miniscript 候选目标 | [targets/bitcoin-script-miniscript.md](/zh/targets/bitcoin-script-miniscript) | | Zcash Shielded 候选目标 | [targets/zcash-shielded.md](/zh/targets/zcash-shielded) | | Bitcoin Cash CashScript 候选目标 | [targets/bitcoin-cash-cashscript.md](/zh/targets/bitcoin-cash-cashscript) | | Psy/DPN ZK 目标 | [targets/psy-dpn.md](/zh/targets/psy-dpn) | | Kaspa/Toccata 候选目标 | [targets/kaspa-toccata.md](/zh/targets/kaspa-toccata) | ## 已取代的立场 以下早期的文档立场不再具有权威性： * RFC 0001 阶段 2 = 仅限 Solana，阶段 3 = 仅限 Wasm —— 已被并行的阶段 2 spike (D-003) 取代。 * 里程碑 3 = Solana 作为唯一的第二个目标 —— 已被并行的 CosmWasm + Solana (D-003) 取代。 * CLI id `solana-sbf` —— 使用 `solana-sbpf-asm` (D-026)。 * Move POC 同时生成 Sui 和 Aptos 包 —— Aptos 优先 (D-007)。 * D-034 “在 Gate G0 之后并行开启 Tier-1 (cosmwasm + aptos)” —— 对于当前阶段，Tier-0 完成优先 (D-044) 和主三链完成规约 (D-045) 具有更高优先级：在将任何 Tier-1 spike 推进到超过其当前状态之前，先完成 `solana-sbpf-asm`/`evm`/`wasm-near` 以达到生产级 DoD。 * D-039 原始的“在 Workstream 29 M1 之前不进行代码更改”措辞 —— 2026-07-03 评审发现 M1 已经落地后已修正；RFC 0009 现在为 Accepted，M1 已实现，M3/M4 仍开放。 * decisions.md “路线图摘要” 阶段 0–5 模型 —— 已被 [target-roadmap](/zh/roadmap) (D-034) 中的 tier/gate 模型取代；保留在上方仅用于追溯。