> ## Documentation Index
> Fetch the complete documentation index at: https://gradiences.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Tezos Michelson/LIGO 目标

> 状态：Research（文档优先候选）

状态：**Research（文档优先候选）**

候选 target id：**`tezos-michelson-ligo`**

英文权威文档：[../../targets/tezos-michelson-ligo.md](/zh/targets/tezos-michelson-ligo)

## 结论

Tezos 应归类为 Michelson source/artifact 目标，第一条接入路线建议使用 LIGO
sourcegen，再编译为 Michelson contract。

```text theme={null}
Tezos Michelson/LIGO 目标
  -> 生成或包装 LIGO source
  -> compiled Michelson contract
  -> parameter / storage / entrypoint schema
  -> operation-list、view、event metadata
```

它不是 EVM、Wasm-host、Move、Solana、TVM、AVM、UTXO script 或 ZK circuit
sourcegen。

## 对 ProofForge 的含义

`tezos-michelson-ligo` 应先作为文档优先的 Research candidate。第一步不直接加入
`ProofForge.Target.Registry`。

目标特有问题包括：

* entrypoint 接收参数，并返回 operation list 和 new storage；
* storage 是 typed Michelson / Micheline value，不是 slot map；
* `big_map` 有目标特有的 persistence 与 indexing 行为；
* views 和 events 是独立 public surfaces；
* tickets、Sapling、delegation 和 tokens 都需要单独能力审查；
* gas 和 storage burn 不同于 EVM gas。

## 候选能力

| 候选能力                | 含义                                                |
| ------------------- | ------------------------------------------------- |
| `vm.michelson`      | target 发射或验证 Michelson code。                      |
| `abi.entrypoint`    | 构建输出 entrypoint / parameter schema metadata。      |
| `storage.micheline` | storage 编码为 typed Micheline data。                 |
| `storage.big_map`   | contract 使用 Tezos `big_map` storage。              |
| `operation.list`    | entrypoint 返回 Tezos operations list。              |
| `view.contract`     | contract 暴露 Tezos views。                          |
| `events.tezos`      | contract 发射 Tezos events。                         |
| `ticket.handle`     | contract 创建、转移或消费 tickets。                        |
| `privacy.sapling`   | contract 使用 Sapling state 或 transactions。         |
| `delegate.set`      | contract 可以 change 或 clear delegation。            |
| `gas.tezos`         | artifact 记录 Tezos gas / storage-burn constraints。 |
| `artifact.ligo`     | 构建输出 LIGO 和 compiled Michelson metadata。          |

## 两条接入路线

1. **LIGO sourcegen**：先生成或包装一个 LIGO Counter contract，通过本地测试或
   sandbox 调用 entrypoint 并检查 storage。
2. **Restricted Michelson IR**：在 LIGO route 验证 artifact shape 后，再定义
   stack/effect IR，显式建模 storage update、operation list 和 views。

## 第一阶段非目标

* 不把 `tezos-michelson-ligo` 加入代码 registry。
* 不把 Tezos 归类为 EVM、Wasm-host、Move、Solana、TVM、AVM、UTXO 或 ZK。
* 不用 generic cross-contract calls 隐藏 operation-list semantics。
* 不把 `big_map`、tickets 或 Sapling 当成普通 maps/assets。