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

​
结论

Bitcoin Cash 通过 CashScript 应归类为 UTXO script / covenant sourcegen 目标。 
Bitcoin Cash CashScript 目标
  -> 生成或包装 .cash source
  -> cashc contract artifact JSON
  -> BCH Script locking bytecode
  -> TypeScript SDK transaction builder / unlockers
  -> local MockNetworkProvider、chipnet 或 node-backed validation
BCH 不是 EVM、Wasm、Move、Solana，也不应简单叫“generic Bitcoin target”。它继承 UTXO 模型，但通过 CashVM upgrades、native introspection、CashTokens 等机制形成了自己的合约语义。

​
对 ProofForge 的含义

bch-cashscript 应先作为文档优先的 Research candidate。第一步不直接加入 ProofForge.Target.Registry。 目标特有问题包括：
  • contracts lock UTXOs；contract functions 是 spend paths；
  • 没有 global mutable contract state；
  • constructor arguments 进入 locking script；
  • function arguments 由 unlocking script 提供，必须视为不可信；
  • covenants 通过 introspection 约束当前交易，尤其是 outputs；
  • local state 可通过 CashTokens NFT commitments 或新的 P2SH locking bytecode 模拟；
  • value 是 UTXO 上的 BCH satoshis；
  • CashTokens 暴露 token category、capability、NFT commitment 和 fungible amount；
  • SDK transaction builder 是实际目标表面的一部分。

​
候选能力

以下能力应先作为候选项保留在文档中：
候选能力含义
storage.utxostate 和 value 位于 spendable UTXOs。
script.p2shcontract deployment/addressing 使用 P2SH locking scripts。
script.unlockercontract calls 是 selected UTXOs 的 unlocking scripts。
tx.introspectioncontract 读取当前交易 inputs/outputs 和 active input data。
covenant.introspectioncontract 通过 introspection 约束 successor outputs。
storage.local_statelocal state 通过 script data 或 CashTokens commitments 模拟。
asset.cashtokencontract 处理 CashTokens category、capability、NFT commitment 和 token amount。
timelock.locktimecontract 依赖 locktime、sequence 或 age checks。
signature.checksigcontract 将 signature verification 作为 spend condition。
artifact.cashscript构建输出 CashScript artifact JSON 和 bytecode metadata。
tx.buildervalidation 包含构造并评估 spend transaction。

​
两条接入路线

  1. CashScript sourcegen：先生成或包装 .cash 合约，通过 cashc 与 CashScript SDK 验证。这是最保守路线。
  2. Restricted UTXO covenant IR：在 sourcegen spike 后，抽象 UTXO spend paths、successor-output constraints、active input、tokens 和 timelocks，再生成 CashScript。

​
第一阶段非目标

  • 不把 bch-cashscript 加入代码 registry。
  • 不把 BCH 归类为 EVM、Wasm-host、Move 或 generic Bitcoin。
  • 不把 contract functions 当成 stateful method calls。
  • 不把 UTXO-local state 当成 global storage。
  • 不隐藏 transaction-builder requirements。
  • 不把 CashTokens 当成 generic ERC-20-like assets。