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.Quickstart
Install the toolchain and compile your first contract in five minutes.
Onboarding
The shortest path from a clean checkout to a useful local dev loop.
Architecture
Read the full architecture overview.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 |
Explore
Concepts
Portable IR, capability registry, authoring model, shared scenario.
RFCs
13 accepted engineering RFCs covering the platform design.
Targets
Per-chain notes for EVM, Solana, NEAR, Psy, Aleo, and 15+ research targets.
Reference
Design decisions, validation gates, development standards, backlog.