Skip to main content
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

StageMeaning
ResearchWe understand the chain model and toolchain shape, but no local backend exists.
SpikeA minimal artifact is being produced, usually for one Counter example.
ExperimentalA target has SDK, build, and smoke tests, but capability coverage is narrow.
SupportedA 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

TargetStageNotes
EVMExperimentalBaseline through Yul, solc, Foundry smoke; includes EVM-compatible chain profile robinhood-chain-testnet.
NEARSpikeRust near-sdk-rs sourcegen backend; CLI emit modes, IR lowering, package generation.
CosmWasmResearchStrong Wasm spike candidate; reuses NEAR lessons.
Cloudflare WorkersResearchWasm-host target for off-chain edge workers; non-blockchain capability reinterpretation.
Stellar SorobanResearchDocs-first Wasm-host candidate through Soroban/Stellar CLI tooling; not yet in the code registry.
Internet ComputerResearchDocs-first Wasm canister candidate with Candid, cycles, stable memory, and canister lifecycle; not yet in the code registry.
Algorand AVMResearchDocs-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-linkerResearch (superseded)Historical reference Solana path (solana-sbpf-linker id); superseded by solana-sbpf-asm (D-026).
Solana sBPF AsmResearchDirect-assembly route (solana-sbpf-asm id), Lean → IR → sbpf asm → sbpf toolchain → ELF. See design doc, RFC 0005.
Solana Zig forkResearchFallback reference from solana-sdk-mono.
Sui MoveResearchSource-generation; follows Aptos POC.
Aptos MoveResearchFirst Move POC target.
Cardano Plutus/AikenResearchDocs-first eUTXO validator sourcegen candidate through Aiken, UPLC, Plutus blueprints, datum/redeemer/script-context schemas, and transaction-building validation.
Tezos Michelson/LIGOResearchDocs-first Michelson sourcegen candidate through LIGO with typed storage, entrypoints, views/events, operation lists, and sandbox/test validation.
Starknet CairoResearchDocs-first Cairo/Sierra/CASM sourcegen candidate with Scarb, ABI/class hash metadata, Starknet storage/events, and Starknet Foundry/devnet validation.
Aleo LeoResearchDocs-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 TVMResearchDocs-first TVM/Tolk sourcegen candidate with cells, messages, get methods, actions, and TVM gas.
Bitcoin Script/MiniscriptResearchDocs-first Bitcoin base-layer spending-policy candidate through Script, Miniscript, descriptors, PSBT, Taproot/Tapscript, and Bitcoin Core regtest validation.
Zcash ShieldedResearchDocs-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 CashScriptResearchDocs-first UTXO script/covenant sourcegen candidate through CashScript and BCH transaction-builder validation.
Psy DPNExperimentalNarrow ZK circuit sourcegen target through generated .psy, Dargo smokes, and artifact metadata validation.
Kaspa ToccataResearchDocs-first UTXO covenant/based-app target candidate; not yet in the code registry.

​
Documents