EVM
合约虚拟机较完善 · 锁定 solc + Anvil 工程差分
最完善accepted Phase 1
Plan/IR → Yul + 锁定 solc 字节码；G4 Anvil 工程差分
证据
- 锁定 solc 工程定稿
- Anvil 初始化/变更/溢出语料
- 较丰富的聚合 / Map / Option / Principal / pf.assets
边界
- 不是 formal Reference↔Anvil 闭合
- 不是 D4 / 密封 Stage-0 发布声明
开放名单
今天可物化到哪些链、各自完善程度，以及仍属研究或仅设计的项。
开放名单公开说明：DSL / 工具当前能物化到哪些链、各链工程完善程度、以及明确不做的事。这不是营销排名，而是给开发者选型的诚实表。
双轨：accepted PRD Phase 1 仍是 EVM / Solana / NEAR / Noir。Aleo 等为 engineering leaves，scope ADR 未闭合前不静默扩成 accepted 范围。
最完善
EVM、Solana — 锁定工具链 + 较强 runtime 工程差分（Anvil / Mollusk）。
可用 / 追赶中
NEAR 已有 sandbox 门但整体弱于上两者；CosmWasm 等 engineering MVP。
形式化
业务稳定后的证明层仍在做，尚未成功交付 — 见下方专节。
形式化（业务稳定后的证明层）
进行中 · 未交付当前重点在做「业务逻辑稳定之后」的形式化/证明包装（preservation 等），这条轨道尚未完成，不能写成已成功交付。工程 runtime 差分（尤其 EVM / Solana）与 formal 证据是两套账，互不代签。
- 内联证明 / preservation 包装仍在演进
- formal TaskQualification / 发布汇总未闭合
- 无跨 target 的密封 Stage-0 声明
实现中的 target（开放名单）
9 个已实现 materializer。点进 Aleo 可看完整 feature 清单。
Solana
显式账户 SVM较完善 · SBPF/ELF + Mollusk + 产品 CPI 路径
最完善accepted Phase 1
Plan/IR → SBPF 汇编 + 锁定汇编 ELF；Mollusk runtime 差分；产品同步 CPI 路径
证据
- 锁定 sbpf 汇编 → ELF .so
- Mollusk 多程序语料
- TransferSol / 原生 System CPI 产品路径
- 离线 proof-forge-solana-client
边界
- 不是 formal Stage-0 / 密封证据
- async schedule 仍受限
NEAR
Wasm 宿主可用但弱于 EVM/Solana · sandbox 工程门在补
可用 / 追赶中accepted Phase 1
WAT/Wasm + 锁定 wat2wasm；near-sandbox 收据工程门（Counter 类语料）
证据
- 锁定 wat2wasm 产品路径
- near-sandbox deploy/init/mutate/view 工程门
- 聚合 / Option / Map 试点
边界
- runtime 差分弱于 Solana/EVM
- 不是 formal Reference↔sandbox
- 同步 externalCall 仍 fail-closed
Noir
电路编译器source + nargo 仅编译 · 无 prove/verify
工程扎实accepted Phase 1
Plan/relation IR → .nr 包 + 锁定 nargo 仅编译
证据
- 锁定 nargo 编译门
- Counter 类 relation 包
边界
- 无 ACIR / witness / proof / VK / verify
- 成熟度标签 source-only
Aleo
ZK 应用链Instructions 主制品 + Leo 4.0.2 仅编译
工程扎实engineering
Aleo Instructions（.aleo）主制品 + Leo 4.0.2 锁定离线编译
证据
- target-owned AleoPlan / Instructions IR
- Tool Lock Leo 4.0.2（darwin + linux）
- query-contract 旁路制品
边界
- 无 snarkVM / prove / deploy
- deployable=false
- record custody 尚未产品化
- scope ADR 未闭合（未扩成 accepted Phase 1）
Psy
ZK 应用链source-only · 可选 dargo / host-heavy runtime 门
仅源码 / 早期engineering
Plan/IR → Dargo/Psy 源码；registry 仍为 source-only
证据
- dargo 工具锁定
- 可选 just psy-runtime host 路径
边界
- 非网络 UPS/deploy
- bitwise/UInt256 未完整
CosmWasm
Wasm 宿主wasm-validated-alpha · check + mock + wasmd rung-1
可用 / 追赶中engineering
WAT + wat2wasm + cosmwasm-check + mock + wasmd Docker rung-1
证据
- 锁定 check + mock 语料
- 标签 wasm-validated-alpha
边界
- 非主网 / 非 formal
TON
TVM 栈账户Tolk + BoC · sandbox 10/10 · source-only 标签
仅源码 / 早期engineering
Plan/IR → Tolk + 真实 BoC；@ton/sandbox 工程
证据
- sandbox 套件 10/10
边界
- 非主网 / 非 formal
- registry 标签 source-only
Quint
可执行模型不可部署的 .qnt 模型面 · zero-tool
仅源码 / 早期engineering
Q0 Plan/IR → .qnt；deployable=false；zero-tool finalize
证据
- source-only 模型面
边界
- 非 Tool Lock / formal 验证
- 仅 host 侧 Quint 观察
仅设计（无产品 backend）
| 目标 | 角色 | 状态 |
|---|---|---|
| Soroban | Wasm 宿主 | 仅档案 · 无产品 backend |
| ICP | Wasm actor 宿主 | 仅档案 · 无产品 backend |
| OpenVM | zkVM | 仅档案 · 无产品 backend |