案例

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

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

目标: 游戏
类别: 独立重建案例
关联: 独立重建项目
来源复核于: 2026-11-08
证据档位: C2 有代码和文档，缺演示或下载

星标: 7
最近提交: 2026-08-10
主要语言: C++
许可（GitHub 识别）: GPL-3.0

GitHub 数据，截至 2026-11-10

复制为 Markdown 查看 JSON 引用

证据

观察到: 有代码和文档；未发现下载方式或演示。
检查于: 2026-11-08

证据档位的判定方法

使用条件与局限

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

引用

BibTeX

@misc{zkth06-case,
  title = {{zkTH06: reconstructing Touhou 6 gameplay transitions}},
  howpublished = {\url{https://github.com/N0zoM1z0/zkTH06}},
  url = {https://github.com/N0zoM1z0/zkTH06},
  urldate = {2026-11-08},
  note = {Awesome REA entry: \url{https://awesomerea.org/zh/resources/zkth06-case/}}
}

纯文本

zkTH06: reconstructing Touhou 6 gameplay transitions。https://github.com/N0zoM1z0/zkTH06（访问于 2026-11-08）。Awesome REA 条目：https://awesomerea.org/zh/resources/zkth06-case/

有帮助？在 GitHub 上为 Awesome REA 加星2.4k