与目标 id 的关系
- 目标 id 记录在
docs/decisions.md中，并由docs/rfcs/0002-target-implementation-design.md汇总。 - 此注册表拥有能力 id，而非目标生命周期阶段。
- 文档不得为相同的语义发明替代 id。
与 Contract Intent 和 Target Extension 的关系
capability id 是 target selection 之后使用的下层协议，不是默认面向用户的 SDK。portable contract 通常应调用链中立的 Contract Intent API。所选 target adapter 会把这些 intent 解析为 capability plan，然后在降级前检查本注册表。 Target Extension SDK 可以暴露 Solana PDA/CPI/runtime allocator 配置、Move resource 或 UTXO covenant primitive 等目标特定操作。这些 extension 仍通过 capability id 和 target metadata 路由，使诊断、制品元数据和跨 target 支持检查保持统一。核心能力
Solana 列反映规范的solana-sbpf-asm路线（D-026）：直接生成 sBPF assembly。Solana 使用crosscall.cpi（不是crosscall.invoke）和storage.pda，这些按 D-027 保持为 Solana 特定能力。
| 能力 id | 可移植含义 | EVM | NEAR | CosmWasm | Solana | Aptos | Sui | Psy DPN |
|---|---|---|---|---|---|---|---|---|
storage.scalar | 单个持久化标量 | Y | Y | Y | Y | Y | Y | Y |
storage.map | 键值对或映射存储 | Y | Y | Y | P | P | P | P |
storage.array | 固定大小的索引存储数组 | P | N | N | Y | N | N | P |
caller.sender | 交易签名者/调用者 | Y | Y | Y | Y | Y | Y | P |
value.native | 调用附带的原生代币 | Y | Y | Y | Y | Y | Y | P |
events.emit | 结构化日志/事件输出 | Y | Y | Y | Y | Y | Y | Y |
crosscall.invoke | 调用另一个合约/程序 | Y | N | Y | N | Y | Y | P |
env.block | 区块高度/时间/链 id 读取 | Y | Y | P | P | P | P | P |
control.conditional | 使用目标支持的布尔谓词进行语句级条件分支 | P | N | N | Y | N | N | P |
control.bounded_loop | 目标可展开或静态处理的有界循环 | N | N | N | P | N | N | P |
data.fixed_array | 固定大小数组值类型、字面量和索引表达式 | P | N | N | Y | N | N | P |
data.struct | 结构体值类型、字面量和字段访问 | P | N | N | Y | N | N | P |
crypto.hash | 宿主或库哈希 | Y | Y | Y | Y | Y | Y | Y |
assertions.check | 从 portable IR 语句发射运行时或电路断言 | Y | Y | N | Y | N | N | P |
account.explicit | 具名账户/对象/资源绑定 | P | Y | N | Y | Y | Y | P |
storage.pda | 程序派生地址状态 | N | N | N | Y | N | N | N |
runtime.allocator | 目标运行时堆分配器约定 | N | Y | P | Y | P | P | P |
runtime.memory | 目标运行时内存操作 | N | N | N | Y | N | N | N |
runtime.return_data | 目标运行时返回数据缓冲区操作 | N | N | N | Y | N | N | N |
runtime.compute_units | 目标运行时计算预算自省 | N | N | N | P | N | N | N |
crosscall.cpi | 带有账户元数据的 Solana CPI | N | N | N | Y | N | N | N |
zk.circuit | 将入口编译为目标电路定义 | N | N | N | N | N | N | Y |
zk.proof | 目标证明生成或验证流 | N | N | N | N | N | N | P |
Id 命名规则
- 格式：
<domain>.<operation>或<domain>.<variant>（小写，点分隔）。 - 领域：
storage,caller,value,events,crosscall,env,control,data,crypto,assertions,account,runtime,zk。 - 制品元数据列出了构建所使用的 id（参见 RFC 0002 制品 schema）。
- 诊断信息在拒绝时必须引用能力 id 和目标 id。
尚未注册的候选能力
这些候选项仅用于目标研究。在目标 profile 和 lowering 规则被接受前，不要将它们加入ProofForge.Target.Capability。
Kaspa Toccata
参见 Kaspa Toccata 目标。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
storage.utxo | 状态位于 covenant 控制的 UTXO 或状态承诺中 | 不是账户/对象存储，也不是 EVM slot |
covenant.lineage | 后继输出保持在被授权的 covenant family 中 | 这是交易/输出校验，不是普通存储 |
tx.v1 | 目标使用 Kaspa transaction v1 语义 | 交易投影和 payload 规则会影响正确性 |
tx.compute_budget | 每个 input 的脚本 compute budget 是显式字段 | 预算是交易设计的一部分，不只是 gas 计量 |
lane.user | app operation 可以使用 user lane | based-app 排序和 proof anchoring 需要它 |
zk.verify | 脚本验证 L1 支持的证明 | 不等同于把目标本身编译成电路 |
zk.circuit 仍保留给主制品是电路或电路导向源包的目标。Toccata 可以使用证明，但它的
base target 是 Kaspa covenant package。
Stellar Soroban
参见 Stellar Soroban 目标。 大部分 Soroban 行为可以先从现有 Wasm-host 能力集开始，但若干目标语义还没有被当前 registry 覆盖。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
auth.require | 合约要求地址级 authorization payload | 比读取 caller/sender 更强、更结构化 |
auth.account_contract | contract account 通过目标原生账户逻辑验证 authorization | Soroban account-contract flow 需要它 |
storage.ttl | 状态条目有 TTL extension、archival 和 restoration 行为 | 标量/映射存储本身无法表达 |
artifact.contract_spec | 构建输出包含 tooling 和 bindings 使用的 contract interface/spec metadata | 这是制品级要求，不是运行时存储 |
asset.stellar | 合约使用 Stellar Asset Contract 或 token-interface 集成 | 原生资产表面不同于通用 value.native |
Internet Computer
参见 Internet Computer 目标。 ICP canister 与 Wasm-host 家族有重叠，但在添加 target profile 前，需要显式表达若干 canister 语义。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
abi.candid | 构建输出并验证 Candid service interface | 公开 ABI 不只是导出的 Wasm symbol |
canister.method_mode | entrypoint 区分 update、query 和 composite query method | call mode 影响 persistence、consensus 和 call restrictions |
storage.stable_memory | 状态使用 stable memory 或 stable structures 跨 upgrade 保留 | 标量/映射存储本身无法表达 |
storage.orthogonal_persistence | 状态遵循 Motoko-style orthogonal persistence 语义 | 不同于显式 key-value store |
principal.id | caller/canister/user identity 是 Principal | 不是 EVM address 或通用 account id |
cycles.manage | 目标可以 inspect、accept、send 或 account for cycles | cycles 是资源计量，不是普通 value.native |
crosscall.async | cross-canister call 是异步消息流 | 不同于同步 contract call |
canister.lifecycle | 目标支持 install、upgrade、stop/start 和 lifecycle hooks | lifecycle 是 deployment 与 state safety 的一部分 |
certified.data | 目标暴露 certified variables 或 certified data responses | IC certification pattern 需要它 |
management.canister | 目标可以调用 virtual management canister | system lifecycle API 是目标原生能力 |
Algorand AVM
参见 Algorand AVM 目标。 Algorand 与通用合约能力有部分重叠，但 AVM programs、storage classes、transaction groups 和 explicit resource references 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
avm.application | target 发射 stateful application approval 和 clear-state programs | application artifact 有两个 AVM programs 和 app lifecycle semantics |
avm.logicsig | target 发射 stateless LogicSig program | LogicSig 是独立的 stateless authorization artifact，不是 app call |
abi.arc4 | 构建输出或验证 ARC-4 ABI / app spec metadata | public method shape 是 tooling-visible metadata，不只是导出的代码 |
storage.global | contract 使用 application global state | limits 和 access rules 不同于 local 或 box state |
storage.local | contract 使用 account-local application state | state 按 account 和 app 索引，不是 global contract map |
storage.box | contract 使用 box storage，并带显式 box references | box access 需要 resource references 和 budget planning |
tx.group | contract 依赖 atomic transaction group ordering 或 inspection | group semantics 是目标原生 transaction context |
tx.resource_refs | app call 需要显式 accounts、assets、apps 或 boxes references | resource availability 会影响 AVM execution 能否访问数据 |
itxn.submit | application 提交 inner transactions | inner effects 是 transaction-level，不是同步 method call |
asset.asa | contract 处理 Algorand Standard Assets | native asset model 不同于通用 value.native |
gas.avm_budget | lowering 跟踪 AVM opcode budget、costs 和 program limits | AVM budget constraints 不是 EVM gas 或 Wasm host fuel |
artifact.algokit | 构建输出 AlgoKit / Puya app artifacts 和 validation metadata | 目标工具链需要 app spec 和 bytecode package metadata |
Cardano Plutus/Aiken
参见 Cardano Plutus/Aiken 目标。 Cardano 与 UTXO covenant 目标有重叠，但 eUTXO validator roles、datum、redeemer、script context、execution units 和 Plutus blueprint metadata 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
storage.eutxo | state 和 value 位于 eUTXO outputs | 不是账户/对象存储或 global contract state |
validator.spend | target 发射 spending validator | spending validator 有 datum/redeemer/script-context 语义 |
validator.mint | target 发射 minting policy | minting policy 语义不同于 spending validation |
validator.withdraw | target 发射 withdrawal validator | withdrawal validation 是 Cardano 独立角色 |
datum.inline | contract 依赖 inline datum encoding | datum placement 会影响 transaction construction 和 validation |
redeemer.input | entrypoint arguments 是 redeemers | arguments 来自 transaction redeemers，不是 method calldata |
tx.script_context | validator 读取 Cardano script context | context 是 validation correctness 的核心 |
tx.validity_range | validator 约束 slot/time validity | validity ranges 不同于通用 block reads |
tx.balancing | validation 包含 transaction balancing 和 fee handling | off-chain transaction construction 是实际正确性的一部分 |
asset.native_token | contract 处理 Cardano native multi-assets | native asset model 不同于通用 value.native |
budget.exunits | artifact 记录 Plutus execution units | execution-unit budgeting 是目标特有能力 |
artifact.plutus_blueprint | 构建输出 CIP-57 blueprint metadata | blueprint metadata 是 Cardano tooling surface 的一部分 |
Tezos Michelson/LIGO
参见 Tezos Michelson/LIGO 目标。 Tezos 与通用 contract storage 和 entrypoints 有部分重叠，但 Michelson typed data、operation-list effects、views、events、tickets 和 gas/storage-burn 语义需要在添加 target profile 前显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
vm.michelson | target 发射或验证 Michelson code | Michelson 是 typed stack VM，有目标特有约束 |
abi.entrypoint | 构建输出 entrypoint/parameter schema metadata | public entrypoint shape 是 target-visible metadata |
storage.micheline | storage 编码为 typed Micheline data | 不是 EVM slots 或 generic JSON |
storage.big_map | contract 使用 Tezos big_map storage | big_map persistence/indexing 不同于普通 maps |
operation.list | entrypoint 返回 Tezos operations list | effects 是返回数据，不是 direct synchronous calls |
view.contract | contract 暴露 Tezos views | views 是独立 public read surface |
events.tezos | contract 发射 Tezos events | event payload 和 indexing semantics 是目标原生语义 |
ticket.handle | contract 创建、转移或消费 tickets | tickets 是 native linear assets，不是 generic tokens |
privacy.sapling | contract 使用 Sapling state 或 transactions | privacy state 是目标原生且非通用 |
delegate.set | contract 可以 change 或 clear delegation | delegation 是 Tezos-specific operation |
gas.tezos | artifact 记录 Tezos gas/storage-burn constraints | fee model 不同于 EVM gas 和 Wasm fuel |
artifact.ligo | 构建输出 LIGO 和 compiled Michelson metadata | 目标工具链要求 |
Starknet Cairo
参见 Starknet Cairo 目标。 Starknet 与 contract storage、events 和 calls 有部分重叠，但 Cairo/Sierra/CASM artifacts、class hashes、account abstraction、syscalls 和 L1/L2 messaging 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
vm.cairo | target 发射 Starknet Cairo source | Cairo 是 source language 和 execution model boundary |
artifact.sierra | 构建输出 Sierra contract class artifacts | Sierra 是必需的 intermediate contract class metadata |
artifact.casm | 构建输出 CASM artifacts | CASM 是不同于 source 和 ABI 的目标制品 |
class.declare | deployment flow 包含 class declaration | Starknet 将 declaring a class 与 deploying an instance 分离 |
class.hash | artifact 记录 class hash 和 class identity | class hash 是 deployment 和 upgrade semantics 的一部分 |
abi.starknet | 构建输出 Starknet ABI 和 selector metadata | ABI shape 不是 EVM ABI |
storage.starknet | contract 使用 Starknet storage paths/maps/components | storage paths 和 components 是目标原生语义 |
account.abstraction | target 依赖 Starknet account-contract semantics | accounts 是 contract-level protocol participants |
syscall.starknet | contract 使用 Starknet syscalls | calls、deploys、events、storage 和 messaging 使用 syscall surfaces |
message.l1_l2 | contract 发送或消费 L1/L2 messages | messaging 不同于普通 contract calls |
fee.starknet | artifact 记录 Starknet fee/resource constraints | fee/resource model 是目标特有语义 |
test.snforge | validation 使用 Starknet Foundry 或 devnet | local smoke tooling 是 target validation 的一部分 |
Aleo Leo
参见 Aleo Leo 目标 和 docs/zh/superpowers/specs/2026-07-01-aleo-leo-design.zh.md。 Aleo 与 source-generation 和 ZK 目标有重叠，但它的 contract model 有明确的 proof/finalization split。private execution 生成 transitions 和 proofs；public finalization 在链上更新 mappings 或 storage。Records、program ids、imports、 Aleo Instructions、Aleo VM bytecode、ABI、prover/verifier artifacts、fees 和 devnet validation 在添加 target profile 前需要显式表达。规范能力（Road 1 spike）
以下能力已被第一个aleo-leo spike 接受，并在设计规格中文档化。在 spike 成功前，
它们不会被加入 ProofForge.Target.Capability。
| 能力 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
lang.leo | target 发射 Leo source packages | Leo 是第一版稳定 sourcegen boundary |
vm.aleo_avm | target 运行在 Aleo VM 上 | 避免与 Algorand AVM 混淆 |
artifact.avm | build 发射 Aleo VM bytecode | deployment artifact 是目标原生制品 |
artifact.aleo_abi | build 发射 Aleo ABI metadata | ABI shape 遵循 Aleo program interfaces |
execution.finalize | program 有公开链上 finalization logic | finalization 是 public 且 validator-executed |
state.mapping | public state 位于 mappings | mappings 是链上公开 key-value state |
input.public | function input 是 public data | public inputs 在 transaction context 中可见 |
output.public | function output 是 public | public outputs 需要显式 metadata |
test.leo | validation 使用 Leo tests | local validation 是目标工具链 |
研究候选能力（未来 spike）
以下能力仍作为候选，直到 private records、transitions、proofs、imports、deployment 或 devnet validation 被纳入范围。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
ir.aleo_instructions | build 发射或消费 Aleo Instructions | Aleo lower-level compiler target 不同于 Leo |
proof.prover_key | build 或 execute flow 生成 prover artifacts | proof generation 有 target-owned artifacts |
proof.verifier_key | build 或 deploy flow 记录 verifier artifacts | verification keys 属于 deployment/execution metadata |
execution.transition | entry execution 生成 transition 和 proof | transition 是 Aleo function-call unit |
state.record | private state 位于 encrypted records | records 是 UTXO-like，不是 EVM storage |
state.storage | public state 可使用 storage variables 或 storage vectors | Aleo storage 不同于 mappings 和 private records |
input.private | function input 是 private proof-context data | privacy 是 function signature 的一部分 |
output.private | function output 默认 private | output visibility 是目标语义 |
program.import | program import 并调用另一个 Aleo program | cross-program calls 生成 composed transitions/finalization |
program.upgrade | deployment 可支持显式 program upgrades | upgrade rules 是 program/deploy metadata |
transaction.execute | validation 可生成 execute transaction | execute transactions 携带 transitions 和 proofs |
transaction.deploy | validation 可生成或检查 deploy transaction | deploy 发布 program code 和 verification metadata |
fee.credits | fees 以 Aleo Credits 支付，可 public 或 private | fee visibility 和来源会影响 privacy 与 validation |
test.aleo_devnet | validation 使用 Leo devnet 或 devnode-backed flows | network-backed smoke 不同于 local compile/test |
zk.circuit capability 不足以描述 Aleo。它可以描述 proof surface 的一部分，
但 Aleo 还需要 program、transaction、state-record、finalization 和 artifact
能力。
TON TVM
参见 TON TVM 目标。 TON 与通用合约能力有部分重叠，但 TVM cells、messages 和 actions 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
storage.cell | contract state 编码为 TVM cells、slices 和 builders | 不是 EVM slot storage 或 host KV |
abi.tlb | 构建输出或验证 TL-B/cell layout metadata | 公开数据形态是 cell-oriented |
message.recv | contract 处理 internal 或 external inbound messages | entrypoint 形态由 message 驱动 |
message.send | contract 通过 action semantics 发出 outbound messages | 不是同步 cross-contract calls |
method.get | contract 暴露 off-chain get methods | 不同于会改变状态的 message handlers |
action.list | target effects 累积在 TVM action lists 中 | send/deploy/reserve effects 需要它 |
state.init | deploy 需要 code/data StateInit handling | deployment artifact 是目标原生制品 |
account.status | account lifecycle/status 影响行为 | uninit/active/frozen/deleted handling 需要它 |
gas.tvm | TVM gas 和 fee model 显式存在 | 不是通用 EVM gas 或 host fee metering |
asset.jetton | contract 集成 TON jetton/token standards | 原生 token standard 不同于 value.native |
Bitcoin Script/Miniscript
参见 Bitcoin Script/Miniscript 目标。 Bitcoin 与 UTXO script targets 有重叠，但 base-layer Script 更适合建模为 spending policy，而不是 general contract execution。Miniscript、descriptors、Taproot/Tapscript、PSBT flows、standardness 和 weight/fee checks 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
script.bitcoin | target 发射 Bitcoin Script 或 script fragments | Bitcoin Script 有独立的 consensus 和 standardness rules |
script.miniscript | target 发射可分析的 Miniscript policy | 对 spending policies 来说，它比 raw Script 更适合作为第一制品 |
descriptor.output | target 发射 Bitcoin Core output descriptors | descriptors 驱动 wallet/address/script workflows |
script.segwit | target 发射 P2WPKH/P2WSH 等 SegWit v0 script paths | SegWit witness semantics 不同于 legacy script paths |
script.taproot | target 发射 Taproot key-path 或 script-path outputs | Taproot 改变 address、commitment 和 spend semantics |
script.tapscript | target 发射或验证 Tapscript semantics | Tapscript 改变 opcode 和 signature behavior |
witness.stack | artifact 声明 required witness stack items | unlocking data 是 spend validation 的一部分 |
sighash.mode | signature semantics 依赖显式 sighash flags | sighash choice 影响 signature commits to 的内容 |
hashlock.preimage | spending policy 依赖揭示 hash preimages | 常见 Bitcoin contract primitive |
multisig.threshold | spending policy 使用 threshold signatures 或 multisig structure | 不等同于 account-level authorization |
psbt.flow | validation 使用 PSBT creation、signing 和 finalization | 实际 Bitcoin workflows 依赖 transaction construction |
policy.standardness | artifact 检查 relay/mining standardness policy | consensus-valid scripts 可能仍然 non-standard |
fee.weight | artifact 记录 transaction weight、vbytes、fee 和 dust constraints | fee 和 relay viability 是实际正确性的一部分 |
test.bitcoin_core | validation 使用 Bitcoin Core regtest 或 RPC checks | target validation 依赖 Bitcoin Core behavior |
storage.utxo、script.p2sh、script.unlocker、timelock.locktime、signature.checksig 和 tx.builder。
Zcash Shielded
参见 Zcash Shielded 目标。 Zcash 与 Bitcoin-derived UTXO flows 有重叠，但它的 shielded pools 不是普通 Bitcoin Script，也不是 generic ZK circuit target。Sapling/Orchard notes、 nullifiers、commitment tree anchors、value-balance constraints、viewing-key disclosure 和 protocol-defined proofs 在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
privacy.shielded | target 使用 shielded value pool | privacy 是 transaction construction property，不只是 proof flag |
privacy.transparent | target 同时处理 transparent Zcash inputs 或 outputs | transparent 和 shielded pools 会泄漏不同信息 |
pool.sapling | target 使用 Sapling shielded semantics | Sapling 有独立 notes、keys 和 proof semantics |
pool.orchard | target 使用 Orchard shielded semantics | Orchard 有 action bundles 和 Halo 2 proof semantics |
note.shielded | state/value unit 是 shielded note | 不是 EVM storage、account state 或普通 UTXO script data |
note.commitment | artifact 记录 note commitment semantics | tree membership 和 output construction 需要它 |
nullifier.reveal | spend 公开 nullifier 作为 double-spend guard | public nullifiers 是 shielded spend validity 的核心 |
anchor.commitment_tree | spend 针对 commitment tree anchor 证明 membership | membership anchor 是 public proof statement 的一部分 |
zk.zcash_proof | transaction 携带 Zcash protocol proof | circuit 由协议定义，不是 arbitrary application code |
zk.witness | build 需要用于 proving 的 private witness data | witness data 必须留在链下，且边界可审计 |
value.balance | artifact 记录 shielded value-balance constraints | shielded pools 与 transparent turnstiles 间的守恒是目标专属语义 |
key.viewing | validation/disclosure 可以使用 viewing keys | 链下可观测性不是 contract state |
address.unified | target 处理 unified addresses 和 receiver selection | address semantics 影响 pool choice 和 recipient leakage |
privacy.policy | artifact 记录允许的信息泄漏 | zcashd 在 transaction construction 中暴露 privacy-policy 选择 |
test.zcashd | validation 使用 zcashd RPC 或兼容本地库 | target validation 依赖 Zcash tooling，不只是 Bitcoin Core |
storage.utxo、tx.builder、signature.checksig 和 fee.weight。现有
zk.circuit capability 不是普通 Zcash shielded transfer 的第一抽象；它只适合
未来在 Zcash 共识证明系统之外做辅助 proof-program work。
Bitcoin Cash CashScript
参见 Bitcoin Cash CashScript 目标。 BCH/CashScript 与 UTXO covenant 目标有重叠，但 CashVM、transaction introspection、CashTokens 和 transaction-builder 语义在添加 target profile 前需要显式表达。| 候选 id | 可移植含义 | 为什么需要单独表达 |
|---|---|---|
storage.utxo | state 和 value 位于 spendable UTXOs | 不是账户/对象存储或 global contract state |
script.p2sh | contract deployment/addressing 使用 P2SH locking scripts | deployment/address surface 是目标原生能力 |
script.unlocker | contract calls 是 selected UTXOs 的 unlocking scripts | 不是普通 method dispatch |
tx.introspection | contract 读取当前交易 inputs/outputs 和 active input data | BCH CashVM 的核心 covenant mechanism |
covenant.introspection | contract 通过 introspection 约束 successor outputs | covenant-style state transition 需要它 |
storage.local_state | local state 通过 script data 或 CashTokens commitments 模拟 | 不是 persistent global storage |
asset.cashtoken | contract 处理 CashTokens category、capability、NFT commitment 和 token amount | native asset model 不同于通用 value.native |
timelock.locktime | contract 依赖 locktime、sequence 或 age checks | 不同于普通 block reads |
signature.checksig | contract 将 signature verification 作为 spend condition | UTXO spend authorization 是 script-level |
artifact.cashscript | 构建输出 CashScript artifact JSON 和 bytecode metadata | 目标工具链要求 |
tx.builder | validation 包含构造并评估 spend transaction | 实际目标语义需要 transaction construction |
EVM 映射 (基准)
| 能力 id | EVM 降级 |
|---|---|
storage.scalar | Storage.load / Storage.store (sload/sstore) |
storage.map | Storage.mapLoad / Storage.mapStore |
caller.sender | Env.sender |
value.native | Env.value |
events.emit | log0–log4 |
crosscall.invoke | call, staticcall, delegatecall, create, create2 |
env.block | Env.blockNumber, 等 |
ProofForge.Evm / Lean.Evm 实现 —— 参见 targets/evm.md。
Phase 1 验收标准
- 此表中的每个 id 至少出现在一个目标的
TargetProfile.capabilities中。 - EVM Counter 构建在制品元数据中列出
storage.scalar（以及其他使用的 id）。 - 在 EVM 上尝试
storage.pda会失败并显示capability unsupported诊断信息。 - 当 RFC 0002 语义矩阵发生变化时，注册表保持同步。
更新日志
| 日期 | 变更 |
|---|---|
| 2026-06-30 | 初始注册表；取代中文技术方案中的临时 id |
| 2026-06-30 | 添加了 Psy DPN research 列和 ZK 能力 id |