> ## 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.

# Cardano Plutus/Aiken 目标

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

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

候选 target id：**`cardano-plutus-aiken`**

英文权威文档：[../../targets/cardano-plutus-aiken.md](/zh/targets/cardano-plutus-aiken)

## 结论

Cardano 应归类为 eUTXO validator sourcegen 目标。第一条接入路线建议使用
Aiken sourcegen，再编译为 UPLC / Plutus validator artifacts 和 CIP-57 Plutus
Blueprint。

```text theme={null}
Cardano Plutus/Aiken 目标
  -> 生成或包装 Aiken source
  -> compiled validators / UPLC artifacts
  -> Plutus blueprint metadata
  -> datum / redeemer / script-context transaction scenario
```

它不是 EVM、Wasm-host、Move、Solana、TVM、Algorand AVM，也不是 generic
Bitcoin-like UTXO。

## 对 ProofForge 的含义

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

目标特有问题包括：

* contract logic 通过 datum、redeemer 和 script context 验证交易；
* persistent state 位于 UTXO 和 successor outputs；
* spending、minting、withdrawal validators 有不同语义；
* value 可包含 ADA 和 native multi-assets；
* validity range、signatories、execution units 和 transaction balancing 都会影响正确性；
* Plutus Blueprint 是 tooling-visible artifact metadata。

## 候选能力

| 候选能力                        | 含义                                                  |
| --------------------------- | --------------------------------------------------- |
| `storage.eutxo`             | state 和 value 位于 eUTXO outputs。                     |
| `validator.spend`           | target 发射 spending validator。                       |
| `validator.mint`            | target 发射 minting policy。                           |
| `validator.withdraw`        | target 发射 withdrawal validator。                     |
| `datum.inline`              | contract 依赖 inline datum encoding。                  |
| `redeemer.input`            | entrypoint arguments 是 redeemers。                   |
| `tx.script_context`         | validator 读取 Cardano script context。                |
| `tx.validity_range`         | validator 约束 slot/time validity。                    |
| `tx.balancing`              | validation 包含 transaction balancing 和 fee handling。 |
| `asset.native_token`        | contract 处理 Cardano native multi-assets。            |
| `budget.exunits`            | artifact 记录 Plutus execution units。                 |
| `artifact.plutus_blueprint` | 构建输出 CIP-57 blueprint metadata。                     |

## 两条接入路线

1. **Aiken sourcegen**：生成或包装一个 Aiken spending validator，用 UTXO datum
   表达 Counter-like state machine，并验证 successor output。
2. **Restricted Plutus/UPLC IR**：在 Aiken route 澄清 artifact 与 transaction
   semantics 后，再考虑直接面向 Plutus / UPLC 的受限 IR。

## 第一阶段非目标

* 不把 `cardano-plutus-aiken` 加入代码 registry。
* 不把 Cardano 归类为 EVM、Wasm-host、Move、Solana、TVM、AVM 或 generic UTXO。
* 不把 UTXO datum 当成 global mutable storage。
* 不隐藏 off-chain transaction-building requirements。