> ## 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 后端的 target 生命周期阶段和本地验证

## 生命周期阶段

所有后端都在 `main` 上（"链"是目录和 target id，不是分支）。生命周期阶段见
[目标说明](/zh/targets/overview)。

当前产品实现受**主三链完成规约**（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](/rfcs/0006-multichain-token-sdk)）
把同一份 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 — 仍然开放：** 三个主链的生产级完成。

完整 [门禁状态台账](/zh/reference/gate-status) 与 [目标路线图](/zh/roadmap)。