# zkTH06：重建《东方红魔乡》的游戏状态转换

> zkTH06 为 OpenVM 中的回放驱动执行重建《东方红魔乡》v1.02h 的部分游戏状态转换。项目将 Linux 参考实现与发行版 Windows 游戏的观测结果对照，实现有边界的玩家、弹幕、敌人和道具状态转换，并记录差异结果与待完成的证明义务。作者报告称，指定回放片段中的状态投影相符。

- 类型：案例
- 目标：游戏
- 类别：独立重建案例
- 关联：独立重建项目
- 来源复核于：2026-11-08
- 收录于：2026-11-08
- 原始资源：<https://github.com/N0zoM1z0/zkTH06>
- 一手来源：<https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/README.md>
- 目录页面：<https://awesomerea.org/zh/resources/zkth06-case/>
- 记录 JSON：<https://awesomerea.org/resources/zkth06-case/record.json>
- 英文版：[English](https://awesomerea.org/resources/zkth06-case/index.md)

## 使用条件与局限

- **前提条件：**对照工作使用日文版《东方红魔乡》v1.02h 可执行文件和回放文件。
- **局限：**现有证明程序覆盖有边界的游戏片段；项目列出了尚待完成的算术与状态对应证明义务。
- **测试证据：**作者报告的相符结果限于指定回放片段和状态投影。
- **许可：**GPL-3.0 许可证。

## 一手来源

1. <https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/README.md>
2. <https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/docs/m0-progress.md>

## 同分区更多条目：游戏

- [ZZT Disassembly Project：解析 ZZT 生物行为](https://awesomerea.org/zh/resources/zztasm-case/index.md) · 案例
- [RenderDoc](https://awesomerea.org/zh/resources/renderdoc/index.md) · 工具
- [AssetRipper](https://awesomerea.org/zh/resources/assetripper/index.md) · 工具
- [Cpp2IL](https://awesomerea.org/zh/resources/cpp2il/index.md) · 工具
- [Il2CppDumper](https://awesomerea.org/zh/resources/il2cppdumper/index.md) · 工具
- [RenderDoc MCP](https://awesomerea.org/zh/resources/renderdoc-mcp/index.md) · 集成

## 关于此条目

说明已依据一手来源复核。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。