TY  - RPRT
TI  - StateSync-GKR: Machine-Checking the Trust Chain from Sparse-Merkle State Transitions to GKR Verification
AU  - Jinwook Kim
PY  - 2026
UR  - https://arxiv.org/abs/2610.05335
ID  - 2610.05335
ER  -