后端状态

每个 ProofForge 后端的 target 生命周期阶段和本地验证

​

生命周期阶段

所有后端都在 main 上（“链”是目录和 target id，不是分支）。生命周期阶段见 目标说明。

当前产品实现受主三链完成规约（D-045）约束：先按顺序把 solana-sbpf-asm、evm、wasm-near 做到生产级完善，然后任何额外链才能 推进到 docs-only research 或冻结 spike 维护之外。

​

状态表

Target id	管线	阶段	本地验证
evm	Lean / portable IR → Yul → solc → bytecode	基线（成熟）	golden Yul、诊断、Foundry 运行时冒烟、Anvil 部署
solana-sbpf-asm	portable IR → sBPF assembly → sbpf → ELF	Experimental	Mollusk 测试、Surfpool/Web3.js live 冒烟、Pinocchio 等价性门禁
wasm-near	portable IR → EmitWat（Wasm AST → WAT）→ wat2wasm	Experimental	45 例诊断、IR 覆盖清单、形式化 trace obligation、离线宿主冒烟
psy-dpn	portable IR → .psy → Dargo → DPN circuit JSON	Experimental（受限子集）	golden source、诊断、dargo execute 冒烟
aleo-leo	portable IR → Leo package → leo build/leo test	Research spike	Counter/PureMath golden fixture 与冒烟
wasm-cloudflare-workers	portable IR → TypeScript Worker	Research（链下宿主，D-033）	tsc 类型检查、wrangler dry-run

​

Token SDK

多链 Token SDK（TokenSpec，RFC 0006） 把同一份 token 意图在 EVM 上路由为 ERC-20 bytecode，在 Solana 上路由为 SPL Token / Token-2022 部署计划。

​

门禁状态

• Gate G0 — 已关闭（2026-07-03）： evm + solana-sbpf-asm + wasm-near 在 shared scenario 的行为一致性和资源预算切片达标。
• Gate P0 — 仍然开放： 三个主链的生产级完成。

完整 门禁状态台账 与 目标路线图。