> ## 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-first multi-chain smart contract platform — one verified Lean codebase, many chain targets

## What is ProofForge?

ProofForge is a **Lean-first multi-chain smart contract platform**. The goal is
one verified Lean contract codebase that can be compiled, tested, and deployed
across multiple blockchain target families.

Contracts are written against a chain-neutral **Contract Intent API**; the
compiler lowers them to a **portable IR**, routes capabilities per target, and
emits chain-native artifacts. Unsupported target capabilities are rejected at
compile time instead of silently changing semantics.

<Columns cols={2}>
  <Card title="Quickstart" icon="rocket" href="/quickstart" horizontal>
    Install the toolchain and compile your first contract in five minutes.
  </Card>

  <Card title="Onboarding" icon="door-open" href="/onboarding" horizontal>
    The shortest path from a clean checkout to a useful local dev loop.
  </Card>
</Columns>

## Architecture

```mermaid theme={null}
flowchart TB
  subgraph authoring ["Authoring (user-facing, chain-neutral)"]
    SDK["Lean SDK<br/>contract_source / Contract Intent API"]
    TOK["Token SDK<br/>TokenSpec"]
  end
  subgraph core ["Compiler-owned core"]
    IR["Portable IR<br/>+ AllocatorConfig + ownership rules"]
    SEM["IR semantics + formal anchors"]
  end
  subgraph routing ["Target routing (--target)"]
    CAP["Capability check<br/>reject unsupported intents"]
  end
  subgraph backends ["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
```

Read the full [architecture overview](/architecture).

## Backend status

| Target                    | Stage                     |
| ------------------------- | ------------------------- |
| `evm`                     | Baseline (mature)         |
| `solana-sbpf-asm`         | Experimental              |
| `wasm-near`               | Experimental              |
| `psy-dpn`                 | Experimental (restricted) |
| `aleo-leo`                | Research spike            |
| `wasm-cloudflare-workers` | Research                  |

See the full [backend status](/backend-status) and the [target notes](/targets/overview).

## Explore

<Columns cols={2}>
  <Card title="Concepts" icon="lightbulb" href="/concepts/portable-ir">
    Portable IR, capability registry, authoring model, shared scenario.
  </Card>

  <Card title="RFCs" icon="file-lines" href="/rfcs/overview">
    13 accepted engineering RFCs covering the platform design.
  </Card>

  <Card title="Targets" icon="layer-group" href="/targets/overview">
    Per-chain notes for EVM, Solana, NEAR, Psy, Aleo, and 15+ research targets.
  </Card>

  <Card title="Reference" icon="book" href="/reference/decisions">
    Design decisions, validation gates, development standards, backlog.
  </Card>
</Columns>

## 中文文档

中文读者请切换到 **zh** 语言：页面顶部右侧的语言切换器，或直接访问
[/zh/index](/zh/index)。