TY  - RPRT
TI  - Spatial Discretization for Fine-Grain Zone Checks with STARKs
AU  - Sungmin Lee
AU  - Kichang Lee
AU  - Gyeongmin Han
AU  - JeongGil Ko
PY  - 2025
UR  - https://arxiv.org/abs/2512.24238
ID  - 2512.24238
ER  -