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

- Type: Case study
- Targets: Game
- Category: Independent reconstruction cases
- Relationship: Independent reconstruction project
- Sources reviewed: 2026-11-08
- Added to the catalog: 2026-11-08
- Original resource: <https://github.com/N0zoM1z0/zkTH06>
- Primary source: <https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/README.md>
- Catalog page: <https://awesomerea.org/resources/zkth06-case/>
- Record JSON: <https://awesomerea.org/resources/zkth06-case/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/resources/zkth06-case/index.md)

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

## Primary sources

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

## More in Games

- [ZZT Disassembly Project: documenting ZZT creature behavior](https://awesomerea.org/resources/zztasm-case/index.md) · Case study
- [RenderDoc](https://awesomerea.org/resources/renderdoc/index.md) · Tool
- [AssetRipper](https://awesomerea.org/resources/assetripper/index.md) · Tool
- [Cpp2IL](https://awesomerea.org/resources/cpp2il/index.md) · Tool
- [Il2CppDumper](https://awesomerea.org/resources/il2cppdumper/index.md) · Tool
- [RenderDoc MCP](https://awesomerea.org/resources/renderdoc-mcp/index.md) · Integration

## About this entry

The description was reviewed against primary sources.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.