Case study

zkTH06: reconstructing Touhou 6 gameplay transitions

zkTH06 reconstructs selected Touhou Koumakyou v1.02h gameplay transitions for replay-driven execution in OpenVM. It compares a Linux reference with observations of the shipped Windows game, implements bounded player, bullet, enemy, and item state transitions, and records differential results and proof obligations. The author reports matching projections over specified replay prefixes.

Targets: Game
Category: Independent reconstruction cases
Relationship: Independent reconstruction project
Sources reviewed: 2026-11-08
Evidence class: C2 code & docs, no demo or download

Stars: 7
Last commit: 2026-08-10
Language: C++
License (GitHub): GPL-3.0

GitHub data as of 2026-11-10

Copy as Markdown View JSON Cite

Evidence

Observed: Code and documentation observed; no download method or demo found.
Checked: 2026-11-08

How evidence classes are assigned

Requirements & limits

Prerequisites: The comparisons use the Japanese Touhou Koumakyou v1.02h executable and a replay.
Limits: Current proof kernels cover bounded gameplay slices; the project identifies further arithmetic and state correspondence obligations.
Testing evidence: The reported agreement covers specified replay prefixes and state projections.
License: GPL-3.0 license.

Cite

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/resources/zkth06-case/}}
}

Plain text

zkTH06: reconstructing Touhou 6 gameplay transitions. https://github.com/N0zoM1z0/zkTH06 (accessed 2026-11-08). Awesome REA entry: https://awesomerea.org/resources/zkth06-case/

Useful? Star Awesome REA on GitHub2.4k

About this entry

The description was reviewed against primary sources.

Report an outdated entry Suggest a translation fix

Primary sources

README.md GitHub · N0zoM1z0/zkTH06 · Revision ff9516c
docs/m0-progress.md GitHub · N0zoM1z0/zkTH06 · Revision ff9516c