Project
Citing StateSync-GKR
How to cite the StateSync-GKR software, the formal verification paper and the design and evaluation paper, with BibTeX entries that use only confirmed fields.
If you use StateSync-GKR in research, cite the software and the paper that supports the result you rely on. This page lists the citation metadata for each.
Which work to cite#
| If you use or discuss | Cite |
|---|---|
| The software itself, or measurements you ran with it | The software, with the exact source revision you used |
| The machine-checked models, theorems or the boundary between the Rust code and the model | The formal verification paper |
| The engine design and its controlled memory, verification and serving measurements | The design and evaluation paper |
Both papers evaluate the historical 1.1.0 source, commit 1b8d2f829792172b347dedbfde969016c2c05789. When you discuss their results, cite the paper, and name that commit if the exact subject matters to your argument.
Software#
Citation metadata for the software is in CITATION.cff at the root of the source repository (opens in a new tab).
| Field | Value |
|---|---|
| Title | StateSync-GKR |
| Type | Software |
| Author | Jinwook Kim, ORCID 0009-0004-4993-8005 |
| License | BUSL-1.1 |
| Keywords | zero-knowledge proof, GKR protocol, sumcheck, sparse Merkle tree, formal verification, Isabelle/HOL, Rust |
The file also records the component release version and the software DOI of that release.
Software changes between revisions, so identify the exact commit you used. In this example, replace COMMIT with that commit:
@misc{kim2026statesyncgkr,
author = {Kim, Jinwook},
title = {{StateSync-GKR}},
year = {2026},
note = {Software, source commit COMMIT}
}Formal verification paper#
StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR Verification, by Jinwook Kim for the Oraclizer Core Team, is available as arXiv:2610.05335 (opens in a new tab). Its primary arXiv category is cs.CR.
@misc{kim2026statesyncgkrfv,
author = {Kim, Jinwook},
title = {{StateSync-GKR}: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to {GKR} Verification},
year = {2026},
eprint = {2610.05335},
archivePrefix = {arXiv},
primaryClass = {cs.CR},
doi = {10.48550/arXiv.2610.05335}
}Design and evaluation paper#
StateSync-GKR: Design and Evaluation of a Reusable Sparse GKR Engine, by Jinwook Kim, reports the engine design and the controlled measurements summarized in Benchmark results. A public identifier for it has not been assigned yet. Until one is available, cite it by author, title and year, and see the paper entry (arXiv link to follow) for its current status.
@misc{kim2026statesyncgkrengine,
author = {Kim, Jinwook},
title = {{StateSync-GKR}: Design and Evaluation of a Reusable Sparse {GKR} Engine},
year = {2026},
note = {Manuscript}
}The engine paper's raw observations form a separate measurement dataset (dataset identifier to follow). The dataset does not yet have a public identifier. Do not cite the software or either paper in its place.