> ## 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

> Lean 优先的多链智能合约平台 — 一份经过验证的 Lean 代码库，多个链目标

## 什么是 ProofForge？

ProofForge 是一个 **Lean 优先的多链智能合约平台**。目标是：一份经过验证的
Lean 合约代码库，可以在多个区块链目标家族中编译、测试和部署。

合约面向链中立的 **Contract Intent API** 编写；编译器将其降级为**可移植 IR**，
按目标做 capability 路由，并产出链原生制品。目标不支持的能力会在编译期被拒绝，
而不是静默改变语义。

<Columns cols={2}>
  <Card title="快速开始" icon="rocket" href="/zh/quickstart" horizontal>
    五分钟装好工具链并编译你的第一个合约。
  </Card>

  <Card title="入职指南" icon="door-open" href="/zh/onboarding" horizontal>
    从干净 checkout 到可用本地开发循环的最短路径。
  </Card>
</Columns>

## 架构

```mermaid theme={null}
flowchart TB
  subgraph authoring ["作者层（用户面，链中立）"]
    SDK["Lean SDK<br/>contract_source / Contract Intent API"]
    TOK["Token SDK<br/>TokenSpec"]
  end
  subgraph core ["编译器私有核心"]
    IR["可移植 IR<br/>+ AllocatorConfig + 所有权规则"]
  end
  subgraph routing ["目标路由（--target）"]
    CAP["Capability 检查<br/>拒绝不支持的 intent"]
  end
  subgraph backends ["后端"]
    EVM["EVM"]
    SOL["Solana"]
    NEAR["NEAR"]
    PSY["Psy/DPN"]
    ALEO["Aleo"]
    CFW["CF Workers"]
  end
  SDK --> IR
  TOK --> IR
  IR --> CAP
  CAP --> EVM & SOL & NEAR & PSY & ALEO & CFW
```

完整架构说明见 [架构概览](/zh/architecture)。

## 后端状态

| 目标                        | 阶段                 |
| ------------------------- | ------------------ |
| `evm`                     | 基线（成熟）             |
| `solana-sbpf-asm`         | Experimental       |
| `wasm-near`               | Experimental       |
| `psy-dpn`                 | Experimental（受限子集） |
| `aleo-leo`                | Research spike     |
| `wasm-cloudflare-workers` | Research           |

完整 [后端状态](/zh/backend-status) 与 [目标说明](/zh/targets/overview)。

## 探索

<Columns cols={2}>
  <Card title="核心概念" icon="lightbulb" href="/zh/concepts/portable-ir">
    可移植 IR、能力注册表、作者模型、共享场景。
  </Card>

  <Card title="RFC" icon="file-lines" href="/zh/rfcs/overview">
    已接受的工程 RFC。
  </Card>

  <Card title="目标链" icon="layer-group" href="/zh/targets/overview">
    EVM、Solana、NEAR、Psy、Aleo 及 15+ 研究型目标的逐链说明。
  </Card>

  <Card title="参考" icon="book" href="/zh/reference/decisions">
    设计决策、验证门禁、开发标准、待办事项。
  </Card>
</Columns>

## 中文分析

<Columns cols={2}>
  <Card title="多链愿景可行性分析" icon="chart-line" href="/zh/feasibility-analysis" horizontal>
    面向中文讨论与战略判断的可行性分析。
  </Card>

  <Card title="架构评审 2026-07" icon="magnifying-glass-chart" href="/zh/architecture-review" horizontal>
    统一 SDK 输入与分支收敛的架构评审。
  </Card>
</Columns>