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, RFC 0002, Implementation backlog, Design 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	Experimental	Baseline through Yul, solc, Foundry smoke; includes EVM-compatible chain profile robinhood-chain-testnet.
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	Research	Wasm-host target for off-chain edge workers; non-blockchain capability reinterpretation.
Stellar Soroban	Research	Docs-first Wasm-host candidate through Soroban/Stellar CLI tooling; not yet in the code registry.
Internet Computer	Research	Docs-first Wasm canister candidate with Candid, cycles, stable memory, and canister lifecycle; not yet in the code registry.
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, RFC 0005.
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	Research	Docs-first eUTXO validator sourcegen candidate through Aiken, UPLC, Plutus blueprints, datum/redeemer/script-context schemas, and transaction-building validation.
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	Research	Docs-first Cairo/Sierra/CASM sourcegen candidate with Scarb, ABI/class hash metadata, Starknet storage/events, and Starknet Foundry/devnet validation.
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	Research	Docs-first TVM/Tolk sourcegen candidate with cells, messages, get methods, actions, and TVM gas.
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	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	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	Research	Docs-first UTXO covenant/based-app target candidate; not yet in the code registry.

Documents

• EVM
• Wasm family
• Wasm-NEAR
• Cloudflare Workers target
• Stellar Soroban target
• Internet Computer target
• Algorand AVM target
• Solana sBPF Asm — canonical direct-assembly route (solana-sbpf-asm target id, D-026)
• Solana sBPF — superseded Zig/sbpf-linker route (solana-sbpf-linker target id)
• Move family
• Cardano Plutus/Aiken target
• Tezos Michelson/LIGO target
• Starknet Cairo target
• Aleo Leo target
• TON TVM target
• Bitcoin Script/Miniscript target
• Zcash Shielded target
• Bitcoin Cash CashScript target
• Psy DPN ZK target
• Kaspa Toccata target