文档

站内开发文档：如何使用工具、各链开放名单、Aleo 专区与 feature 矩阵。

这里是 ProofForge 的站内开发文档：如何使用工具、各链成熟度，以及参考页（Aleo 与 feature 矩阵）。内容按项目规格渲染，不是外链营销导向。

权威顺序不变：已接受的 ADR / PRD / 架构 → 当前代码与可复现产品测试 → 发布资格。工程 leaf 与形式化证据分账记录。

开发指南

安装、写 program、用 --target 物化、理解 fail-closed。从 Counter 到 Solana / EVM / Aleo 命令。

入门

远程 Cloudflare guidance MCP + 本地 stdio 工具，服务 Code Agent。

Streamable HTTP · stdio

各链成熟度与边界：EVM/Solana 领先，NEAR 较弱，形式化仍在做，design-only 不冒充。

9 已实现 · 仅设计

Aleo Instructions 主制品、Leo 4.0.2 锁定、完整 feature 清单（supported / fail-closed / missing）。

24 supported · fail-closed

DSL 能力 × 链覆盖。LOWERED / PARTIAL / FAIL-CLOSED 工程词汇。

op × target 表

EVM

最完善的合约 VM 路径：锁定 solc、Anvil 差分、pf.assets、丰富聚合面。

Solana

最完善的 SVM 路径：可部署 ELF、Mollusk 差分、TransferSol CPI、离线 client。

NEAR

可用的 Phase-1 Wasm 宿主；有 sandbox 门但 runtime 深度弱于 Solana/EVM。

Noir

物化为 Noir 电路源码；prove/verify 有意不在范围内。

Aleo

Instructions 主制品 + Leo 仅编译

Psy

带 Goldilocks 域的 engineering ZK 应用链 leaf；registry 保持 source-only。

CosmWasm

带 validation 标签的 engineering Wasm 宿主 MVP——非主网/formal。

TON

带真实 BoC 与 sandbox 差分的 TVM 栈 MVP；成熟度标签仍为 source-only。

Quint

不可部署的可执行规格模型；含 TipJar vault 建模 demo。