跳转到主要内容
状态：Research（文档优先候选） 候选 target id：starknet-cairo 英文权威文档：../../targets/starknet-cairo.md

​
结论

Starknet 应归类为 Cairo / Sierra / CASM sourcegen 目标，而不是 generic ZK circuit sourcegen。它和 psy-dpn 的区别是：Starknet 的产品目标是 chain contract class 和 deployed contract instance，psy-dpn 的主制品是 circuit package。 
Starknet Cairo 目标
  -> 生成或包装 Cairo package
  -> Scarb build
  -> Sierra contract class 和 CASM artifact
  -> ABI、class hash、declare/deploy metadata
  -> Starknet Foundry 或 devnet validation

​
对 ProofForge 的含义

starknet-cairo 应先作为文档优先的 Research candidate。第一步不直接加入 ProofForge.Target.Registry。 目标特有问题包括：
  • Cairo source 编译为 Sierra 和 CASM 后再 declare/deploy；
  • contracts 有 class declarations 和 deployed instances；
  • account abstraction 是 Starknet 原生语义；
  • contract address、class hash、selector 和 ABI 是 target-native；
  • storage paths、maps、components 和 events 遵循 Cairo / Starknet 规则；
  • cross-contract calls 使用 Starknet dispatchers / syscalls；
  • L1/L2 messaging 不是普通 contract call。

​
候选能力

候选能力含义
vm.cairotarget 发射 Starknet Cairo source。
artifact.sierra构建输出 Sierra contract class artifacts。
artifact.casm构建输出 CASM artifacts。
class.declaredeployment flow 包含 class declaration。
class.hashartifact 记录 class hash 和 class identity。
abi.starknet构建输出 Starknet ABI 和 selector metadata。
storage.starknetcontract 使用 Starknet storage paths、maps、components。
account.abstractiontarget 依赖 Starknet account-contract semantics。
syscall.starknetcontract 使用 Starknet syscalls。
message.l1_l2contract 发送或消费 L1/L2 messages。
fee.starknetartifact 记录 Starknet fee / resource constraints。
test.snforgevalidation 使用 Starknet Foundry 或 devnet。

​
两条接入路线

  1. Cairo package sourcegen：先生成或包装一个 Scarb package，编译到 Sierra/CASM，并用 snforge 或 devnet-backed tests 验证。
  2. Restricted Cairo IR：在 package route 验证 artifact shape 后，再定义 Cairo-compatible IR，建模 storage、events、external/view functions 和 dispatchers。

​
第一阶段非目标

  • 不把 starknet-cairo 加入代码 registry。
  • 不把 Starknet 归类为 EVM、Wasm-host、Move、Solana、TVM、AVM、UTXO 或 psy-dpn 风格 ZK circuit sourcegen。
  • 不隐藏 Sierra / CASM / class-hash metadata。
  • 不把 token movement 建模成 EVM call value。