TY  - RPRT
TI  - Sound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits
AU  - Zhantong Xue
AU  - Pingchuan Ma
AU  - Zhaoyu Wang
AU  - Yuguang Zhou
AU  - Huaijin Wang
AU  - Shuai Wang
PY  - 2026
UR  - https://arxiv.org/abs/2609.10149
ID  - 2609.10149
ER  -