什么是 ProofForge？
ProofForge 是一个 Lean 优先的多链智能合约平台。目标是：一份经过验证的 Lean 合约代码库，可以在多个区块链目标家族中编译、测试和部署。 合约面向链中立的 Contract Intent API 编写；编译器将其降级为可移植 IR， 按目标做 capability 路由，并产出链原生制品。目标不支持的能力会在编译期被拒绝， 而不是静默改变语义。快速开始
五分钟装好工具链并编译你的第一个合约。
入职指南
从干净 checkout 到可用本地开发循环的最短路径。
架构
完整架构说明见 架构概览。后端状态
| 目标 | 阶段 |
|---|---|
evm | 基线（成熟） |
solana-sbpf-asm | Experimental |
wasm-near | Experimental |
psy-dpn | Experimental（受限子集） |
aleo-leo | Research spike |
wasm-cloudflare-workers | Research |
探索
核心概念
可移植 IR、能力注册表、作者模型、共享场景。
RFC
已接受的工程 RFC。
目标链
EVM、Solana、NEAR、Psy、Aleo 及 15+ 研究型目标的逐链说明。
参考
设计决策、验证门禁、开发标准、待办事项。
中文分析
多链愿景可行性分析
面向中文讨论与战略判断的可行性分析。
架构评审 2026-07
统一 SDK 输入与分支收敛的架构评审。