跳转到主要内容
本目录包含目标家族说明，其层级介于 RFC 与实现任务之间。随着研究转化为代码，这些说明将不断更新。 相关文档：文档索引、 RFC 0002、 实现积压、 设计决策。

​
目标生命周期

阶段含义
Research我们了解链模型和工具链形态，但尚不存在本地后端。
Spike正在生成最小制品，通常针对一个 Counter 示例。
Experimental目标已具备 SDK、构建和冒烟测试，但能力覆盖范围较窄。
Supported目标具备稳定的 CLI、制品元数据、CI、文档和共享场景测试。

​
阶段退出标准

  • Research 仅在目标 profile 草案、所需工具列表以及最小 Spike 验收标准已记录时退出。
  • Spike 仅在存在可重复的本地命令或脚本，且目标说明记录了结果时退出。
  • Experimental 仅在针对窄能力集具备 SDK/构建/冒烟覆盖，且文档指明了制品元数据、CI 或可选 CI、能力支持及示例时退出。
  • Supported 要求具备稳定的 CLI、制品元数据、CI、文档以及至少一个共享场景测试。
Experimental 并不意味着“损坏”——EVM 已具备 CI 和 Foundry 冒烟测试，但缺乏目标注册表和可移植 IR 集成。

​
目标组合排期边界

下表是 target note 的库存清单，不是排期授权。当前产品实现 backlog 受主三链完成规约 (D-045) 约束：先按顺序把 solana-sbpf-asm、evm 和 wasm-near 做到生产级完善，然后任何额外链才能推进到 docs-only research 或冻结 spike 维护之外。 已有的非主链条目（例如 psy-dpn、aleo-leo 和 wasm-cloudflare-workers） 可以做 CI 稳定性、安全或文档维护，但在 Gate P0 关闭前，不得扩展 registry stage、 capability surface、testkit coverage 或产品范围。

​
当前目标状态

目标阶段说明
EVMExperimental通过 Yul、solc、Foundry smoke 建立基线；包含 EVM-compatible chain profile robinhood-chain-testnet。
NEARSpikeRust near-sdk-rs sourcegen 后端；CLI emit modes、IR lowering、package generation。
CosmWasmResearch强力的 Wasm Spike 候选；复用 NEAR 的经验。
Stellar SorobanResearch文档优先的 Wasm-host 候选，使用 Soroban/Stellar CLI 工具链；尚未进入代码 registry。
Internet ComputerResearch文档优先的 Wasm canister 候选，包含 Candid、cycles、stable memory 和 canister lifecycle；尚未进入代码 registry。
Algorand AVMResearch文档优先的 AVM/TEAL source/package-generation 候选，包含 app programs、LogicSig、ARC-4 ABI、storage、resource references 和 transaction-group 语义；尚未进入代码 registry。
Solana sBPF-linkerResearch（已取代）Solana 历史参考路径（solana-sbpf-linker id）；已被 solana-sbpf-asm (D-026) 取代。
Solana sBPF AsmResearchdirect-assembly 路线（solana-sbpf-asm id），Lean → IR → sbpf asm → sbpf toolchain → ELF。见 设计文档、RFC 0005。
Solana Zig forkResearch来自 solana-sdk-mono 的备选参考。
Sui MoveResearch源代码生成；遵循 Aptos POC。
Aptos MoveResearch首个 Move POC 目标。
Cardano Plutus/AikenResearch文档优先的 eUTXO validator sourcegen 候选，通过 Aiken、UPLC、Plutus blueprints、datum/redeemer/script-context schemas 和 transaction-building validation。
Tezos Michelson/LIGOResearch文档优先的 Michelson sourcegen 候选，通过 LIGO、typed storage、entrypoints、views/events、operation lists 和 sandbox/test validation。
Starknet CairoResearch文档优先的 Cairo/Sierra/CASM sourcegen 候选，包含 Scarb、ABI/class hash metadata、Starknet storage/events 和 Starknet Foundry/devnet validation。
Aleo LeoResearch文档优先的 ZK application sourcegen 候选，包含 Leo、Aleo Instructions、Aleo VM bytecode、private records、public finalization、prover/verifier artifacts 和 Leo CLI/devnet validation。
TON TVMResearch文档优先的 TVM/Tolk sourcegen 候选，包含 cells、messages、get methods、actions 和 TVM gas。
Bitcoin Script/MiniscriptResearch文档优先的 Bitcoin base-layer spending-policy 候选，通过 Script、Miniscript、descriptors、PSBT、Taproot/Tapscript 和 Bitcoin Core regtest validation。
Zcash ShieldedResearch文档优先的 privacy UTXO/ZK payment 候选，包含 transparent Zcash flows、Sapling/Orchard shielded notes、nullifiers、anchors、value-balance constraints 和 zcashd/library validation。
Bitcoin Cash CashScriptResearch文档优先的 UTXO script/covenant sourcegen 候选，通过 CashScript 与 BCH transaction-builder 验证。
Psy DPNExperimental通过生成的 .psy、Dargo 冒烟测试和制品元数据校验实现的窄范围 ZK 电路源代码生成目标。
Kaspa ToccataResearch文档优先的 UTXO covenant / based-app 目标候选；尚未进入代码 registry。

​
文档