# ProofForge

## Docs

- [Architecture](https://gradiences.mintlify.app/architecture.md): How ProofForge lowers Lean contract sources to chain-native artifacts through portable IR and capability routing
- [Backend status](https://gradiences.mintlify.app/backend-status.md): Per-target lifecycle stage and local validation for every ProofForge backend
- [Authoring Model](https://gradiences.mintlify.app/concepts/authoring-model.md): ProofForge should not ask application developers to author ContractSpec
- [Capability Registry](https://gradiences.mintlify.app/concepts/capability-registry.md): Status: Draft spec (Phase 1)
- [Formal Verification Roadmap](https://gradiences.mintlify.app/concepts/formal-verification.md): Status: Draft (post-consolidation, 2026-07)
- [Portable Contract IR](https://gradiences.mintlify.app/concepts/portable-ir.md): Status: Draft spec (Phase 1)
- [Shared Contract Scenario: Counter](https://gradiences.mintlify.app/concepts/shared-scenario.md): Status: Draft spec (Phase 1–2)
- [ProofForge](https://gradiences.mintlify.app/index.md): Lean-first multi-chain smart contract platform — one verified Lean codebase, many chain targets
- [Contributor Onboarding](https://gradiences.mintlify.app/onboarding.md): This page is the shortest path from a clean checkout to a useful local
- [Quickstart](https://gradiences.mintlify.app/quickstart.md): Install the toolchain and compile your first ProofForge contract to EVM bytecode
- [ProofForge Design Decisions](https://gradiences.mintlify.app/reference/decisions.md): This document records architecture decisions that are settled enough to guide
- [Development Log](https://gradiences.mintlify.app/reference/development-log.md): This log records engineering milestones for ProofForge. It is not a replacement
- [Development Standards](https://gradiences.mintlify.app/reference/development-standards.md): This page is the developer-facing standards index. It links existing
- [Gate Completion Records](https://gradiences.mintlify.app/reference/gate-status.md): Status: Live (2026-07-03)
- [Implementation Backlog](https://gradiences.mintlify.app/reference/implementation-backlog.md): This backlog turns the multi-chain design into reviewable engineering slices.
- [Platform Gap Analysis (2026-07)](https://gradiences.mintlify.app/reference/platform-gaps.md): Status: Draft planning survey; reviewed 2026-07-03
- [Multi-chain Design Review Checklist](https://gradiences.mintlify.app/reference/review-checklist.md): Use this checklist when reviewing ProofForge design docs and upcoming
- [Validation Gates](https://gradiences.mintlify.app/reference/validation-gates.md): This page documents the runnable gates that validate ProofForge today and
- [RFC 0001: Lean-first multi-chain contract platform](https://gradiences.mintlify.app/rfcs/0001-multichain-platform.md): Status: Accepted
- [RFC 0002: Target implementation design](https://gradiences.mintlify.app/rfcs/0002-target-implementation-design.md): Status: Accepted
- [RFC 0003: Portable contract IR, capability lowering, and runtime profiles](https://gradiences.mintlify.app/rfcs/0003-portable-ir-and-runtime.md): Status: Draft
- [RFC 0004: EVM semantic plan and Yul AST boundary](https://gradiences.mintlify.app/rfcs/0004-evm-semantic-plan.md): Status: Draft
- [RFC 0005: Solana sBPF Assembly Backend (Direct Codegen)](https://gradiences.mintlify.app/rfcs/0005-solana-sbpf-assembly-backend.md): Status: Accepted
- [RFC 0006: Multi-Chain Token SDK](https://gradiences.mintlify.app/rfcs/0006-multichain-token-sdk.md): Status: Draft
- [RFC 0007: Unified Rust Test Framework (testkit)](https://gradiences.mintlify.app/rfcs/0007-unified-rust-test-framework.md): Status: Draft
- [RFC 0008: Chain-Decoupled Allocator Abstraction](https://gradiences.mintlify.app/rfcs/0008-allocator-abstraction.md): Status: Draft
- [RFC 0009: CLI Product Surface](https://gradiences.mintlify.app/rfcs/0009-cli-product-surface.md): Status: Accepted — M1 landed, transition still open
- [RFC 0010: Resource Budgets as Gates](https://gradiences.mintlify.app/rfcs/0010-resource-budgets-as-gates.md): Status: Accepted
- [RFC 0011: Portable Runtime Error Model and Unified Client Generation](https://gradiences.mintlify.app/rfcs/0011-runtime-error-model-and-client-generation.md): Status: Draft
- [RFC 0012: Versioning and Compatibility Policy](https://gradiences.mintlify.app/rfcs/0012-versioning-and-compatibility-policy.md): Status: Draft
- [RFC 0013: Deployment Lifecycle, Upgrades, and Signing](https://gradiences.mintlify.app/rfcs/0013-deployment-lifecycle-upgrades-and-signing.md): Status: Draft
- [ProofForge RFCs](https://gradiences.mintlify.app/rfcs/overview.md): RFCs define durable architecture decisions for ProofForge. They describe
- [Target Portfolio Roadmap](https://gradiences.mintlify.app/roadmap.md): Status: Draft (2026-07)
- [Aleo Leo Target](https://gradiences.mintlify.app/targets/aleo-leo.md): Status: Spike (local smoke exists — scripts/aleo/counter-smoke.sh)
- [Algorand AVM Target](https://gradiences.mintlify.app/targets/algorand-avm.md): Status: Research (docs-first candidate)
- [Bitcoin Cash CashScript Target](https://gradiences.mintlify.app/targets/bitcoin-cash-cashscript.md): Status: Research (docs-first candidate)
- [Bitcoin Script/Miniscript Target](https://gradiences.mintlify.app/targets/bitcoin-script-miniscript.md): Status: Research (docs-first candidate)
- [Cardano Plutus/Aiken Target](https://gradiences.mintlify.app/targets/cardano-plutus-aiken.md): Status: Research (docs-first candidate)
- [Cloudflare Workers Target](https://gradiences.mintlify.app/targets/cloudflare-workers.md): Target id: wasm-cloudflare-workers
- [EVM Target](https://gradiences.mintlify.app/targets/evm.md): Target id: evm
- [Internet Computer Target](https://gradiences.mintlify.app/targets/internet-computer.md): Status: Research (docs-first candidate)
- [Kaspa Toccata Target](https://gradiences.mintlify.app/targets/kaspa-toccata.md): Status: Research (docs-first candidate)
- [Move Family Targets](https://gradiences.mintlify.app/targets/move-family.md): Sui and Aptos are not Wasm or EVM-style runtime targets. ProofForge should not
- [Target Notes](https://gradiences.mintlify.app/targets/overview.md): This directory contains target-family notes that sit below the RFCs and above
- [Psy DPN ZK Target](https://gradiences.mintlify.app/targets/psy-dpn.md): Status: Experimental
- [Solana sBPF Target (Superseded)](https://gradiences.mintlify.app/targets/solana-sbf.md): Canonical target id: solana-sbpf-linker (superseded). This filename
- [Solana sBPF Assembly Backend (Direct Codegen)](https://gradiences.mintlify.app/targets/solana-sbpf-asm.md): Canonical target id: solana-sbpf-asm
- [Starknet Cairo Target](https://gradiences.mintlify.app/targets/starknet-cairo.md): Status: Research (docs-first candidate)
- [Stellar Soroban Target](https://gradiences.mintlify.app/targets/stellar-soroban.md): Status: Research (docs-first candidate)
- [Tezos Michelson/LIGO Target](https://gradiences.mintlify.app/targets/tezos-michelson-ligo.md): Status: Research (docs-first candidate)
- [TON TVM Target](https://gradiences.mintlify.app/targets/ton-tvm.md): Status: Research (docs-first candidate)
- [Wasm Allocators](https://gradiences.mintlify.app/targets/wasm-family.md): This note separates three allocator surfaces that are easy to conflate.
- [Wasm-NEAR Target](https://gradiences.mintlify.app/targets/wasm-near.md): Target id: wasm-near
- [Zcash Shielded Target](https://gradiences.mintlify.app/targets/zcash-shielded.md): Status: Research (docs-first candidate)

## Optional

- [GitHub](https://github.com/DaviRain-Su/proof_forge)