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