> ## 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. # Target Notes > This directory contains target-family notes that sit below the RFCs and above This directory contains target-family notes that sit below the RFCs and above implementation tasks. They are meant to be edited as research turns into code. Related: [Documentation index](/zh/index), [RFC 0002](/rfcs/0002-target-implementation-design), [Implementation backlog](/reference/implementation-backlog), [Design decisions](/reference/decisions). ## Target Lifecycle | Stage | Meaning | | ------------ | -------------------------------------------------------------------------------- | | Research | We understand the chain model and toolchain shape, but no local backend exists. | | Spike | A minimal artifact is being produced, usually for one Counter example. | | Experimental | A target has SDK, build, and smoke tests, but capability coverage is narrow. | | Supported | A target has stable CLI, artifact metadata, CI, docs, and shared scenario tests. | ## Stage Exit Criteria * `Research` exits only when a target profile draft, required-tool list, and minimal spike acceptance criteria are documented. * `Spike` exits only when a reproducible local command or script exists and the target note records the result. * `Experimental` exits only when SDK/build/smoke coverage exists for a narrow capability set and docs name artifact metadata, CI or optional CI, capability support, and examples. * `Supported` requires stable CLI, artifact metadata, CI, docs, and at least one shared scenario test. **Experimental** does not mean "broken" — EVM has CI and Foundry smoke but lacks target registry and portable IR integration. ## Portfolio Scheduling Boundary The table below is an inventory of target notes, not a scheduling authority. The current product implementation backlog is constrained by the primary-chain completion covenant (D-045): finish `solana-sbpf-asm`, `evm`, and `wasm-near` to production-grade quality, in that order, before any additional chain advances beyond docs-only research or frozen spike maintenance. Existing non-primary entries such as `psy-dpn`, `aleo-leo`, and `wasm-cloudflare-workers` may receive CI stability, security, or documentation maintenance, but they must not expand registry stage, capability surface, testkit coverage, or product scope until Gate P0 closes. ## Current Target Status | Target | Stage | Notes | | --------------------------------------------------------------- | --------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | | [EVM](/targets/evm) | Experimental | Baseline through Yul, `solc`, Foundry smoke; includes EVM-compatible chain profile `robinhood-chain-testnet`. | | [NEAR](/targets/wasm-near) | Spike | Rust `near-sdk-rs` sourcegen backend; CLI emit modes, IR lowering, package generation. | | CosmWasm | Research | Strong Wasm spike candidate; reuses NEAR lessons. | | [Cloudflare Workers](/targets/cloudflare-workers) | Research | Wasm-host target for off-chain edge workers; non-blockchain capability reinterpretation. | | [Stellar Soroban](/targets/stellar-soroban) | Research | Docs-first Wasm-host candidate through Soroban/Stellar CLI tooling; not yet in the code registry. | | [Internet Computer](/targets/internet-computer) | Research | Docs-first Wasm canister candidate with Candid, cycles, stable memory, and canister lifecycle; not yet in the code registry. | | [Algorand AVM](/targets/algorand-avm) | Research | Docs-first AVM/TEAL source/package-generation candidate with app programs, LogicSig, ARC-4 ABI, storage, resource references, and transaction-group semantics; not yet in the code registry. | | Solana sBPF-linker | Research (superseded) | Historical reference Solana path (`solana-sbpf-linker` id); superseded by `solana-sbpf-asm` (D-026). | | Solana sBPF Asm | Research | Direct-assembly route (`solana-sbpf-asm` id), Lean → IR → sbpf asm → sbpf toolchain → ELF. See [design doc](/targets/solana-sbpf-asm), [RFC 0005](/rfcs/0005-solana-sbpf-assembly-backend). | | Solana Zig fork | Research | Fallback reference from `solana-sdk-mono`. | | Sui Move | Research | Source-generation; follows Aptos POC. | | Aptos Move | Research | First Move POC target. | | [Cardano Plutus/Aiken](/targets/cardano-plutus-aiken) | Research | Docs-first eUTXO validator sourcegen candidate through Aiken, UPLC, Plutus blueprints, datum/redeemer/script-context schemas, and transaction-building validation. | | [Tezos Michelson/LIGO](/targets/tezos-michelson-ligo) | Research | Docs-first Michelson sourcegen candidate through LIGO with typed storage, entrypoints, views/events, operation lists, and sandbox/test validation. | | [Starknet Cairo](/targets/starknet-cairo) | Research | Docs-first Cairo/Sierra/CASM sourcegen candidate with Scarb, ABI/class hash metadata, Starknet storage/events, and Starknet Foundry/devnet validation. | | [Aleo Leo](/targets/aleo-leo) | Research | Docs-first ZK application sourcegen candidate through Leo, Aleo Instructions, Aleo VM bytecode, private records, public finalization, prover/verifier artifacts, and Leo CLI/devnet validation. | | [TON TVM](/targets/ton-tvm) | Research | Docs-first TVM/Tolk sourcegen candidate with cells, messages, get methods, actions, and TVM gas. | | [Bitcoin Script/Miniscript](/targets/bitcoin-script-miniscript) | Research | Docs-first Bitcoin base-layer spending-policy candidate through Script, Miniscript, descriptors, PSBT, Taproot/Tapscript, and Bitcoin Core regtest validation. | | [Zcash Shielded](/targets/zcash-shielded) | Research | Docs-first privacy UTXO/ZK payment candidate through transparent Zcash flows, Sapling/Orchard shielded notes, nullifiers, anchors, value-balance constraints, and zcashd/library validation. | | [Bitcoin Cash CashScript](/targets/bitcoin-cash-cashscript) | Research | Docs-first UTXO script/covenant sourcegen candidate through CashScript and BCH transaction-builder validation. | | Psy DPN | Experimental | Narrow ZK circuit sourcegen target through generated `.psy`, Dargo smokes, and artifact metadata validation. | | [Kaspa Toccata](/targets/kaspa-toccata) | Research | Docs-first UTXO covenant/based-app target candidate; not yet in the code registry. | ## Documents * [EVM](/targets/evm) * [Wasm family](/targets/wasm-family) * [Wasm-NEAR](/targets/wasm-near) * [Cloudflare Workers target](/targets/cloudflare-workers) * [Stellar Soroban target](/targets/stellar-soroban) * [Internet Computer target](/targets/internet-computer) * [Algorand AVM target](/targets/algorand-avm) * [Solana sBPF Asm](/targets/solana-sbpf-asm) — canonical direct-assembly route (`solana-sbpf-asm` target id, D-026) * [Solana sBPF](/targets/solana-sbf) — superseded Zig/sbpf-linker route (`solana-sbpf-linker` target id) * [Move family](/targets/move-family) * [Cardano Plutus/Aiken target](/targets/cardano-plutus-aiken) * [Tezos Michelson/LIGO target](/targets/tezos-michelson-ligo) * [Starknet Cairo target](/targets/starknet-cairo) * [Aleo Leo target](/targets/aleo-leo) * [TON TVM target](/targets/ton-tvm) * [Bitcoin Script/Miniscript target](/targets/bitcoin-script-miniscript) * [Zcash Shielded target](/targets/zcash-shielded) * [Bitcoin Cash CashScript target](/targets/bitcoin-cash-cashscript) * [Psy DPN ZK target](/targets/psy-dpn) * [Kaspa Toccata target](/targets/kaspa-toccata)